I am an Associate Professor in Computer Science (Maîtresse de conférences) at the Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE) and a permanent member of the Méthodes team, at the Samovar laboratory (Télécom SudParis), part of Institut Polytechnique de Paris. I am also an associate member of the LDBC SNB organization. Currently, I am working on the certification of data-centric languages, algorithms, and static program analyzers, using Coq/SSReflect, as well as on graph database topics.

• I am excited to be in the PC of SIGMOD 2022, ICDE 2022, The Web Conference 2022, JFLA 2022, and DBTest 2022.
• In 2021, I've been in the PC of the following events: EDBT Regular & Short Papers Tracks (CfP), SIGMOD Demo Track (CfP), MEDI (CfP), POPL Artifact Evaluation (CfP), PLDI Artifact Evaluation (CfP), GRADES-NDA@SIGMOD (CfP), PxTP-7@CADE (CfP), PPDP (CfP), SBLP (CfP), SFDI@VLDB (CfP). Previous service: here.
• Invited participant: Dagstuhl Seminar 21442 "Ensuring the Reliability and Robustness of DBMSs".
• [23/06/21] Presentation of the PG-Keys article at SIGMOD 2021.
• The vision article on the future of graph processing systems, written together with fellow Dagstuhl Seminar 19491 participants, got accepted to the Communications of the ACM Journal! You can read it here.
• Invited seminar at the IMDEA Institute on the mechanically verified VerDILog graph query engine.
• Presentation of the GRASP tool for approximate querying on graph summaries at SUM.
• Invited participant: Dagstuhl Seminar 19491 "Big Graph Processing Systems".

Research Topics

• formalization of high-level languages and declarative programming
• certification of inference engines for relational, deductive, and graph databases
• proof assistants (Coq, Isabelle) and logical frameworks (Twelf/LF, MMT)
• computer-aided formal verification of mathematics
• foundations of mathematics (logic, category theory, type theory)

• Graph Summarization (to appear),
  with A.Bonifati, H.Kondylakis
  Encyclopedia of Big Data Technologies'20

• The Future is Big Graphs! A Community View on Graph Processing Systems (to appear),
  with S.Sakr, A.Bonifati, A.Iosup, H.Voigt, and participants of the Dagstuhl Seminar 19491,
  Communications of the ACM'21
• Graph Queries: From Theory to Practice ,
  with A.Bonifati, ACM Sigmod Record'18, vol. 47, Nº 4: 5-16.
  DB Principles Column (Invited Paper)
• Certified Graph View Maintenance with Regular Datalog ,
  with A.Bonifati and E.J.Gallego Arias,
  Theory and Practice of Logic Programming Journal, TPLP'18, vol. 18, Nº 3-4: 372-389;
  presented at the 34th International Conference on Logic Programming, ICLP@FLoC'18, Oxford, UK.
  VerDILog Code

• PG-Keys: Key Constraints for Property Graphs ,
  with members of the Property Graph Schema Working Group, SIGMOD'21, Xi'an, Shaanxi, China.
• Approximate Querying on Property Graphs,
  with A.Bonifati, A. Nazabal and R. Vuillemot,
  Scalable Uncertainty Management, SUM'19, Compiègne, France.
• Certifying Standard and Stratified Datalog Inference Engines in SSReflect,
  with V.Benzaken and E.Contejean,
  Interactive Theorem Proving, ITP'17, Brasilia, Brazil: 171 - 188, LNCS 10499.
  DatalogCert Code
• A Coq Formalization of the Relational Data Model ,
  with V.Benzaken and E.Contejean,
  European Symposium on Programming, ESOP'14, Grenoble, France: 189 - 208, LNCS 8410.

• A Case Study on Formalizing Algebra in a Module System ,
  with F.Horozal and K.Sojakova,
  Modules and Libraries for Proof Assistants, MLPA'09, Montreal, Canada: 11 - 18, ACM 429.

• Une formalisation en Coq du modèle relationnel de données ,
  with V.Benzaken and E.Contejean,
  Actes des Septièmes Journées Nationales GDR-GPL'15, Bordeaux, France: 83 - 86.

• Approximate Evaluation of Label-Constrained Reachability Queries,
  with A.Bonifati, A. Nazabal Ruiz-Diaz, and R.Vuillemont.
  

• A Coq Formalization of Relational and Deductive Databases - and Mechanization of Datalog,
  PhD Thesis, Université Paris-Sud, Defended: 02/12/2016
• A Type Theory with Reflection,
  MSc Thesis, Jacobs University Bremen, 2012
• Structured Specification with Hiding in the Edinburgh Logical Framework LF,
  BSc Thesis, Jacobs University Bremen, 2010

Teaching

• Maitre de Conférences, ENSIIE, since 09/2019:
• (Main Course) Graph Databases (GDA) - M1
• (Main Course) Functional Programming (IPF) - L3 & M1
• Formal Languages & Software Verification (LFL) - [TD + TP OCaml] - M1
• Introduction to Databases (CBDR) [TD + TP SQL] - L3
• Imperative Programming (IPI) - [TP C/C++] - L3
• Web Programming (PWR) - [TP PHP] - L3 (only in 2019-2020)
• Vacataire, Université Paris-Saclay, since 2021:
• (Main Course) Database Reliability & Safety - M2 (Master DataScale - UVSQ)
• (Main Course) Advanced Topics in Databases - M2 (Master Data Science - Université d'Évry)
• Vacataire, ENS de Lyon, since 2021:
• (Project Course) Schema Inference for Property Graphs - M1
• Vacataire, Université Rennes 1, 2018-2019: 40h
• Introduction to Software Engineering (GEN) - [TP Scala] - L2
• Vacataire, Université Claude Bernard Lyon 1, 2016-2018: 71h
• Deductive Databases (BDD) - [TD (10h) + TP Java & Datalog (20h)] - M1
• Web Programming (LIAFP)] - [TD (3h) + TP JavaScript (18h)] - L2
• Numerical Methods - [TD (20h)] - L3
• ATER, Université Paris-Saclay, 2015-2016: 95h
• Mathematics for Computer Science [ TP C/C++ & Coq(40h)] - L2
• Introduction to Functional Programming - [ TP OCaml (16h)] - L2
• Advanced Functional Programming - [TP OCaml (39h)] - L3
• Monitrice, IUT d'Orsay, 2013-2015: 128h
• Database Programming and Administration - [TD (63h) + TP Oracle SQL (32h)] - L1
• Advanced Databases - [TP Java/Oracle SQL (32h)] - L2
• Teaching Assistant, Jacobs University Bremen, 2008-2010
• Mathematics Support Center - L1-L3
• General Mathematics and Computational Science - L1

Activities

• Thesis Committees:


• 2021: Pierre-Léo Bégay. Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau. Ph.D. University Grenoble Alpes. 23/11/2021. Examiner.
• Session Chairmanship:


• 2021: [08/09] Applications Session 9 @ PPDP,   [26/03] Graph Management Session 13 @ EDBT
• PC Member:


• 2022
• SIGMOD International Conference
• DBTest @ SIGMOD International Workshop
• ICDE International Conference on Data Engineering
• The Web Conference
• JFLA Journées Francophones des Langages Applicatifs
• 2021
• EDBT International Conference - Regular Research Papers Track
• PPDP International Symposium on Principles and Practice of Declarative Programming
• MEDI International Conference - Regular Research Papers Track
• PxTP International Workshop on Proof eXchange for Theorem Proving
• BSPL Brasilian Symposium on Programming Languages
• SIGMOD International Conference - Demo Track
• POPL International Conference - Artifact Evaluation Track
• PLDI International Conference - Artifact Evaluation Track
• GRADES-NDA @ SIGMOD International Workshop
• SFDI @ VLDB International Workshop
• 2020
• EDBT International Conference - Regular & Short Research Papers Tracks
• The Coq Workshop
• POPL International Conference - Artifact Evaluation Track
• Subreviewer: IJCAR 2020, TYPES 2019 , PODS 2019 , VLDB 2019 , VLDB 2018 , PODS 2017 , VLDB 2017


• Journal Review:
  
  • International Journal on Very Large Databases (VLDB 2021)
  • ACM Transactions on Database Systems (TODS 2020)
  • Information Systems Special Issue (AMW 2019)
• Administrative Duties:
• Together with Evelyne Contejean, I coordinate the TransForm working group (Labex DigiCosme).
• DataScale Master (Univ. Paris-Saclay) Liaison Responsability.
• Scientific Board Membership (Conseil Scientifique) @ENSIIE (2021 - 2026)
• Recruiting Committee Membership (Comité de Sélection): Assistant Professor position @ENSIIE (2021)
• Course Responsability: Advanced Databases (GDA) & Blockchain (BLK) courses @ENSIIE
• Elected member of the LRI laboratory council: 2014-2015
• Elected representative of the EDIPS Computer Science PhD Students: 2012-2014
• Student Member of the Organizing Committee: CICM 2012 , NWERC 2010 , ESSLLI 2009
• Outreach:
• SIGPLAN-M (Long-Term Mentor)
• Declics (Popularising CS topics to high-school students)
• Gender Parity in Academia (CGE Working Group).

CV

• 2018 - 2019
  I was a postdoctoral researcher in the INRIA team Celtique, at the IRISA laboratory, working with David Pichardie, in the context of his ERC Consolidator "Verified Static Analysis Platform" project.
• 2017 - 2018
  I was a postdoctoral researcher at Université Lyon 1, where I collaborated with Angela Bonifati, in the context of the ANR DataCert project.
• 2012 - 2016
  I earned a PhD in Computer Science, at Université Paris-Sud, in the VALS team, at the LRI research laboratory, supervised by Véronique Benzaken and Evelyne Contejean.
• 2007 - 2012
  I studied at Jacobs University, where I obtained a BSc in Mathematics and a MSc in Computer Science. I was part of the KWARC team, working in the LATIN project, supervised by Florian Rabe and Michael Kohlhase .
• I was born and grew up in Iasi, Romania. During my junior and senior secondary education, I attended the Costache Negruzzi and, respectively, the Emil Racovita National Colleges.

Talks

• 09/06/2020, Mechanically Verified Graph Query Processing ,
  IMDEA Software Institute , Madrid, Spain
• 17/12/2019, Approximate Querying on Property Graphs ,
  SUM International Conference , Compiègne, France
• 02/12/2019, Graph Query Processing Techniques ,
  Dagstuhl Seminar: Big Graph Processing Systems , Dagstuhl, Germany
• 23/02/2019, Certified Graph Query Processing ,
  EUTypes Workshop @ Lambda Days , Krakow, Poland
• 31/01/2019, Foundational Approaches to Graph Query Processing ,
  LIMOS Seminar , University of Auvergne, Clermont-Ferrand, France
• 15/07/2018, Certified Graph View Maintenance with Regular Datalog ,
  34th International Conference on Logic Programming (ICLP) @ Federated Logic Conference (FLoC), University of Oxford, Oxford, United Kingdom
• 18/06/2018, Certified Graph View Maintenance with Regular Datalog ,
  Plume Seminar , Ecole Normale Supérieure Lyon, Lyon, France
• 14/11/2017, Certifying Deductive Database Engines with Coq/SSReflect ,
  LFCS Seminar , University of Edinburgh, Edinburgh, United Kingdom
• 26/09/2017, Certifying Standard and Stratified Datalog Inference Engines in SSReflect ,
  8th International Conference on Interactive Theorem Proving (ITP) , University of Brasilia, Brasilia, Brazil
• 02/07/2014, Toward Data Intensive System Certification ,
  DigiCosme Paris-Saclay Research Day , Orsay, France
• 22/01/2013, Certifying Data-Centric Languages and Systems ,
  Programming Languages Mentoring Workshop (PLMW) @ Symposium on Principles of Programming Languages (POPL), Rome, Italy
• 01/07/2010, Structuring Theories with Partial Morphisms ,
  20th International Workshop on Algebraic Development Techniques (WADT), Schloss Etelsen, Germany

Software

• GRASP (with A.Bonifati, A.Nazabal, R.Vuillemont) :
  approximate evaluation of count queries on summaries of property graphs
• VerDILog (with A.Bonifati and E.J.Gallego-Arias) :
  certified, incremental graph view evaluation & maintenance for regular Datalog
• DatalogCert (PhD supervisors: V.Benzaken and E.Contejean) :
  certified evaluation engines for standard and stratified Datalog

Resources

• Datalog Educational System
• Neo4j Desktop
• Graph Algorithms - Practical Examples in Apache Spark & Neo4j
• Graph Databases