Sébastien hold a researcher position at the Software Safety & Security Lab of CEA (Saclay, Paris Area, France). I work in the domain of formal methods and automatic program analysis. In a general way, he is interested in developing methods and tools that help achieving high level of confidence in trust-sensitive, software-intensive systems. He is currently interested in the application of formal methods to software security, with a strong focus on binary-level security analyses such as vulnerability detection & assessment, reverse engineering or malware deobfuscation. His other current research interests include software testing, theorem proving, symbolic execution and static analysis. Before that, he prepared his Ph.D. in the Laboratoire Spécification et Vérification (ENS Cachan, Paris Area, France), where he worked on the verification of infinite state systems via symbolic model checking techniques.
Christian Bessiere is a Researcher in Artificial Intelligence. His research focuses on all aspects of Constraint Programming. He has worked on dynamic constraint satisfaction problems, temporal reasoning, constraint propagation, complexity of constraint reasoning, heuristics, global constraints, quantified constraints, distributed problem solving.
Catherine Dubois is a Professor in Computer Science at Ecole Nationale Supérieure d’Informatique pour l’Industrie et l’Entreprise (Evry, France).
Kerstin Eder is Professor of Computer Science ( MSc, Ph.D.(Bristol) )
Area of research: Design Automation and Verification, Energy Efficient Computing, Verification and Validation for Safety in Robots
- co-head of the Data Analytics lab
- member of the cross-faculty Artificial Intelligence lab
- member of the MOBI research center.
My two main research lines are:
Integration of data mining/machine learning and constraint optimisation, including the use of constraint solving in data mining and solving complex prediction + optimisation problems;
and the use of data mining and data analytics on raw mobility data, such as from ANPR cameras and GPS units, to better understand mobility behaviour.
Alexey Ignatiev is a Senior Lecturer in Data Science and AI (Optimisation) at the Faculty of Information Technology, Monash University, Australia. Alexey’s research is mainly focused on the development and improvement of highly efficient SAT- and SMT-based decision and optimisation procedures targeting a variety of important practical applications in AI: from software package upgrade-ability and Boolean formula minimisation to model-based diagnosis, software fault localisation and explainable AI.
See Félix Ingrand professional page for more details.
Laurent Simon Professor at the Bordeaux Computer Science Laboratory (Labri) / Bordeaux Institute of Technology (INP) since 2013.
Previously Associate Professor at the Computer Science Laboratory of Orsay (LRI).