Björn B. Brandenburg
Faculty (tenure track)
Real-Time Systems Group

bbb -at-


I’m a tenure-track faculty member at the Max Planck Institute for Software Systems (MPI-SWS) and head of the Real-Time Systems Group. Officially, I’m a tenure-track “Max Planck Research Group (MPRG) leader”, a position equivalent to a US assistant professorship.

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.

My dissertation was awarded the 2012 UNC Dean’s Distinguished Dissertation Award, and subsequently honored at the national level with the 2012 CGS/ProQuest Distinguished Dissertation Award (both in the area of Mathematics, Physical Sciences, and Engineering), marking only the second time that a UNC graduate has won this award since its inception in 1982 (UNC Graduate School press release). At DATE 2013, my dissertation was honored with the EDAA Outstanding Dissertations Award 2012 in the category “New directions in embedded system design and embedded software.”

Originally, I’m from Berlin, Germany, where I attended TU Berlin (2003–2006).

Research Interests

My main research interests are real-time systems, operating systems, synchronization protocols, and embedded systems. My focus is the design and implementation of systems that are robust, efficient, and amenable to a priori analysis. To this end, my group engages in both systems building and the development of novel analysis methods.

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.

Software Projects


Students and Postdocs

In the past, I’ve also worked with Pramod Bhatotia (graduated 2015, now a Senior Lecturer of Computer Science at the University of Edinburgh), Pedro Fonseca (graduated 2015, now a postdoc at University of Washington), and Alessandro Biondi (visiting student from SSSUP).

Future students: I’m generally interested in working with both “hackers” and “provers” (i.e., strong systems students and strong theory-inclined students, or interns in either area).

Open positions: I’m particularly interested in growing the Prosa team—if you are familiar with the Coq proof assistant (or similar tools) and want to prove some real theorems, let’s chat!

Please use MPI-SWS’s online application system to apply. When contacting me directly, please include samples of your work (e.g., major projects, open source contributions, etc.) and writing samples (e.g., your technical blog, an undergrad or semester thesis, project reports, etc.).

Professional Activities

Upcoming events that I’m helping to organize:

Current conference and workshop program committee (PC) involvement:

In the past, I helped to organize the following events as chair or co-chair:

Past PC involvement: RTSS 2016 + WiP, EMSOFT 2016, RTNS 2016, RTAS 2016 + WiP, EuroSys 2016, SYSTOR 2016, WMC 2015, RTNS 2015, EMSOFT 2015, RTSOPS 2015, ECRTS 2015, SYSTOR 2015, RTAS 2015 WiP track, SAC 2015 ES track, RTNS 2014, ETFA 2014 RTSOPS 2014, ECRTS 2014, RTAS 2014, RTSS 2013, RTNS 2013, ECRTS 2013, OSPERT 2013, RTAS 2013, EuroSys 2013, RTSS 2012, RTCSA 2012, RTNS 2012, OSPERT 2012.


Most days I can be found in the Kaiserslautern building of MPI-SWS in my office (room 416).

MPI-SWS Kaiserslautern is located right at the corner of Trippstadter Straße and the TUKL campus.

Mailing address:

Paul-Ehrlich-Straße G 26
D-67663 Kaiserslautern

Email: bbb -at-
Phone: +49 681 9303–8401
Skype: bb.brandenburg

Please note that I strongly prefer email.