Students

I have a few open positions for highly motivated Ph.D. students starting from Fall 2026. 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.