Hanne Riis Nielson

Hanne Riis Nielson is a computer scientist specializing in formal methods and static program analysis, particularly for applications involving computer security and software safety.