Daniel El Ouraoui, doctorant dans l'équipe Mosel-Veridis, soutiendra sa thèse intitulée "Méthodes pour le raisonnement d’ordre supérieur dans SMT", effectuée sous la direction de Jasmin Blanchette, Pascal Fontaine et Stephan Merz, le 11 février à 9h. Résumé : La vérification formelle de programmes informatiques ou de systèmes dits critiques tels que dans le transport, […]
Sylvain Cecchetto (Carbone) will defend his PhD on Monday, February 22nd at 4pm. His thesis is entitled "Data flow analysis to build control flow graph of obfuscated codes", his presentation will be held in French. Abstract: The increase in cyber attacks around the world makes malicious code analysis a priority research area. This software uses […]
Pierre-Edouard Osche (Kiwi) will defend his thesis on Friday, 26th February at 9 am. His thesis is entitled “Sequence-based recommendations in a multidimensional space" and supervised by Anne Boyer and Sylvain Castagnos. Abstract: Recommender systems are a fundamental research topic at the intersection of several major disciplines such as machine learning, human-computer interaction and cognitive […]
Anastasia Shimorina (Synalp) will defend her thesis on Friday, 26th February at 2pm. Her thesis is entitled "Natural Language Generation: from Data Creation to Evaluation via Modelling" and supervised by Claire Gardent and Yannick Parmentier. Abstract: Natural language generation is a process of generating a natural language text from some input. This input can be […]
Daryna Panicheva (Magrit) will defend here thesis on Wednesday, March 17th at 9:30. The defense will be held in English and is entitled "Image-based mitral valve modeling for biomechanical applications". Her thesis is supervised by Marie-Odile Berger and Pierre-Frédéric Villard (Magrit). Abstract: In this thesis we aimed to develop methods for the realistic simulation of […]
