MAIN CURRENT RESPONSIBILITIES
- Co-coordinator for the MDSC (Discrete Models for Complex Systems) pole and the C&A (Constraints and Applications) team at laboratoire i3S, CNRS, Université Côte d'Azur.
- Coordinator of Master in Computer Science of DS4H, Université Côte d'Azur.
CURRICULUMUM VITAE AND MAIN ACTIVITIES
- 2024-2027: RIPEC 3 premium for research
- Since 2023: Maître de Conférences Hors Classe at Université Côte d'Azur.
- 2020-2023: Coordinator of second year of Bachelor's in Computer Science (L2I), Université Côte d'Azur.
- 2020: Habilitation à Diriger des Recherches, Université Côte d'Azur. Title: "Formal Methods for Systems Biology: Contributions".
- 2011-2013: Coordinator of the international Master 2 Program "Computation Biology and Biomedicine" (CBB), Université de Nice - Sophia Antipolis (now Université Côte d'Azur).
- Since 2011: Associate professor (Maître de Conférences) at Université de Nice - Sophia Antipolis (now Université Côte d'Azur).
- 2009-2011: Post-doc at Inria Paris-Rocquencourt.
- 2009: Ph.D. in Computer Science at Università degli Studi di Udine, Italy. Title: "Computer Science Logic for Structure Prediction, String Comparison, and Biological Pathway Analysis".
RESEARCH KEYWORDS
- Formal Methods of Computer Science
- Model Checking
- Constraint Programming
- Spiking Neural Networks
- Systems Biology
CURRENT COURSES
- Databases for second year of Bachelor's in Computer Science
- Algorithms and data structures for third year of Bachelor's in Bioinformatics
- Advanced Logics for Master 1 in Computer Science
- Model Checking for Master 1 in Computer Science
- Model Checking Applications for Master 2 in Computer Science
BOOK
Elisabetta De Maria. Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tool, Wiley, 2022.
