Home | english | Impressum | Sitemap | KIT

Kontakt
Institut für Theoretische Informatik

Am Fasanengarten 5
76131 Karlsruhe
Tel: +49 721 608-44023
Fax: +49 721 608-44021
E-Mail: simone meinhartHfu8∂kit edu

Anreise

Willkommen

Seit Ende 2009 existiert unsere Gruppe am Institut für Theoretische Informatik. Wir beschäftigen uns maßgeblich mit der Frage, wie Logik und formale Methoden, Spezifikation und Verifikation für die praktische Anwendung in der Software-Entwicklung nutzbar gemacht werden können.

Forschungsthemen

  • Formale Methoden im Software-Engineering
  • Spezifikation und Verifikation
  • Automatisches Beweisen in klassischen und nicht-klassischen Logiken

 

 

NEWS

Informationsveranstaltung zu "Praxis der Forschung" im Wintersemester 2014/15

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

 

 

Dann ist die Projektgruppe genau das Richtige für Sie!


Im Wintersemester 2014/15 bieten die Lehrstühle von Professor Beckert, Professor Beigl und Professor Sanders wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an. Die Informationsveranstaltung dazu findet am 21.10.2014 um 13:00 Uhr in Raum 301 (Gebäude 50.34) statt.

Themen und weitere Informationen
Informationsveranstaltung zu "Praxis der Forschung" im Sommersemester 2014

Wollten Sie schon immer mal einen Einblick hinter die Kulissen der Forschung bekommen?

Wollen Sie eine Alternative zu reinen Vorlesungsveranstaltungen?

 

 

Dann ist die Projektgruppe genau das Richtige für Sie!


Im Sommersemester 2014 bieten die Lehrstühle von Professor Beckert, Professor Beigl und Professor Reussner wieder die Veranstaltung "Praxis der Forschung" für Master-Studierende an. Die Informationsveranstaltung dazu findet am 15.04.2014 um 13:00 Uhr in Raum 301 (Gebäude 50.34) statt.

Themen und weitere Informationen