Ullrich Hustadt
Reader
United KingdomResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Ullrich Hustadt is a Reader at the University of Liverpool in the United Kingdom. His research areas include modal logic, theorem proving, and verification of distributed systems, as evidenced by his recent articles that focus on efficient reductions to modal logic and applications in metric temporal logic. He is actively engaged in advancing methodologies in logical frameworks and their practical implementations.
Articles (5)
Year:
2022
Year:
2022
Year:
2020
Year:
2020
Year:
2020
Collaborators (5)
Clare Dixon
The University of Manchester
Fabio Papacchini
University of Lancaster
Ana Ozaki
Associate Professor
University of Bergen
Michael Fisher
Prof. at Department of Electronic and Electrical Engineering
The University of Manchester
Sven Linker
Lecturer
University of Lancaster
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.