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.

I have been working on the safety problem for several research topics, including real-time systems, software model checking, and software testing. My most recent research works concern the safety of deep learning systems. More details can be found in the latest paper "Testing Deep Neural Networks".

    • Defence Science Technology Laboratory (DSTL) project on "Test Coverage Metrics for Artificial Intelligence"  (May 2018 ~ April 2019).

    Research Projects Involved

    Latest Talk
    • 8th November 2017: Functional Requirements-Based Automated Testing for Avionics  (ICECCS, Fukuoka)
    • 17th October 2017Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks  (EMSOFT, Seoul)
    • All my talks

    Latest Publication

    • DeepCover (Python, main developer)
      A coverage-based bug finder for deep learning applications.
    • CBMC (C++, developer)
      C Bounder Model Checker. 
    • WSA (C++, main developer)
      Weakly-hard Schedulability Analyzer. 
    • 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.