Coordinates

Name	Holger Gast
Email	gast@informatik.uni-tuebingen.de
Room	B213 (Sand 13, 72076 Tübingen)
Tel.	[[+49] 07071] 29-75467
	Arbeitsbereich Programmiersprachen und Übersetzer
Address	Wilhelm-Schickard Institut für Informatik
	Sand 13
	Universität Tübingen
	D-72076 Tübingen
	Germany

Research

Interests

• Software Verification
  • Reasoning about low-level memory
  • User interfaces for theorem provers
• Software Engineering
  • How to build formally correct software?
  • How to build adequate software?
  • Application of software to "soft" domains (e.g. the humanities)
• Teaching
  • How to teach programming?
  • How to teach software design & architecture?
  • How to program in different paradigms?

Current Projects

• The I3P Interface for Isabelle
• Applying Relational Databases in the Humanities
  
  • Book: Optimierung Historischer Forschung durch Datenbanken
  • Designing and Prototyping a Research Database for the Munich Documentation Centre for the History of National Socialism
• User Interfaces for Theorem Provers
• Lightweight Separation
• The Course Information System

Past Projects

• Teaching Software Architecture
• Dissertation: A Generator for Type Checkers
• Explaining ML Type-Errors by Data Flow
• A Web-Based Course Information System

Awards and Prizes

• Dissertation Prize of the Department for Computer Science 2005
• PhD Scholarship of the Studienstiftung des deutschen Volkes (German National Academic Foundation) 2001-2003
• Scholarship of the Studienstiftung des deutschen Volkes 1996-2000

Teaching (in German)

Wintersemester '11/12

• Software Architektur I
• Seminar: Ansätze und Anwendungen der Funktionalen Software-Verifikation

Frühere Veranstaltungen

• Interaktive Software-Verifikation (Wintersemester 2010/11)
• Software Enigineering (Sommersemester 2010)
• Objekt-orientierte Programmierung (Wintersemester 2009/10)
• Software Architektur II (Sommersemester 2009)
• Software Architektur I (Wintersemester 2008/09)
• Software Enigineering (Sommersemester 2008)
• Objekt-orientierte Programmierung (Wintersemester 2007/08)
• Software-Architektur II
• Software-Architektur (Wintersemester 2006/07)
• Praktikum Anwendungsprogrammierung (Sommersemester 2006)
• Objekt-orientierte Programmiersprachen (Wintersemester 2005/06)
• Informatik II (Sommersemester 2005)  Zum Skriptum
• Ästhetik des Programmierens: Wie schreibt man klare Programme? (Proseminar, Wintersemester 2004)
• Baumstrukturen in der praktischen Informatik (Proseminar, Wintersemester 2004)
• Seminar: Code-Reuse und Polymorphie: Zwischen Softwaretechnik und Programmiersprachen (SS 2004)
• Konzepte von Programmiersprachen (WS 2003/04) (Organisation und Übungen)
  • Homepage der Vorlesung
  • Übungen
• Informatik II (SS 2003) (Organisation und Übungen)
  Einführung Programmieren in MMIX
• Informatik II (SS 2001) (Organisation und Übungen)
• Informatik I (SS 2000) (Organisation und Übungen)