Home | english | Impressum | Sitemap | 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

IDL4

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