Lukas Humbel

Hi! I'm a second year PhD candidate in the Systems Group at ETH Zurich, working under the supervision of Timothy Roscoe. My research interest lies in applying declarative and formal techniques to operating system design. I enjoy hacking on Barrelfish, our main research vessel. I received my Master of Science in Computer Science from ETH Zurich in 2013.

Research

Teaching

Education

Work Experience

During and after my studies, I worked as an engineer at Triboni, UMS.ch and Wuala. Refer to my CV for details.

Stuff

Contact