About Me

I am a Ph.D. candidate under the supervision of Professor Javier Esparza in the Chair for Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich since October 2018. I am interested in Verification, Automata and Petri Net theory, and more generally in mathematical reasonings in a computer science setting. I am currently working on Population Protocols in the context of the ERC-supported project PaVeS. You can find more about my research on dblp, Google Scholar.

Past

I obtained my Master’s degree in Computer Science from the École Normale Supérieure Paris-Saclay (formerly ENS Cachan). I earned a Bachelor’s degree in Fundamental and Applied Mathematics from the Université Paris-Sud (formerly Université d’Orsay). More information on my academic background can be found in my curriculum vitae.

Publications

  1. J. Esparza, M. Raskin, C. Weil-Kennedy. Parameterized Analysis of Immediate Observation Petri Nets. Petri Nets 2019. (arXiv)

  2. J. Esparza, P. Ganty, R. Majumdar, C. Weil-Kennedy. Verification of Immediate Observation Population Protocols. CONCUR 2018. (arXiv)