Youcheng Sun (孙有程)


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


Latest Talk

Latest Publication

  • 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.
  • OXC-Sched (Linux kernel hacking, main developer)
    A multiprocessor real-time 
    bandwidth control framework in Linux.