About Me

I am currently doing a PostDoc in Pierre Ganty's group at the IMDEA Software Institute.

I am interested in verification, language theory, distributed computation and Petri nets, and more generally in mathematical reasoning in a computer science setting. You can find a list of my publications on dblp, Google Scholar.

Past

I completed my Ph.D. in 2023 under the supervision of Javier Esparza at the Technical University of Munich (TUM), in the Chair for Foundations of Software Reliability and Theoretical Computer Science. I worked on parameterized verification of distributed systems, Petri net reachability and population protocols in the context of the ERC-supported project PaVeS.

I obtained my Master’s degree in Computer Science from the École Normale Supérieure Paris-Saclay (formerly ENS Cachan) in 2018. 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. P. Ganty, C. Sánchez, N. Waldburger, C. Weil-Kennedy. Temporal Hyperproperties for Population Protocols. Pre-publication on arXiv.

2. P. Eichler, S. Jacobs, C. Weil-Kennedy. Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction. Accepted at VMCAI 2025. (arXiv)

3. S. van Bergerem, R. Guttenberg, S. Kiefer, C. Mascle, N. Waldburger, C. Weil-Kennedy. Verification of Population Protocols with Unordered Data. ICALP 2024. (arXiv)

4. K. Doveri, P. Ganty, C. Weil-Kennedy. A Uniform Framework for Language Inclusion Problems. In Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday, LNCS volume 14660, 2024.

5. C. Weil-Kennedy. Observation Petri Nets. Doctoral thesis, published in May 2023.

6. A. R. Balasubramanian, L. Guillou, C. Weil-Kennedy. Parameterized Analysis of Reconfigurable Broadcast Networks. FoSSaCS 2022. (arXiv) Erratum

7. A. R. Balasubramanian, C. Weil-Kennedy. Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent. GandALF 2021. (arXiv)

8. M. Raskin, C. Weil-Kennedy. Efficient Restrictions of Immediate Observation Petri Nets. Reachability Problems 2020. (arXiv)

9. M. Raskin, C. Weil-Kennedy, J. Esparza. Flatness and Complexity of Immediate Observation Petri Nets. CONCUR 2020. (arXiv)

10. J. Esparza, S. Jaax, M. Raskin, C. Weil-Kennedy. The Complexity of Verifying Population Protocols. Distributed Computing Journal. (arXiv)

11. J. Esparza, M. Raskin, C. Weil-Kennedy. Parameterized Analysis of Immediate Observation Petri Nets. Petri Nets 2019. (arXiv) Received the Best Paper Award.

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

Teaching and Supervision

I was a tutor for the following lectures at TUM.

• Automata and Formal Languages (Winter Semester 2019/2020, Winter Semester 2020/2021, Winter Semester 2021/2022)

• Petri Nets (Summer Semester 2019, Summer Semester 2020, Summer Semester 2021, Summer Semester 2022)

• Fundamental Algorithms (Winter Semester 2018/2019)

I co-supervised three Bachelor theses on extending the teaching tool Automata Tutor to Petri nets by Arpad Botos, Felix Rinderer and Lilo Walter at the TUM. I also co-supervised a Master thesis on parameterized analysis of broadcast networks by Lucie Guillou of ENS Rennes.