World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
40
Citations
8963
World Ranking
9150
National Ranking
41

Overview

Hanne Riis Nielson is affiliated with the Technical University of Denmark in Denmark. The primary field of study is Computer Science, with a focus on several subfields including Artificial Intelligence, Signal Processing, and Computer Networks and Communications.

The research topics covered by Hanne Riis Nielson include:

  • Security and Verification in Computing
  • Advanced Malware Detection Techniques
  • Distributed Systems and Fault Tolerance
  • Cryptographic Implementations and Security
  • Network Security and Intrusion Detection

Hanne Riis Nielson has contributed to multiple publications, including:

  • Program Analysis (an Appetizer), 2020, arXiv (Cornell University)
  • Benign Interaction of Security Domains, 2021, Lecture Notes in Computer Science

Frequent coauthors associated with this researcher are:

  • Flemming Nielson
  • René Rydhof Hansen

The publication venues include:

  • arXiv (Cornell University)
  • Lecture Notes in Computer Science

Best Publications

  • Principles of program analysis

    Flemming Nielson;Hanne R. Nielson;Chris Hankin

  • Semantics With Applications: A Formal Introduction

    Hanne Riis Nielson;Flemming Nielson

  • Two-Level Functional Languages

    Flemming Nielson;Hanne Riis Nielson

  • Semantics with Applications: An Appetizer

    Hanne Riis Nielson;Flemming Nielson

  • Type and Effect Systems

    Flemming Nielson;Hanne Riis Nielson

  • Static validation of security protocols

    Chiara Bodei;Mikael Buchholtz;Pierpaolo Degano;Flemming Nielson

  • Higher-Order Concurrent Programs with Finite Communication Topology

    Hanne Riis Nielson;Flemming Nielson

  • Infinitary control flow analysis: a collecting semantics for closure analysis

    Flemming Nielson;Hanne Riis Nielson

  • Automatic validation of protocol narration

    C. Bodei;M. Buchholtz;P. Degano;F. Nielson

  • Control Flow Analysis for the pi-calculus

    Chiara Bodei;Pierpaolo Degano;Flemming Nielson;Hanne Riis Nielson

  • Automatic binding time analysis for a typed l-calculus

    H. R. Nielson;F. Nielson

  • Static Analysis for the π-Calculus with Applications to Security

    Chiara Bodei;Pierpaolo Degano;Flemming Nielson;Hanne Riis Nielson

  • Higher-order concurrent programs with finite communication topology (extended abstract)

    Hanne Riis Nielson;Flemming Nielson

  • Automatic binding time analysis for a typed l-calculus

    F. Nielson;R. H. Nielson

  • Flow logic: a multi-paradigmatic approach to static analysis

    Hanne Riis Nielson;Flemming Nielson

  • Shape analysis for mobile ambients

    Hanne Riis Nielson;Flemming Nielson

  • Validating Firewalls in Mobile Ambients

    Flemming Nielson;Hanne Riis Nielson;René Rydhof Hansen;Jacob Grydholt Jensen

  • Type and Effect Systems: Behaviours for Concurrency

    Torben Amtoft;Flemming Nielson;Hanne Riis Nielson

  • Two-level semantics and code generation

    Flemming Nielson;Hanne Riis Nielson

  • A succinct solver for ALFP

    Flemming Nielson;Hanne Riis Nielson;Helmut Seidl

Frequent Co-Authors

Flemming Nielson
Flemming Nielson Technical University of Denmark
Chris Hankin
Chris Hankin Imperial College London
Corrado Priami
Corrado Priami University of Pisa
Helmut Seidl
Helmut Seidl Technical University of Munich
Rosario Pugliese
Rosario Pugliese University of Florence
Rocco De Nicola
Rocco De Nicola IMT Institute for Advanced Studies Lucca
Marta Kwiatkowska
Marta Kwiatkowska University of Oxford
Jens Palsberg
Jens Palsberg University of California, Los Angeles
Mooly Sagiv
Mooly Sagiv Tel Aviv University
Bud Mishra
Bud Mishra New York University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Online education has opened up diverse options for those considering related fields alongside Computer Science. For students interested in environmental issues, exploring jobs for environmental science majors can reveal unique opportunities that blend technology and sustainability.

Many universities now offer accredited computer science degree online options. These accelerated programs are ideal for career changers or professionals looking to quickly gain credentials and technical expertise without relocating or disrupting work commitments.

If you are more passionate about engineering, you might consider related online degrees. Programs such as an environmental engineer degree online or an online degree for mechanical engineering provide flexible, affordable paths into highly sought-after technical careers.

These online pathways make it easier than ever to gain vital skills for industries ranging from IT to engineering and environmental science, all while balancing your existing commitments.

Best Scientists Citing Hanne Riis Nielson

Trending Scientists

Recently Published Articles