Logo Faculty of Informatics  Logo Faculty of Informatics      

Theoretische Informatik und Logik
(Theory and Logic Group)

        Logo E185/2 Theory and Logic Group

People

Category NamePhone
+43-1-58801-		Office hours
Head of group Alexander Leitsch 18540Mo 11:00-12:00
Secretary Franziska Gusel 18503Mo 10:30-12:30
Di 11:00-12:00
Do 11:00-12:00
Faculty
Agata Ciabattoni 18428by appointment
Christian Fermüller 18543Mo 10:00-11:30
Rudolf Freund 18542see here
Bernhard Gramlich 18544Mo 10:30-12:30
Marion Oswald 18542by appointment
Gernot Salzer 18541Mo 10:30-12:30
Technician Florian Schweikert 18545 by appointment
Teaching assistants 
Matthias Kausl 18503by appointment
Sonja Weber 18503by appointment
Project assistants 
Andreas Bernthaler 18542by appointment
Libal Tomer 18547by appointment
Roschger Christoph 18503by appointment
Felix Schernhammer 18546by appointment
Daniel Weller 18547by appointment
Bruno Woltzenlogel-Paleo 18547by appointment
Associate members Aneta Binder 18542 
Matthias Baaz 11821 
Arnold Beckmann 18503 
Stefan Hetzl 18547 
Rosalie Iemhoff 18503 
Robert Kosik 18547 
Andreas Leitgeb 18503 
Georg Lojka 18542 
Moschner Markus 18503 
Georg Moser 18503 
Reinhard Pichler 18503 
Norbert Preining 18503 
Michaela Schuster 18503 
Sebastiaan A. Terwijn 18503 
Richard Zach 18503 
Former members Ingo Feinerer58422 
Karin Hörwein18503 
Michael Kipar18411 
Robert Matzinger18503 
Clemens Richter18503 
Hendrik Spohr18503 
Jana Srna18503 
Guest lecturers Lev Beklemishev 18503 
Alessandra Carbone 18503 
Erzébet Csuhaj-Varju 18503 
Henning Fernau 18503 
Jozef Gruska 18503 
Reiner Hähnle 18503 
Petr Hajek 18503 
Nicolas (Miki) Hermann 18503 
Peter Hrandek 18503 
Jozef Kelemen 18503 
Alice Kelemenová 18503 
Sébastien Limet 18503 
Salvador Lucas 18503 
Viorica Sofronie-Stokkermans 18503 
Andreas Weiermann 18503 
Students Albert Brandl (Kriegshaber) 18503 
Karl Gmeiner 18503 
Wolfgang Holzinger 18503 
Christoph Rettig 18503 
Peter Robinson 18503 
Valid HTML 4.01! Viewable With Any Browser webmaster@logic.at