Pierre Ganty

http://software.imdea.org/~pierreganty/

@imdea-software Spain Researcher at @imdea-software, designing algorithms to solve problems for systems with infinitely many states.