Students

I have a few open positions for highly motivated Ph.D. students. If you are interested to work in the area of real-time and cyber-physical systems with a goal to make them safe and reliable, please feel free to contact me outlining your research interests and experience, along with your CV and trascripts (if available).

Please note that, ideal candidates should have experience (or strong motivation) in theorem proving or low-level systems programming. To check more about my research, please visit my publication page. To learn more about real-time systems area in general, please check recent papers published in major conferences in this area: RTSS, RTAS, ECRTS, and EMSOFT.