Name Holger Gast (PD Dr.rer.nat.)
Room B220 (Sand 13, 72076 Tübingen)
Arbeitsbereich Programmiersprachen und Übersetzer
Address Wilhelm-Schickard Institut für Informatik
Sand 13
Universität Tübingen
D-72076 Tübingen


Research Interests

  • Software Verification
    • Reasoning about low-level memory
    • User interfaces for theorem provers
  • Modell-driven development of data-centric web applications
  • Software Engineering
    • 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?

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