Hi, I'm Youcheng

School of EEECS
Queen's University Belfast
18 Malone Rd, Belfast BT9 6RT

I am a Lecturer at Queen's University Belfast. Before joining Queens, I worked at University of Oxford and Scuola Superiore Sant'Anna I am interested in building trustworthy intelligent software systems. Much of my present work is about AI safety of different criticality levels, including using explainability, testing and verification methods.


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

    Research Projects

    Latest Talks
    • 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 Publications

    • DeepConcolic(Python, main developer)
      The first concolic testing tool 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.