Theoretische Informatik und Logik
(Theory and Logic Group)

Institut für Computersprachen
Technische Universität Wien
Favoritenstraße 9/E1852 (Stiege 2/3.Stock)
A-1040 Wien, Austria
Phone +43-1-58801-18503
Fax +43-1-58801-18597
www.logic.at/e1852.html
sek@logic.at

We are close to station Taubstummengasse of underground U1. See also the city map.

Function	Name	Phone +43-1-58801-	Office hours^(*)	Email
Head of group	Leitsch Alexander	18540	Mo 11:00-12:00	leitsch@logic.at
Secretary	Gusel Franziska	18503	Mo 10:30-12:30 Di 11:00-12:00 Do 11:00-12:00	gusel@logic.at
Faculty
	Ciabattoni Agata	18428	by appointment	agata@logic.at
	Fermüller Christian	18543	Mo 10:00-11:30	chrisf@logic.at
	Freund Rudolf	18542	see here	rudi@logic.at
	Gramlich Bernhard	18544	Mo 10:30-12:30	gramlich@logic.at
	Oswald Marion	18542	by appointment	marion@logic.at
	Salzer Gernot	18541	Mo 10:30-12:30	salzer@logic.at
Technician	Schweikert Florian	18545	by appointment	kelvan@logic.at
Teaching assistants
	Kausl Matthias	18503	by appointment	matthias.kausl@tuwien.ac.at
	Weber Sonja	18503	by appointment	sonja@logic.at
Project assistants
	Bernthaler Andreas	18542	by appointment	andreas.bernthaler+e185@tuwien.ac.at
	Libal Tomer	18547	by appointment	shaolin@logic.at
	Roschger Christoph	18503	by appointment	roschger@logic.at
	Schernhammer Felix	18546	by appointment	felixs@logic.at
	Weller Daniel	18547	by appointment	weller@logic.at
	Woltzenlogel-Paleo Bruno	18547	by appointment	bruno@logic.at
Associate and former members, guest lecturers, students