Hanne Riis Nielson
Hanne Riis Nielson (born 1954) is a computer scientist specializing in formal methods and static program analysis, particularly for applications involving computer security and software safety. Provided by Wikipedia-
1