I am looking for motivated students that enjoy designing or building systems.

I am interested in improving the state-of-the-art of distributed systems. This means making distributed systems faster, more robust, or both. More specifically, my most recent projects have been in the areas of fault-tolerant replication, formal verification of distributed systems, and high-performance transaction processing.

Most of my projects involve building and evaluating a system, for which solid programming skills are required. However, I find fundamental theoretical questions very intriguing, too. So, if you like to build systems or to understand how their fundamentals work, send me an email introducing yourself and let me know a little bit about your background and interests (what area you have worked on, any previous research experience, and 1-2 papers that you have read that you really enjoyed).