Patrick Totzke
Lecturer in Computer Science, University of Liverpool, UK
Hey there! I am a theoretical computer scientist by day, based in sunny Liverpool. My research is on mathematical models of computation, with the aim of providing formal correctness proofs for computational systems. I’m interested in all things logics, automata, game theory and computer-aided verification. These days, I mostly focus on timed automata and (stochastic) games played on graphs, where we study the complexity of strategies. A list of my publications is available here and on the dblp.
Before joining Liverpool’s Department of Computer science I did postdocs at the LFCS in Edinburgh (2016-2018) and spend a year each at the University of Warwick (2015) and LaBRI in Bordeaux (2014). I hold a PhD from the University of Edinburgh and a diploma (Dipl. Inf.) from the University of Hamburg where I grew up.
In my spare time I attempt to play the trumpet and maintain a healthy appreciation of good whisky.
I am overly passionate about free software.
I have a ha-index of 80 and happily support the
initiative.
coordinates
|
totzke[ät]liverpool.ac.uk Get my gpg key here. |
|
| address |
Department of Computer Science University of Liverpool Liverpool, L69 3BX, UK |
| office hour | Meet me Wednesdays at 2-3pm GMT in my virtual office. |
news
| Apr 1, 2021 | Together with Paul Bell I am PC co-chair for Reachability Problems (RP’21). |
|---|---|
| Mar 29, 2021 | Excited to host this year’s British Colloquium for Theoretical Computer Science (BCTCS) on March 29–31. Check out our website for details. |
| Mar 3, 2021 | Funding success: together with Filip Mazowiecki and Georg Zetzsche (MPI-SWS) we are supported by a Royal Society International Exchanges grant to study Unambiguity in Infinite-state Systems. |
| Feb 18, 2021 | I am looking for a postdoc! The position is available for 3 years starting in May 2021 (flexible). Application deadline is 21-03-2021. Details here. |
| Dec 17, 2020 | Funding success: I will be PI on a new EPSRC funded project on the cost of winning strategies! |
| Dec 16, 2020 | I’m on the PC of HIGHTLIGHTS’21 |
| Jul 1, 2020 | I am attending INFINITY, HIGHTLIGHTS and Autoboz this year. |
| Jun 29, 2020 | Two papers accepted for publication at CONCUR, one at ICALP and one at MFCS this year. |
| Aug 6, 2019 | I’m on the PC of LICS’21 |
