Coordinates

Name Holger Gast

Email gast@informatik.uni-tuebingen.de
Room B213 (Sand 13)

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

Software-Engineering
- How to build formally correct software?
- How to build adequate software?
- Application of Software to "soft" domains
Type-Systems
- Application to practical programming languages
- Proof theory
- Connections to design methodologies (beyond OO)
Generic Programming (e.g. C++ STL)
Teaching
- How to teach programming?
- How to program?
- Why are type-systems useful in practical programming?

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

Name	Holger Gast
Email	gast@informatik.uni-tuebingen.de
Room	B213 (Sand 13)
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