News

• Invited participant: Prospects of Formal Mathematics: New Directions, Hausdorff Research Institute for Mathematics, 2028.
• Co-chair of the 15th International Symposium on Foundations of Information and Knowledge Systems (FoiKS 2028).
• Co-chair of the 20th International Conference on Graph Transformation (ICGT 2027), part of Software Technologies: Applications and Foundations (STAF 2027) in Pisa, July 2027.
• Invited participant: Dagstuhl Seminar 27232 Abstractions for Composable Data-Intensive Cloud Systems, June 2027.
• Ravie d'être vice-présidente des Journées Francophones des Langages Applicatifs (JFLA 2027), à Dinard, Janvier 2027.
• Happy to be an invited speaker on Graph Databases for Smart Energy Services at AI for Future Energy Systems · 22nd IEEE ICCP in Cluj-Napoca, October 2026.
• Co-Chair of the VLDB 2026 Demonstration Track in Boston, September 2026.
• Very excited to give a keynote talk on Declarative Foundations, from Graph Data to Neurosymbolic AI at Declarative AI 2026, Vilnius, 24-30 August 2026. Ačiū!
• As of July 2026, I have been promoted Associate Editor of the Transactions on Graph Data and Knowledge journal.
• Co-Chair of the 9th Joint Workshop on Graph Data Management Experiences & Systems (GRADES) & Network Data Analytics (NDA) @ SIGMOD/PODS 2026 in Bengaluru, June 2026.
• Co-Chair of the 17th International Workshop on Graph Computation Models (GCM) co-located with STAF 2026 and ICGT 2026 in Rennes, June 2026.
• Co-Chair of the ICWE 2026 Workshop Track in Lyon, June 2026.
• Delighted to be an invited speaker at the 14th Logic Mentoring Workshop co-located with the 33rd EACSL Computer Science Logic Conference in Paris, February 2026.
• Had a lot of fun giving a guest lecture at TU Wien on Perspectives on Reliable Collaboration over Graph Data at Scale and visiting the DMKI lab, 9-14 February 2026.
• The Transforming Graph Data Workshop will be co-located with EDBT/ICDT 2026!
• Property Graph Standards: State of the Art & Open Challenges tutorial at VLDB 2025.
• Excited to be an invited lecturer at the ACM Europe Summer School on Data Science.
• 🏆 EASST Best Software Science Paper Award at ICGT 2025: "Fuzzing Graph Database Applications with Graph Transformations" together with Melchior Oudemans and Burcu Kulahcioglu Ozkan.
• 🏆 SIGMOD 2025 Distinguished Reviewer.

Research Topics

• Graph data models and constraints.
  Property graph modeling · schema inference and evolution · constraint processing.
• Graph query languages.
  Declarative query languages · progressive and approximate query evaluation · graph summarization.
• Database correctness and formal methods.
  Formal specification and verification of database algorithms, engines, and applications.
• Distributed and collaborative data.
  Replicated graph data structures · consistency · concurrency.

• Book Chapters
  • Graph Summarization ,
    with A.Bonifati, H.Kondylakis, Encyclopedia of Big Data Technologies'23 BibTeX ↓
• International Journals
  • Data Management for (Knowledge) Graphs,
    with G. Fletcher, M. Lissandrini, R. Tommasini, TGDK 4(2): 1:1–1:2 (2026). BibTeX ↓
  • How Human-Centric Are Our Graph Data Abstractions?,
    with A. Bonifati, A. Dimou, G. Fletcher, K. Hose, G. Konstantinidis, J. E. Labra Gayo, W. Martens, N. Pardal, L. Peterfreund, K. Thornton, M.-E. Vidal, H. Voigt, TGDK 4(2): 2:1–2:31 (2026). BibTeX ↓
  • Property Graph Standards: State of the Art & Open Challenges,
    with H. Kondylakis, M. Lissandrini, N. Yakovets, A. Bonifati, V. Efthymiou, G. Fletcher, D. Plexousakis, R. Tommasini, G. Troullinou, E. Ymeralli, Proc. VLDB Endow. 18(12): 5477–5481 (2025). BibTeX ↓
  • Technical Perspective: Implementing Views for Property Graphs,
    by S. Dumbrava, SIGMOD Record 54(1): 58 (2025). BibTeX ↓
  • Understanding Student Errors in Graph Query Formulation,
    with A. Pachera, A. Bonifati, A. Mauri, ACM Trans. Comput. Educ. 25(3): 1–35 (2025). BibTeX ↓
  • Threshold queries in theory and in the wild,
    with A. Bonifati, G. Fletcher, J. Hidders, M. Hofer, W. Martens, F. Murlak, J. Shinavier, S. Staworko, D. Tomaszuk, VLDB Journal 34(4): article 49 (2025). BibTeX ↓
  • PG-Schema: Schemas for Property Graphs ,
    with R. Angles, A. Bonifati, G. Fletcher, A. Green, J. Hidders, B. Li, L. Libkin, V. Marsault, W. Martens, F. Murlak, S. Plantikow, O. Savkovic, M. Schmidt, J. Sequeda, S. Staworko, D. Tomaszuk, H. Voigt, D. Vrgoc, M. Wu, and D. Zivkovic, Proc. ACM Manag. Data 1(2): 198:1-198:25 (2023) BibTeX ↓
  • How Does Knowledge Evolve in Open Knowledge Graphs?,
    with A. Polleres, R. Pernisch, A. Bonifati, D. Dell'Aglio, D. Dobriy, L. Etcheverry, N. Ferranti, K. Hose, E. Jiménez-Ruiz, M. Lissandrini, A. Scherp, R. Tommasini, J. Wachs
    TGDK 1(1): 11:1-11:59, 2023 BibTeX ↓
  • Knowledge Graph Embeddings: Open Challenges and Opportunities,
    with R. Biswas, L. Kaffee, M. Cochez, T. Jendal, M. Lissandrini, V. López, E. Mencía, H. Paulheim, H. Sack, E. Vakaj, G. Melo, TGDK 1(1): 4:1-4:32, 2023 BibTeX ↓
  • Threshold Queries,
    with A.Bonifati, G.Fletcher, J.Hidders, M.Hofer, W.Martens, F.Murlak, J.Shinavier, S.Staworko, D.Tomaszuk,
    Sigmod Record '23 (Invited Paper) BibTeX ↓
  • Threshold Queries in Theory and in the Wild,
    with A.Bonifati, G.Fletcher, J.Hidders, M.Hofer, W.Martens, F.Murlak, J.Shinavier, S.Staworko, D.Tomaszuk,
    Proc. of VLDB Endowment'22 BibTeX ↓
  • The Future is Big Graphs! A Community View on Graph Processing Systems,
    with S.Sakr, A.Bonifati, A.Iosup, H.Voigt, and participants of the Dagstuhl Seminar 19491,
    Communications of the ACM'21 BibTeX ↓
  • Graph Queries: From Theory to Practice ,
    with A.Bonifati, ACM Sigmod Record'18, vol. 47, Nº 4: 5-16.
    DB Principles Column (Invited Paper) BibTeX ↓
  • 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. BibTeX ↓Code
• International Conferences (Regular Papers)
  • Fuzzing Graph Database Applications with Graph Transformations,
    with M. W. M. Oudemans, B. Kulahcioglu Ozkan, ICGT 2025: 135–156. BibTeX ↓
  • Progressive Querying on Knowledge Graphs,
    with A.Bonifati, H.Kondylakis, G.Troullinou, G. Vassiliou, EDBT'25, Barcelona, Spain. BibTeX ↓
  • Checking Transaction Isolation Violations Using Graph Queries,
    with Z.Jin, B.K. Ozkan, J. Qiu, ICGT'24, Twente, Netherlands. BibTeX ↓
  • PG-Keys: Keys for Property Graphs ,
    with members of the Property Graph Schema Working Group, SIGMOD'21, Xi'an, Shaanxi, China. BibTeX ↓
  • Approximate Querying on Property Graphs,
    with A.Bonifati, A. Nazabal and R. Vuillemot,
    Scalable Uncertainty Management, SUM'19, Compiègne, France. BibTeX ↓
  • 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 BibTeX ↓
  • 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. BibTeX ↓
• International Conferences (Short Papers)
  • A Flexible GraphQL Northbound API for Intent-based SDN Applications,
    with F.Bannour, D.Lu,
    IEEE/IFIP Network Operations and Management Symposium, NOMS'22, Budapest, Hungary. BibTeX ↓
  • Hierarchical Clustering for Property Graph Schema Discovery,
    with A.Bonifati, N.Mir,
    Extending Database Technology, EDBT'22, Edinburgh/Virtual, UK. BibTeX ↓
• International Workshops
  • Towards Local-First Distributed Property Graphs,
    with A. Pandey, M. Shapiro, C. Ferreira, M. Pereira, N. M. Preguiça, PaPoC@EuroSys 2025: 22–29. BibTeX ↓
  • Eighth Joint Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA),
    with A. Arora, SIGMOD Conference Companion 2025: 864–865. BibTeX ↓
  • Ninth Joint Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA),
    with A. Arora, SIGMOD Companion 2026: 588–589. BibTeX ↓
  • Integrating Complex Pangenome Graphs,
    with J. Arnoux, A. Bonifati, A.Calteau, G.Gautreau,
    SEAGraph@ICDE'24, Enschede, NL: 350-354. BibTeX ↓
  • A graph-database approach to assess the impact of demand-responsive services on public transit accessibility,
    with C. Le Hasif, A. Araldo, D. Watel,
    IWCTS@SIGSPATIAL'22, Seattle, US: 2:1-2:4. BibTeX ↓
  • 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. BibTeX ↓
• Demo Papers
  • GRAIL: Checking Transaction Isolation Violations with Graph Queries,
    with Z. Jin, B.K. Ozkan, J. Qiu
    International Conference on Software Engineering, ICSE'24, Lisbon, Portugal BibTeX ↓
  • PING: Progressive Querying on RDF Graphs,
    with A. Bonifati, H. Kondylakis, G. Troullinou, G. Vassiliou,
    International Semantic Web Conference, ISWC'23, Athens, Greece BibTeX ↓
  • DiscoPG: Property Graph Schema Discovery and Exploration,
    with A.Bonifati, E.Martinez, F.Ghasemi, M.Jaffre, P.Luton, T.Pickles,
    International Conference on Very Large Databases, VLDB'22, Sydney, Australia BibTeX ↓
  • GOX: Towards a Scalable Graph Database-Driven SDN Controller,
    with F.Bannour and Alex Danduran-Lembezat,
    International Conference on Network Softwarization, NetSoft'22, Milan, Italy BibTeX ↓
• Data and Research Artifacts
  • Threshold queries in Python,
    with A. Bonifati, G. Fletcher, J. Hidders, M. Hofer, W. Martens, F. Murlak, J. Shinavier, S. Staworko, D. Tomaszuk, Zenodo (2021). BibTeX ↓
• Edited Proceedings
  • Proceedings of the 8th Joint Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA),
    with A. Arora (editors), ACM (2025), ISBN 979-8-4007-1923-3. BibTeX ↓
• Teaching Materials (Published)
  • Graph Databases: Foundations and Data Science Applications: Course 1,
    by S. Dumbrava, ACM Europe Summer School 2025: 2. BibTeX ↓
  • Graph Databases: Foundations and Data Science Applications: Course 2,
    by S. Dumbrava, ACM Europe Summer School 2025: 3. BibTeX ↓
  • Hands on Session: Lab Session 1,
    by S. Dumbrava, ACM Europe Summer School 2025: 4. BibTeX ↓
  • Hands on Session: Lab Session 2,
    by S. Dumbrava, ACM Europe Summer School 2025: 5. BibTeX ↓
• National Conferences
  • 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 (Invited Paper), Bordeaux, France: 83 - 86. BibTeX ↓
• Preprints
  • Expressive Power of Property Graph Constraint Languages,
    with N. Francis, V. Marsault, S. Sailly, CoRR abs-2603-09806 (2026). BibTeX ↓
  • Edge-Oriented Orchestration of Energy Services Using Graph-Driven Swarm Intelligence,
    with L. Toderean, D. Lazea, V. Ofrim, A. Hangan, T. Cioara, CoRR abs-2604-04645 (2026). BibTeX ↓
  • A Datalog Framework for Conflict-Free Replicated Data Types,
    with E. Yanakieva, A. Bieniusa, CoRR abs-2605-31569 (2026). BibTeX ↓
  • Transformations for Evolving Property Graph Schemas,
    with G. Devillez, A. Bonifati, CoRR abs-2609-34789 (2026). BibTeX ↓
  • Approximate Evaluation of Label-Constrained Reachability Queries,
    with A.Bonifati, A. Nazabal Ruiz-Diaz, and R.Vuillemont. BibTeX ↓
• Manuscripts
  • A Coq Formalization of Relational and Deductive Databases - and Mechanization of Datalog,
    PhD Thesis, Université Paris-Sud, Defended: 02/12/2016 BibTeX ↓
  • A Type Theory with Reflection,
    MSc Thesis, Jacobs University Bremen, 2012 BibTeX ↓
  • Structured Specification with Hiding in the Edinburgh Logical Framework LF,
    BSc Thesis, Jacobs University Bremen, 2010 BibTeX ↓
• Software
  • GRASP (with A. Bonifati, A. Nazabal, R. Vuillemot):
    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

Student Supervision

• PhD students
  • Liam Graslin.
    Université de Lorraine.
    With Claudia Ignat (LORIA).
  • Oscar Cornejo Guillen.
    Université Paris-Saclay.
    With Zoubida Kedad (UVSQ) and Francesca Bugiotti (Centrale Supéléc).
  • Gabriele Pedroni.
    Institut Polytechnique de Paris.
    With Amel Mammar (Télécom SudParis) and Saina Harssand (Renault Group).
  • Steven Sailly.
    Institut Polytechnique de Paris.
    With Nadime Francis and Victor Marsault (Université Gustave Eiffel).
  • Elisjana Ymeralli.
    University of Crete.
    With Haridimos Kondylakis and Dimitris Plexousakis (FORTH-ICS).
  • Nicolás Van Sint Jan.
    Université Paris Cité.
    With Cristina Sirangelo and Leonid Libkin (Université Paris Cité).
  • Elena Yanakieva.
    RPTU University of Kaiserslautern-Landau.
    With Annette Bieniusa (RPTU University of Kaiserslautern-Landau).
• Master's theses
  • Michael Landgraf (2025–2026), RPTU Kaiserslautern.
    With Annette Bieniusa.
  • Daniel Goossens (2025–2026), Eindhoven University of Technology.
    With Nikolay Yakovets.
  • Melchior Oudemans (2024-2025), Delft University of Technology. Coverage-Guided Testing of Graph Applications.
    With Burcu Kulahcioglu Ozkan.
  • Jingxuan (Jason) Qiu (2023-2024), Delft University of Technology. Checking Distributed Database Isolation.
    With Burcu Kulahcioglu Ozkan.
  • Luis Almas (2023-2024), NOVA University Lisbon. Replicated Data Types for Graph Databases.
    With Carla Ferreira and Mário Pereira.
• Research internships
  • Zhao Jin (2024), UVSQ. Reliable Graph Query Processing.
    With Zoubida Kedad (UVSQ).
  • Abdellah Oumida (2024), CentraleSupélec. Intégration de données hétérogènes.
    With Francesca Bugiotti (LISN).
  • Hugo Pereira (2024), ENSIIE. Declarative Replicated Data Types for Distributed Property Graphs.
  • Léo Capes (2024-2025), ENSIIE. Analyzing Collaboration Patterns with Graph Databases (M1) and Efficient State-Based Replicated Data Types for Distributed Property Graphs (L3).
  • Titouan Choaler (2024), ENSIIE. Efficient Operation-Based Replicated Data Types for Distributed Property Graphs.
  See more studentsSee fewer students

  • Nathan Pollart (2023), ENSIIE. A Verified CRDT Structure for Property Graphs.
  • Matthias Moyon (2023), ENSIIE. An OCaml Library for Hypergraphs.
  • Loïc Lefée-Fauvel (2023), ENSIIE. A Graph Database of Formalized Algebra Libraries.
  • Cathia Le Hasif (2022), Université d'Évry. A graph-database approach to assess the impact of demand-responsive services on public transit accessibility.
    With Andrea Araldo (Télécom SudParis) and Dimitri Watel (ENSIIE).
  • Zhao Jin (2022), ENSIIE. Checking Transaction Isolation Violations with Graph Queries.
    With Burcu Kulahcioglu Ozkan (TU Delft).
  • Quelen Cartellier (2022), ENSIIE. Towards the Automated Verification of a Subgraph Isomorphism Algorithm.
    With Catherine Dubois (ENSIIE).
  • Aurélien Coreau (2022), ENSIIE. An OCaml Replicated Data Type for Distributed Property Graphs.
  • Julie Eymery (2022), ENSIIE. Analyse de Graphes de Données Génomiques.
  • Houda Aiboud-Benchekroun (2022), ENSIIE. A Network Slicing Application for the GOX Controller.
    With Fetia Bannour (ENSIIE).
  • Ikrame Boulif (2022), ENSIIE. Scalable graph database abstractions for adaptive inter-controller communication in distributed SDN.
    With Fetia Bannour (ENSIIE).
  • Alex Danduran-Lembezat (2021), ENSIIE. GOX: Towards a Scalable Graph Database-Driven SDN Controller.
    With Fetia Bannour (ENSIIE).
  • Damien Lu (2021), ENSIIE. A Flexible GraphQL Northbound API for Intent-based SDN Applications.
    With Fetia Bannour (ENSIIE).
  • Nicolas Mir (2021), ENSIIE. Hierarchical Clustering for Property Graph Schema Discovery.
    With Angela Bonifati (Université Lyon 1).
  • Junah Le Piouff (2021), ENSIIE. Benchmarking the Energy Consumption of Graph Query Languages.
    With Anne-Laure Ligozat (ENSIIE).
  • Mathis Martin (2021), ENSIIE. Benchmarking the Energy Consumption of Graph Database Systems.
    With Anne-Laure Ligozat (ENSIIE).
  • Amaia Nazábal Ruiz Díaz (2018), Université Lyon 1. Approximate Query Processing on Property Graph Summaries.
    With Angela Bonifati (Université Lyon 1).

Teaching

• Formal Languages and Software Verification · Graduate Course · M1 Génie Logiciel · ENSIIE Course lead since 2019 · Autumn 2026 ·
  ✦Course materials✦
• Foundations of Query Languages · Graduate Course · M2 DataScale · Université Paris-Saclay · UVSQ Course lead since 2024 · Autumn 2026
  ✦Course materials✦
• Graph Databases · Graduate Course · M1 Génie Logiciel · ENSIIE Course lead since 2022 · Spring 2027
  ✦Course materials✦

Activities

• Admission Exams:
• Concours Mines-Télécom · Examiner in the 2022-2025 editions.
• Thesis Committees:


• 2026: Gerard Pons Recasens.
  Evolving knowledge graphs: continuous knowledge acquisition, adaptation, and exploitation.
  Ph.D. Universitat Politècnica de Catalunya. 11/11/2026. Examiner.
• 2026: Shwetha Salimath.
  Cadres d’apprentissage profond conscients du domaine et efficients pour l'inférence stratigraphique automatisée.
  Ph.D. Université Paris-Saclay. 10/09/2026. Examiner.
• 2026: Sonia-Florina Horchidan.
  Foundations of Trustworthy AI-Native Data Systems.
  Ph.D. KTH Royal Institute of Technology. 15/06/2026. Examiner.
• 2025: Ayush Pandey.
  CALock: verrouillage topologique à granularité multiple de données hiérarchiques.
  Ph.D. Sorbonne Université. 17/03/2025. Examiner.
• 2025: Muhammad Ghufran Khan.
  Interrogation efficace de graphes dynamiques provenant de sources multiples.
  Ph.D. Institut Polytechnique de Paris. 18/09/2025. Examiner.
• 2024: Luisa Werner.
  Intégration neuro-symbolique de l'extraction de connaissances et du raisonnement sur les graphs.
  Ph.D. Grenoble Alpes University. 11/12/2024. Examiner.
• 2023: Amela Fejza.
  Sur l'optimisation de l'énumération de plans récursifs avec une application aux requêtes de graphes de propriétés.
  Ph.D. Grenoble Alpes University. 11/01/2023. Examiner.
• 2022: Donato Tiano.
  Learning Models on Healthcare Data with Quality Indicators.
  Ph.D. Université Claude Bernard Lyon 1. 08/12/2022. Examiner.
• 2022: Ousmane Issa.
  Les réponses aux requêtes dirigées par la qualité et leur raffinement.
  Ph.D. Clermont Ferrand University. 21/02/2022. Examiner.
• 2021: Pierre-Léo Bégay.
  Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau.
  Ph.D. Grenoble Alpes University. 23/11/2021. Examiner.
• Award Committees:


• 2026 : Comité du Prix de thèse BDA · Bases de Données – Principes, Technologies et Applications.
  Best PhD Thesis Award Committee of BDA · French-speaking Data Management Association.
• Session Chairmanship:


• 2022: [29/04] Structured Learning Session @ The Web Conference
• 2021: [08/09] Applications Session 9 @ PPDP,   [26/03] Graph Management Session 13 @ EDBT
• PC Member (before 2023):


• 2023
• VLDB International Conference (PVLDB Review Board Member Volume 16: April 2022 - March 2023)
• ICDE International Conference on Data Engineering
• The Web Conference
• EDBT International Conference - Regular Research Papers Track
• JFLA Journées Francophones des Langages Applicatifs
• WSDM International Conference
• 2022
• MEDI International Conference
• CIKM International Conference
• SIGMOD International Conference
• DBTest @ SIGMOD International Workshop
• ICDE International Conference on Data Engineering
• The Web Conference
• JFLA Journées Francophones des Langages Applicatifs
• BSPL Brasilian Symposium on Programming Languages
• 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:
  PODS 2022, 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:


• DataScale Master (Univ. Paris-Saclay) Liaison Responsability.
• With Evelyne Contejean, I have coordinated the TransForm working group (Labex DigiCosme, 2019-2020).
• Scientific Board Membership (Commissions Consultatives de Spécialistes @Universite Paris-Saclay).
• Scientific Board Membership (Conseil Scientifique @ENSIIE, 2021 - 2026).


• Recruiting Committee Membership (Comité de Sélection) for Assistant Professor positions:
  • 2025: Université Paris-Saclay (MCF 252332)
  • 2025: INP Toulouse (MCF 250925)
  • 2024: IRIT/Université Toulouse III Paul Sabatier (MCF 4880)
  • 2023: IRIF/Université Paris Cité (MCF 334/335/336).
  • 2023: IUT Bourg-en-Bresse/Université Lyon 1 (MCF 4708).
  • 2023: LISN/Université Paris-Saclay (MCF 420).
  • 2021: SAMOVAR/ENSIIE (MCF 522).
• 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 Involvement:


• Programme Mentorat Paris-Saclay "Women & Science" 2022
• SIGPLAN-M (Long-Term Mentor)
• Declics (Popularising CS topics to high-school students)
• Gender Parity in Academia (CGE Working Group).

• Mini Curriculum Vitae
  • 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 Grant VESTA (Verified Static Analysis Platform).
  • 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 Bremen, 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 Iași, Romania. During my junior and senior secondary education, I attended the Costache Negruzzi and, respectively, the Emil Racoviță National Colleges.

Talks

• 10/07/2024, Towards a Knowledge Graph of Formalized Mathematics,
  Hausdorff Research Institute for Mathematics, Bonn, Germany
• 30/05/2024, Property Graph Schema: Specification & Discovery,
  MaDICS Symposium, Blois, France
• 20/07/2022, Graph Query Processing Techniques,
  NOVA University of Lisbon, Lisbon, Portugal
• 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, UK
• 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

A Defense of Joy