Michael Huth

Professor of Computer Science
Director of Research in Department of Computing
Security Research Group

Contact Details, Professional Web Page, Research, Google Scholar Citations, Teaching, Editorial Work, Biography, Talks, "LICS" Book

Applications to the fully funded PhD studentship on Formal Verification of Treaty Processes are now closed.

I gratefully acknowledge funding from Intel® Corporation for a research project on Trust Evidence (TRUST 2013 poster, Paper on Foundations, Paper on Tool, Tool Installation Instructions), and for the development of an Undergraduate teaching module on the design and validation of security protocols (TRUST 2013 poster).

More papers of mine on security are found here. Here are papers I wrote with Jim Kuo and Nir Piterman on the Rabin index and Fatal Attractors (extended open-access version here) of parity games.

I was General Chair for TRUST 2013 and Program Co-Chair for QEST 2009. In June 2013, Claire Vishik and I co-organized a Workshop on Addressing R&D Challenges in Cybersecurity: Innovation and Collaboration Strategy.

Please refer to my full CV for further details.