Chana Weil-Kennedy

Chana Weil-Kennedy is a Researcher at CEA List in Paris, focusing on formal verification of distributed systems, Petri nets, and theoretical computer science. Previously, she was a Postdoctoral Researcher at the IMDEA Software Institute (2023–2024) and completed her PhD at the Technical University of Munich (TUM), supervised by Javier Esparza. Her PhD thesis, Observation Petri Nets, explores parameterized verification and Petri net reachability under the ERC-supported PaVeS project.

Education:

• PhD in Computer Science, TUM (2023)
• Master’s in Computer Science, École Normale Supérieure Paris-Saclay (2018)
• Bachelor’s in Mathematics, Université Paris-Sud (formerly Orsay)

Research Interests: Runtime verification, distributed systems, formal methods, Petri nets, and mathematical reasoning in computer science. Her work emphasizes parameterized verification of protocols and systems, with applications to population protocols and distributed computations.

Teaching & Supervision: Tutored courses at TUM including Automata and Formal Languages, Petri Nets, and Fundamental Algorithms. Co-supervised three Bachelor’s theses and a Master’s thesis on distributed systems and verification tools.

Awards: Best Paper Award at Petri Nets 2019 for Parameterized Analysis of Immediate Observation Petri Nets.

Labs/Teams: Active at CEA List, collaborating on runtime verification and distributed system analysis. Formerly part of Pierre Ganty’s group at IMDEA and Javier Esparza’s team at TUM.