Université Paris 7 Denis Diderot
LMFI
Logique Mathématique et Fondements de l'Informatique
2 Place Jussieu
75251 Paris

8 anciens élèves

Université Paris 7 Denis Diderot, Paris : 8 anciens élèves

Logique Mathématique et Fondements de l'Informatique

Ingénieur de Développement , Amadeus Nice
Master 2 (mention Bien)
Vérification probabiliste et approximation, Logique complexité et jeux, Calculabilité et complexité, Théorie des modèles et des ensembles, Initiation de la preuve formelle par ordinateur

35/60 ECTS validés
Christophe Chareton
Post-doctorat, LORIA CNRS (Nancy)
Philippe Curmin
Architecte applicatif, IBM Canada
Michaël BLOT
Chercheur, UPMC
Master Recherche
Théorie de modèles, théorie des ensembles, théorie des graphes, théorie de la démonstration, preuve assistée par ordinateur, calculabilité/compléxité Model theory, set theory, graph theory, demonstration theory, computer assisted proof, calculability/complexity
Yves Stadler
Ingéieur dévelopement Junior, B.Braun Medical
Ludovic PATEY
Etudiant en informatique
Bernard Trillat
Chef de projet SI Hospitalier, Hopital Foch