Institut für Rechnerarchitektur
und Parallelrechner
HOME
KONTAKT
ENGLISH
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:
mauro@wjpserver.cs.uni-saarland.de
 
Lebenslauf
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"
Forschungsinteressen
Private Homepage
/leute/private_homepages/mauro/
Publikationen
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.
BÜCHER
FORSCHUNG
LEHRE
LEUTE
PUBLIKATIONEN
DATENSCHUTZ