Dr Patrick Totzke
Computer Science
- +44 (0)151 795 4256
- Work email totzke@liverpool.ac.uk
- Personal Websitehttps://cgi.csc.liv.ac.uk/~patrick/
- About
- Research
- Publications
- Teaching
Research
Formal Verification
I am interested in all things logics, automata, game theory and computer-aided verification. Most of my published work is on infinite-state models and includes extensions of vector addition systems with data, pushdown stack, alternation or branching. These days, I mostly focus on timed automata and (stochastic) games played on graphs.