Willkommen

 

Theoretische Grundlagen der Informatik

Willkommen auf der Homepage der Arbeitsgruppe "Theoretische Grundlagen der Informatik" an der TU Clausthal.

Seit April 2010 ist Dr. Michaela Huhn Vertretungsprofessorin für das Arbeitsgebiet "Grundlagen der Informatik" an der TU Clausthal.

In Forschung und Lehre befassen wir uns mit folgenden Themen:

  • Mathematisch fundierte Methoden für den Entwurf und die Analyse von Software-intensiven Systemen
  • Dependability, insb. Funktionale Sicherheit
  • Zertifizierung für sicherheitskritische Software: Normen und Sicherheitsnachweise
  • Model-Checking Algorithmen zur Validierung und Verifikation, Testen und Diagnose
  • Modellierungsnotation und formale Semantik
  • Modellbasiertes Design und Analyse von Cyberphysical Systems
  • Modellierung und Simulation von physikalischen Systemen: Modelica
  • Anwendungen im Bahn und Automotive Bereich, Robotik und medizintechnische Geräte, Energie,…

Für weitere Details einschließlich aktueller und beendeter Projekte, verweisen wir auf unsere Forschungsseite und unsere Veröffentlichungen.

Unsere Lehrtätigkeit umfasst einführende und fortgeschrittene Veranstaltungen zu den Grundlagen der Informatik. Bitte schauen auf unserer Lehre-Seite nach weiteren Details - und kontaktieren Sie uns, falls Sie  in unserem Forschungsgebiet eine Abschlussarbeit schreiben möchten.

 

Kontakt:

Dr. Michaela Huhn
TU Clausthal
Institut für Informatik
Julius-Albert-Str. 4
38678 Clausthal-ZellerfeldTelefon: (05323) 72-7157
Email:
Telefon: (05323) 72-7140 (Sekr.)
Fax: (05323) 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.

 

Gruppenleiter:


Dr. Michaela Huhn
(05323) 72-7157


Team:


Dipl.-Wirt.-Inf. Sara Bessling


Dipl.-Inform. Dennis Klar


Ehemalige Mitarbeiter:

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


Studentische Mitarbeiter:

Xiaoqian Gu
Sara Mahvi
Mehdi Tavakoli
Dany Teumena


Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019