Youcheng Sun (孙有程)


Email:

Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford Ox1 3QD



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

Events 

Latest Talk

Latest Publication

Softwares
  • FORTS (C++, main developer)
    A model checker specialized for real-time scheduling problems.
  • RTSCAN (C++, developer)
    A set of libraries and programs for performing schedulability analysis of real-time systems.
  • RETIMI (Python, developer)
    An easy way to generate automata models for real-time scheduling problems.
  • IMITATOR
  • OXC-Sched (Linux kernel hacking, main developer)
    A multiprocessor real-time 
    bandwidth control framework in Linux. 

Misc