Itsaka Rakotonirina, PhD student in the Pesto Team, will defend his thesis on Monday, February 1st at 2pm. Title: Symbolic verification of cryptographic protocols, theory and practice The defence will be english. You can also find his dissertation here. Abstract: This thesis studies the analysis of cryptographic protocols. They are sequences of instructions permitting to […]

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 […]