Patrick Augé Location
Paris, FR
Patrick Augé Education
Université Paris Sud (Paris XI)
Doctorat ès Informatique (Vérification automatique de programmes (model-checking))
1996 - 2001
Université Denis Diderot (Paris VII)
DEA en informatique fondamentale (Méthodes formelles, Parallélisme, Théorie de la programmation)
1995 - 1996
Patrick Augé Skills
Patrick Augé Summary
Patrick Augé, based in Paris, FR, is currently a Ingénieur logiciel embarqué at Zodiac Aerospace. Patrick Augé holds a 1996 - 2001 Doctorat ès Informatique in Vérification automatique de programmes (model-checking) @ Université Paris Sud (Paris XI). With a robust skill set that includes Embedded Software, Embedded C, Real Time, Compiler Construction, Formal Verification and more. Patrick Augé has 1 emails on RocketReach.