Patrick Totzke

Professor · Computer Science

University of Liverpool · United Kingdom

Formal VerificationTemporal LogicAutomata TheoryReactive SynthesisInfinite-State Systems

About

Patrick Totzke is a Professor in the Department of Computer Science at the University of Liverpool. His research focuses on formal verification, temporal logic, automata theory, and reactive synthesis, particularly for infinite-state systems.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.