Professor of Computer Science 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 probabilistic programming languages or 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.