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



Contact

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