Dominik Wojtczak

I am a Senior Lecturer (Associate Professor) at the University of Liverpool and a primary member of the Verification Group. I am also affiliated with the Automata, Computability and Complexity Theory Group as well as the Economics and Computation Group.

I graduated with a PhD from the University of Edinburgh at the beginning of 2009 and worked that year as a postdoc at Centrum Wiskunde & Informatica (CWI) in Amsterdam. After that I was an EPSRC Postdoctoral Fellow at the University of Oxford and a member of the Quantitative Analysis and Verification group.

Contact details

Department of Computer Science
Ashton Building
Ashton Street
phone: (+44) 151 795 4252 
email: D.Wojtczak - AT -
A fully-funded PhD position in the analysis of probabilistic models using machine learning techniques is currently available.
Please contact me by email if you are interested. Start date: Oct 2019.


probabilistic systems, game theory, coalition games, control theory, verification of embedded systems



PhD students

Selected publications

site hit