Research

Research at the chair for theoretical computer science is largely concerned with foundations and applications of logic in computer science.

Core Research Themes

Logic-based knowledge representation; specification and verification; modal logic in computer science, in particular coalgebraic logic; uncertainty, vagueness, and defaults; program logics and semantics of programming; concurrency

Running or Recently Completed Research Projects

  • Spectra of Behavioural Distances and Quantitative Logics (SpeQT), DFG
  • Categorical Theory of Automata (CATHY), DFG
  • Coalgebraic Nominal Automata with Name Allocation (CoNAN), DFG
  • Coalgebraic Model Checking (CoMoC), DFG
  • Reconstructing Arguments from Newsworthy Debates (RAND), DFG
  • Participation in the DFG research training group Cybercrime and Forensic Computing
  • Digitaler Registerassistent (DIREGA), Bundesnotarkammer, Landesnotarkanmmer Bayern, Bayerisches Staatsministerium der Justiz

Software