Skip to main content
What types of page to search?

Popular pages: Undergraduate Postgraduate PhD Accommodation Research International students

Alternatively use our A-Z index.
Patrick Totzke

Professor Patrick Totzke


Trustworthy Computing
Part of
School of Computer Science and Informatics
Faculty of Science and Engineering

Contact

totzke@liverpool.ac.uk

https://cgi.csc.liv.ac.uk/~patrick/

Teaching

Modules for 2025-26

Formal Methods

Module code: COMP313

Role: Module Co-ordinator

Object-Oriented Programming

Module code: COMP122

Role: Teaching