Intérêts
- Combinatorial Optimization
- Operations research
- Bioinformatics
- Artificial Intelligence
- Model Checking and Abstract Reasoning
Formation
PhD in Computer Science, 2022
LS2N, Ecole Centrale de Nantes
Experience professionnelle
Postdoc, Multicriteria Optimization in Cost Function Networks applied to Computational Protein Design., 2022-Present
MIAT, Inrae
PhD, Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell., 2018-2022
LS2N, Ecole Centrale de Nantes