Deutsches Forschungszentrum für künstliche Intelligenz (DFKI)

Norbert Schirmer

E-mail:    norbert.schirmer@dfki.de
Snail:     Dr. Norbert Schirmer
	   Deutsches Forschungszentrum für künstliche Intelligenz
	   Campus der Universität des Saarlandes
           Gebäude 45, Raum E 1 1, 4.06
           Postfach 151150
           D-66041 Saarbrücken
           Germany
Phone:     +49 (681) 302-2036
Fax:       +49 (681) 302-4290
Office:    Room E 1 1, 4.06
           Building 45
           Campus, Stuhlsatzenhausweg
           D-66041 Saarbrücken
int. mail: I4

Research

I am a researcher at the DFKI, currently working in the project management team of Verisoft XT, in particular on the verification of the Microsoft hypervisor Hyper-V. Previously I was working in the Verisoft project, developing a verification environment for sequential imperative programs on top of Isabelle/HOL. Before that I was working in the VerifiCard project, with a focus on the formal description of Java.

Publications

Admin

Norbert Schirmer