Biography

Christopher is a system administrator, working to maintain the infrastructure of Trustworthy Systems. Trustworthy Systems is a research group which builds systems that are formally proven to be secure.

Presentations

Christopher Irving