About

I'm an independent researcher at the Max Planck Institute for Software Systems (MPI-SWS) and head of the Real-Time Systems Group.

Prior to joining MPI-SWS, I was a graduate student at the University of North Carolina at Chapel Hill (2006-2011), where I worked with Jim Anderson. At UNC, I was supported in part by the German-American Fulbright Program and a UNC Dissertation Completion Research Fellowship.

Originally, I'm from Berlin, Germany, where I received my undergrad education at TU Berlin (2003-2006).

Research Interests

My main research interests are real-time systems, operating systems, synchronization protocols, and embedded systems. In particular, I'm interested in the intersection of these topics. My focus is the design and implementation of systems that are robust, efficient, and amenable to a priori analysis.

Due to my work with OS kernels, I'm also interested in the construction, testing, validation, and performance evaluation of operating systems and other complex systems software.

Projects

LITMUS^RT: The Linux Testbed for Multiprocessor Scheduling in Real-Time Systems. LITMUS^RT is a real-time extension of the Linux kernel that implements state-of-the-art multiprocessor real-time scheduling policies and locking protocols. Please see www.litmus-rt.org for details.

Students

I'm also involved in projects with Pramod Bhatotia and Pedro Fonseca.

Future students: I'm generally looking to grow the Real-Time Systems Group. I'm interested in working with both “hackers” and “provers” (i.e., strong systems students and strong theory-inclined students, or interns in either area).

Please use MPI-SWS's online application system to apply. When contacting me directly, please include some links to your prior work (e.g., open source contributions, undergrad thesis, etc.).

Contact

Physical address (show on Google Maps):

Room 409, Building Wartburg
Martin-Luther-Strasse 12
Saarbruecken
66111

Mailing address:

MPI-SWS
Campus E 1 4
D-66123 Saarbruecken
Germany

Email:	bbb -at- mpi-sws.org
Phone:	+49 681 9303-8401
Skype:	bb.brandenburg

Please note that I strongly prefer email.