Dominik Wojtczak

I am a Reader (Associate Professor) at the University of Liverpool and the Head of the Cybersecurity Institute.

I am also the Head of the Verification Group and affiliated with 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 (room 2.17)
Ashton Building
Ashton Street
phone: (+44) 151 795 4252 
email: D.Wojtczak - AT -
Do contact me if you have strong mathematical background and would like to do a PhD under my supervision. Full funding is sometimes available, but to home/UK students only.


verification of security properties, stochastic games, reinforcement learning, optimal control, cyber-physical systems



Current PhD students

Former PhD students

List of publications on DBLP

List of publications on Google Scholar

site hit