Pierre Ganty
PhD - Université Libre de Bruxelles, Belgium
Assistant Research Professor (tenure-track)
IMDEA Software Institute
Bloque 3, Fac. Informática
Campus Montegancedo UPM
28660-Boadilla del Monte, Madrid
SPAIN
Office: 3325
Telephone: +34-91-101-2202 ext 4106
Fax: +34-91-101-1358
Webpage: http://software.imdea.org/people/pierre.ganty/index.html
Email: 
Short bio
Pierre joined the
IMDEA Software Institute
in September 2009 after completing a nearly two years postdoc at the University of California at Los Angeles, USA. He holds a joint PhD degree in Computer Science
from the Université Libre de Bruxelles, Belgium and from the
Universitá Degli Studi di Genova, Italy that he obtained late 2007.
Further details in my CV.
[6-Apr-2012]
Research Interests (no order)
Algorithmic verification techniques: design, complexity study and implementation.
Verification of software systems with infinitely many states: unbounded control and/or data.
Algorithmic model based bug finding techniques.
Abstract Interpretation.
Automatic refinement of abstract domains.
Automata theory and Formal Languages.
Petri nets.
Publications
Here is a PDF file of my publications (papers can be downloaded from the file).
[6-Apr-2012]
Collaborating with me
If you are interested in an internship
or PhD at the IMDEA Software Institute that closely relate to my research interests,
send me an email and fill in the appropriate forms available from the Open
Positions entry in the left menu.
Software
- MIST:
Algorithmic analyses of counter systems. All the analyses in MIST rely on a
symbolic data structure called Interval Sharing Trees. The source code has
been made available under the GPL license.
- Vanocka:
Pattern-based verification of multithreaded programs.
Algorithmic analysis of multithreaded programs that communicates
through shared memory. It implements the pattern-based verification technique
described in POPL'11. (Main contributor: Tomáš Poch)
- ABP2NTS:
A translator from asynchronous boolean programs to Petri Nets expressed in the
NTS language.
(Main contributor: Bishesh Adhikari).
Coming soon.
News
Service
-
VMCAI 2013, 14th International Symposium on Verification, Model Checking and Abstract Interpretation. (PC member)
- Infinity 2012, 14th International Workshop on Verification of Infinite-State Systems. (PC member)
- Bytecode 2011, 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (PC co-chair)
- APNOC 2010, 2nd Workshop on Abstractions for Petri Nets and Other Models of Concurrency. (PC member)
Updated: $Date: 2012-04-06 15:32:38 +0200 (Fri, 06 Apr 2012) $
Copyright © 2012 Pierre Ganty
|
