Han Gao

I am a Post Doc in the Language-Based Technology group at Informatics and Mathematical Modelling at the Technical University of Denmark.

My research is in the area of language-based security and in particular the use of annotations in statically analyzing security properties of communication protocols.

On May 5, I defended my PhD thesis Static Analysis of Security Protocols by Annotationson which was conducted under the supervision of Professor Hanne Riis Nielson.

Publications

A list of my publications is available here.

Contact Information