Hongseok Yang

 

Associate Professor and

Tutorial Fellow at Worcester College

Department of Computer Science, University of Oxford,

Wolfson Building, Parks Road, Oxford, OX1 3QD, UK

Phone: +44 1865 610 783

Email: hongseok00Xgmail.com where X is @


I am looking for passionate PhD students interested in developing efficient automatic software-verification algorithms, which combine ideas from various fields such as logic, programming language theory, machine learning and testing. For further information, see here.