Schnellzugriff

Welcome

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!

Contact:

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

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

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