Adam Lackorzynski holds a master degree in CS and is a PhD candidate in the Operating Systems group, TU Dresden. His main areas of work include microkernel based system, esp. L4Linux.