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:
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.
Dr. Michaela Huhn
(+49) 5323 72-7157
Dipl.-Wirt.-Inf. Sara Bessling
M.Sc. Wuzhu Chen
Gianina Homoceanu
Dipl.-Wirtsch.-Ing. Christian Schulze
Dipl.-Ing. Mark Wessel
Dipl.-Inform. Axel Zechner
Xiaoqian Gu
Sara Mahvi
Mehdi Tavakoli
Dany Teumena