I am a research assistant at the Department of Computer Science, University of Oxford, where I am a member of Prof. Daniel Kroening's SV Group. I received my PhD from ReTiS lab, Scuola Superiore Sant'Anna, under the supervision of Prof. Giuseppe Lipari. Interested people can find my cv here.
My research interest includes real-time systems and model checking. Particularly, my PhD work involves both analytical schedulability analysis and model-based formalism for real-time systems. My PhD thesis can be downloaded here, and below is its fast view :-D
Research Projects Involved