• Home
  • News
  • People
  • Teaching
  • Research
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  • Browsing: »
  • Home
  • »Teaching
  • »WS 20/21

WS 20/21

CourseTypeBachelor / MasterDocent
Model CheckingLectureB/MKatoen
Compiler ConstructionLectureB/MNoll
Probabilistic ProgrammingLectureMKatoen
Foundations of Informatics Bridging CourseLecture–Noll
Probabilistic ProgrammingSeminarB/MKatoen/Noll
Algorithms and Data StructuresProseminarBKatoen/Noll

  • Thesis Projects
  • SS 22
  • WS 21/22
  • SS 21
  • WS 20/21
    • Model Checking
    • Compiler Construction
    • Probabilistic Programming
    • Probabilistic Programming (Seminar)
    • Foundations of Informatics Bridging Course
    • Algorithmen und Datenstrukturen
  • SS 20
  • WS 19/20
  • SS 19
  • WS 18/19
  • SS 18
  • WS 17/18
  • SS 17
  • WS 16/17
  • SS 16
  • WS 15/16
  • SS 15
  • WS 14/15
  • SS 14

Latest News

  • Member AKW-NRW

    May 12, 2022
    The North Rhine-Westphalian Academy of Sciences, Humanities and the Arts has elected Joost-Pieter Katoen as ordinary member. Katoen is the third computer scientist from RWTH Aachen University that has become …
  • Paper in STTT

    May 12, 2022
    The paper entitled “Scenario-Based Verification of Uncertain Parametric MDPs” by Thom Badings, Nils Jansen, and Sebastian Junges (all Radboud University Nijmegen, NL), Murat Cubuktepe and Ufuk Topcu (UT Austin, USA) and …
  • CONCUR Test-of-Time Award

    May 11, 2022
    With great pleasure, we announce that the paper entitled “Approximate symbolic model checking of continuous-time Markov chains” by Christel Baier, Holger Hermanns and Joost-Pieter Katoen has been selected for the …

Links

  • RWTH Aachen
  • Fachgruppe Informatik