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 […]
Next D3 seminar will take place on February 3rd at 2pm online. Thomas Lambert, postdoctoral researcher at Inria Rennes, will give a presentation entitled 'Performance Analysis and Optimality Results for […]
Le prochaine journée scientifique de la Fédération Charles Hermite (CRAN, IECL, LORIA) aura lieu le 18 février de 13h30 à 17h45 en ligne. Organisée par Vincent Chevrier (équipe Simbiot du […]
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 […]
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 […]
