Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Duality theory for verification formalisms

Information

Project Team

Outputs and Outcomes

Promotor

Andreas Weiermann

Department of Mathematics: Analysis, Logic and Discrete Mathematics

Copromotor

David Fernández-Duque

Department of Mathematics: Analysis, Logic and Discrete Mathematics

Fellow

Brett McLean

Department of Mathematics: Analysis, Logic and Discrete Mathematics