• Home
  • News
  • People
  • Teaching
  • Research
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  • Browsing: »
  • Home
  • »People
  • »Thomas Noll

Thomas Noll

 

noll-2
Email
noll at cs.rwth-aachen.de
Address
Room 4211 (Building E1)
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21213

I am an associate professor (apl. Prof.) at the Software Modeling and Verification Group (MOVES), headed by Prof. Joost-Pieter Katoen, in the Department of Computer Science at RWTH Aachen University. My current research interests include:

  • Attestor: A Shape Analysis Tool based on Graph Grammars (successor to Juggrnaut: Verifying Pointer Programs with Unbounded Heap Structures)
  • COMPASS: Correctness, Modeling and Performance of Aerospace Systems
  • VPLC: Verification of Programmable Logic Controller Code

Conferences

Publications

Talks

Courses and Seminars

Supervision of Theses

Administration

  • Alumni

Latest News

  • Katoen named ACM Fellow

    January 14, 2021
    Prof. Joost-Pieter Katoen has been named ACM Fellow 2020 for his contributions to model checking of software and probabilistic systems. The ACM Fellows program recognizes the top 1% of ACM …
  • 5 Gold medals at RERS 2020

    January 13, 2021
    We are happy to announce that our team (Joshua Moerman and Jana Berger) has won 5 gold medals at the RERS challenge 2020. By using a combination of off-the-shelf verification …
  • Three papers at TACAS 2021

    January 4, 2021
    We are delighted to inform you that three MOVES papers have been accepted at TACAS 2021: “Inductive Synthesis for Probabilistic Programs Reaches New Horizons” by Roman Andriushchenko, Milan Ceska, Sebastian Junges …

Links

  • RWTH Aachen
  • Fachgruppe Informatik