Skip to main content

Youcheng Sun

Personal photo - Youcheng Sun

Youcheng Sun

Researcher

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

My research interests include both temporal safety and code correctness inside cyber-physical systems