Alain GIORGETTI
Laboratoire
d'Informatique de l'Université
de Franche-Comté
FRE CNRS 2661
16, route de Gray
25030 BESANÇON CEDEX
FRANCE
Phone: +33 81.66.66.60
Fax: +33 81.66.64.50
Email: alain dot giorgetti at univ-fcomte dot fr
Cliquer ici pour la
version française
Research
- In the research team of the L.I.F.C. dedicated to Formal specification, software validation and verification, more precisely in the action named "Vérification et validation symbolique et à contraintes".
- List of publications
- Ph. D. in Computer Science
- Popular science : an article in Pour La Science, july 1998.
- More details here ...
Software
Teaching (in french)
- Java Language
- Object-Oriented Programming
- Logic and Discrete Mathematics
- Previous work
alain dot giorgetti at univ-fcomte dot fr.
Last update: March the 6th, 2008.