Dominik Wojtczak
I am a 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
LIVERPOOL, L69 3BX
UK
phone: (+44) 151 795 4252
email: D.Wojtczak - AT - liverpool.ac.uk
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.
Interests
verification of security properties,
reinforcement learning,
stochastic games,
optimal control,
cyber-physical systems
Teaching
- 2015/16-- COMP 218 Introduction to the Theory of Computation
- 2020/21-- 2023/24 COMP 336/529 Big Data Analytics
- 2013/14 COMP 109 Foundations of Computer Science
- 2012/13--2017/18 COMP 516 Research Methods in Computer Science
Software
- PReMo is a tool for the analysis of Recursive Markov Chains and Stochastic Games as well as Stochastic Context-free Grammars. It can also be used to find a fixed point of arbitrary polynomial equation systems. Apart from a GUI version, it also has now a command line interface.
- Spookey is a tool that can compute the value of trust metrics for the SPKI/SDSI authorisation protocol.
Current PhD students
- Wanrong Yang (2023-) who works on inverse reinforcement learning
Former PhD students
- Yanhua Xu (2020-2024) who applied machine learning techniques to the study of infectious diseases, thesis title: Leveraging Machine Learning for the Analysis and Prediction of Influenza A Virus
- Joseph Livesly (2018-2023) who studied epistemic gossip protocols, title of the thesis: "Propositional Gossip Protocols"
- Mehmet Kurucan (2013-2020) who studied learning of hidden Markov models, title of the thesis: "Hidden Probabilistic One-Counter Automata"
- Mahmoud Mousa (2014-2018) who studied optimal control in embedded systems, title of the thesis: "Optimisation in Multi-Mode Systems"
