Pierre Ganty
PhD - Université Libre de Bruxelles, Belgium
Associate Research Professor
Short Bio:
Pierre joined the IMDEA Software institute in the Fall 2009 as a tenure-track
assistant professor and was promoted to associate research professor in late
2015. He holds a joint PhD degree in Computer Science from the University of
Brussels, Belgium and from the University of Genoa, Italy awarded in the Fall
2007. Prior to join IMDEA, he spent almost two years as a postdoc at the
University of California, Los Angeles. From 2010 until 2013, he also held a
Marie Curie COFUND Fellowship. Currently, he is a Ramon y Cajal grantee (2016
call).
Research Interests
Verification of computing systems with infinitely many states. Automata theory and formal language theory. Abstract interpretation. Petri nets.