KIT - Team

	Dr. Uwe Dannowski Former PhD student, UKa Chief Portability Officer Mr. "C++ is good for you" Kickstart		Jens Doll Former research student, UKa VHPTs for IA-64 i486 port
	Dr. Kevin Elphinstone External contributor, UNSW email: kevinecse.unsw.edu.au phone: +61 2 9385 7338		Stefan Götz RWTH Aachen, Former research student, UKa email: stefan.goetzcs.rwth-aachen.de Multiserver system design
	Prof. Andreas Haeberlen CS, University of Pennsylvania, Former research student, UKa email: ahaecis.upenn.edu IDL⁴		Prof. Dr. Gernot Heiser External contributor, UNSW email: gernotcse.unsw.edu.au phone: +61 2 9385 5156
	Ph.D. Joshua LeVasseur Former PhD student, UKa Professional penflipper L4Ka::Virtualization Multiserver system design PowerPC port		Prof. Dr. Jochen Liedtke Father of L4
	Daniel Potts PhD student, UNSW Alpha port		Espen Skoglund Former PhD student, UKa L4 security models IA-64 port Mascot nanny
	Dr.-Ing. Jan Stoess? email: stoesskit.edu phone: +49 (721) 608-4056 AMD-64 port		Harvey Tuch PhD student, UNSW ARM port
	Dr. Volkmar Uhlig IBM Research email: volkmarvolkmaruhlig.com phone: +1 (914) 328-2840 MP issues IA-32 port L4Linux		Carl van Schaik PhD student, UNSW PowerPC64 and Mips64 ports
	Adam "WeirdArms" Wiggins PhD student, UNSW email: awigginscse.unsw.edu.au Sparc64 port		Simon J. Winwood PhD student, UNSW Alpha and Mips64 ports