Home

About Me

I am a Principal Research Engineer at Huawei Ireland Research Center, specializing in formal methods for cloud reliability and agentic AI safety. 

Professional History

• 2024 – Present: Principal Research Engineer, Huawei Ireland Research Center.

• 2020 – 2024: Associate Professor, ESTACA Campus Paris-Saclay (ESTACA'Lab).

• 2015 – 2020: Lecturer-Researcher, ECE - Ecole d’ingénieurs.

• 2012 – 2015: R&D Engineer, SafeRiver; Safety Assurance Engineer, ALSTOM Transport.

• 2011 – 2012: Postdoctoral Researcher, INRIA Grenoble.

• Ph.D. in Computer Science: University of Franche-Comté (2011).

Key Research Areas

My work focuses on the intersection of formal verification, distributed systems, and AI:

• Cloud Reliability: Developing inductive decision procedures for IAM policy analysis and optimizing SMT encodings (CVC5/Z3) for scalability.

• Neuro-/Symbolic AI: Integrating symbolic reasoning with agentic workflows to create verifiable, safe autonomous systems.

• Distributed Systems Verification: Applying Probabilistic Concurrency Testing (PCT) and formal abstraction (P framework) to verify ACID properties in P2P GSLB networks.

• Code Verification: Using Gobra and Viper Infrastructure for Go code verification, applying separation logic and contractual specifications.

Skills & Technologies

• Formal Methods: SMT Solving, Inductive Reasoning, Symbolic Execution, Prover Certifier, P Framework, Viper Infrastructure, Gobra. 

• Programming: Rust, Ada, Go, OCaml, Python.

• AI & Data: Machine Learning, NLP, CRISP-DM (Cross-Industry Standard Process for Data Mining), Data Mining, Big Data, Agentic AI.

• Domains: Cyber-Physical Systems, Cybersecurity, Vehicular Networking, IoT, Intelligent Transportation Systems.