Mathieu GIORGINO

En résumé

Entreprises

• Carnegie Mellon University - Postdoctoral Fellow

  2013 - 2014 Développement d'un environnement de vérification pour VHDL.

• Université Paul Sabatier - Assistant à la recherche IRIT & Enseignant

  Toulouse 2008 - 2013

Formations

• Université Toulouse 3 Paul Sabatier

  Toulouse 2008 - 2013 Doctorat
  
  Sûreté du logiciel
  Titre de la thèse: "Inductive Representation, Proofs and Refinement of pointer structures"

• ENSEEIHT

  Toulouse 2005 - 2008 Ingénieur
  
  Apprentissage de nombreux langages: Java, C, OCaml, Prolog, Fortran
  Méthodes et outils pour le développement

• Lycée Paul Sabatier

  Carcassonne 2000 - 2003 Baccalauréat - mention Bien

Réseau

• Ana-Maria MANZAT

• Anthony PAJOT

• Catherine SIMAO

• Christine FARNOS GRENIER

• Julien CIMETIÈRE

• Laurent GRENIER

• Marc PANTEL

• Munireh MELLOR ROUGET

• Simon PLINET

• Valentin BUTOIANU