Institut für Rechnerarchitektur
und Parallelrechner
Ing. (it) Mauro Gargano
Universität des Saarlandes   Gebäude E1 3
FR 6.2 Informatik   Raum 318
Postfach 151150   Tel: +49 (0)681 302-5557
D-66041 Saarbrücken   Fax: +49 (0)681 302-4290
Germany   eMail:
1977 born in Bari (IT)
1997 high school degree
2003 ing. degree (equivalent to MEng.) in Electronic Eng. with the "abilitazione alla professione dell'ingegnere" qualification.
2003 PhD student at the "Universit├Ąt des Saarlandes"
Private Homepage
Gargano, M. and Hillebrand, M. and Leinenbach, D. and Paul, W.   EE BibTeX
On the Correctness of Operating System Kernels.
In Hurd, J. and Melham, T., editors, Theorem Proving in High Order Logics (TPHOLs) 2005,
Oxford, U.K.
LNCS, Springer, 2005.
Gargano, Mauro   BibTeX
Documentation, Modeling and Verification of parts of an O.S. core.
Diplomarbeit, Saarland University, 2003.