Theoretical Foundations of Computer Science

Welcome to the web site of the Theoretical Foundations of Computer Science group at Clausthal University of Technology.

In April 2010, Dr. Michaela Huhn started as the acting lead (Vertretungsprofessur) for Foundations of Computer Science at TU Clausthal.

In research and teaching we focus on the following topics:

  • Mathematically founded methods for the design and analysis of software-controlled systems
  • Dependability, in particular safety
  • Certification for safety-critical software: Norms and safety cases
  • Model checking algorithms for validation and verification, testing and diagnosis
  • Modeling notations and formal semantics
  • Model-based design and analysis for cyberphysical systems
  • Modeling and simulation of physical systems: Modelica
  • Applications in the railway and automotive domain, robotics and medical devices, the energy sector,…

For more details including current and past projects, we refer to our research page and our publications.

Our teaching activities cover introductory and advanced courses on foundations of computer science. Please consult our teaching page for details - and do not hesitate to contact us if you are interested in writing a thesis in our research fields!



Clausthal University of Technology
Department of Informatics
Julius-Albert-Str. 4
38678 Clausthal-Zellerfeld

Phone: (+49) 5323 72-7140
Fax: (+49) 5323 72-7199

Official Esterel Technologies Academic Partner Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B, EN 50128 and IEC 61508 safety-critical systems.



Dr. Michaela Huhn
(+49) 5323 72-7157


Dipl.-Wirt.-Inf. Sara Bessling

Dipl.-Inform. Dennis Klar

Former Members:

M.Sc. Wuzhu Chen
Gianina Homoceanu
Dipl.-Wirtsch.-Ing. Christian Schulze
Dipl.-Ing. Mark Wessel
Dipl.-Inform. Axel Zechner

Student Members:

Xiaoqian Gu
Sara Mahvi
Mehdi Tavakoli
Dany Teumena

Contact  Search  Sitemap  Data Privacy  Imprint
© TU Clausthal 2021