Pierre Ganty

Pierre Ganty is an Associate Research Professor at the IMDEA Software Institute, Madrid. He holds a joint PhD in Computer Science from the Université Libre de Bruxelles (Belgium) and the Università di Genova (Italy). His research focuses on algorithmic verification, automata theory, formal languages, and abstract interpretation.

• Affiliations: IMDEA Software Institute (since 2009)
• Education: PhD in Computer Science (2007, ULB/Genoa), Postdoc at UCLA (2007–2009)

Research Interests: Verification of infinitely-state systems, automata theory, formal methods, abstract interpretation, and Petri nets. He develops tools like ωVPLInc and forklift for formal verification.

Recent Work Trends: Focus on automata-based verification techniques, language inclusion problems, and applications in distributed systems. His recent papers address reachable simulations, hyperproperties for population protocols, and timed automata analysis.

• Awards: Marie Curie COFUND Fellowship (2010–2013), Ramon y Cajal grant (2018–2023)

Advising and Grants: Supervised PhD students including Kyveli Doveri and Nicolas Manini. Active in conference organization (e.g., RP 2025 co-chair), and serves on program committees for LICS, CONCUR, and TACAS.

Labs/Teams: Leads research on formal methods at IMDEA, collaborating on tools like MIST for counter system analysis.