Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Hanne Riis Nielson

Hanne Riis Nielson

Professor, PhD

My main interests are within the analysis and verification of safe and secure systems; in particular the design, construction and application of advanced tools based on formal techniques.

Research interests
Teaching duties
Administrative duties

Book: Principles of Program Analysis

I am a member of the Safe and Secure Systems group.