Youcheng Sun (孙有程)


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

I am a researcher 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 interests include both the temporal safety and code correctness inside cyber-physical systems. 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.