Felipe Cerqueira

I am a fourth year PhD student at the Max Planck Institute for Software Systems (MPI-SWS), enrolled at TU Kaiserslautern. I work at the Real-Time Systems group, advised by Björn Brandenburg.

Prior to joining MPI-SWS, I did my undergraduate studies in the Federal University of Bahia (Brazil), where I worked with George Lima.

Research Interests

Currently, I'm investigating how to use proof assistants to derive guaranteed-correct schedulability analysis, in order to increase the confidence levels of future real-time systems. I have also worked on other theoretical and practical aspects of real-time scheduling. These include implementing scalable schedulers for multicore platforms and devising schedulability analysis for more realistic task models, such as arbitrary processor affinities (APA).

Conference and Workshop Papers


Email: felipec -at- mpi-sws.org
Paul Ehrlich Str, Building G26
D-67663 Kaiserslautern