Ivan Gazeau

Phd student of Dale Miller (Parsifal team) and Catuscia Palamidessi (Comète team) .

I work on the ANR Blanc CPP project.

Laboratoire d'Informatique, LIX
École Polytechnique, Rue de Saclay
91128 PALAISEAU Cedex FRANCE
gazeaulix.polytechnique.fr

CV

My CV

Teaching

2009 - 2012 : INF321: Les principes des langages de programmation

2010 - 2011 : INF431: Algorithmes, Réseaux et Langages

2011 - 2012 : INF421: Fundamentals of programming and algorithms

Publication scientifique

A non-local method for robustness analysis of floating point programs by Ivan Gazeau, Dale Miller, and Catuscia Palamidessi. In the Proceedings of QAPL 2012 . ( doi )

Philosophie des sciences

Reasoning without language or logic, CLMPS2011