Patrick Totzke

Professor · Computer Science

University of Liverpool · United Kingdom

Formal VerificationTemporal LogicAutomata TheoryReactive SynthesisInfinite-State Systems

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。