Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive
Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive

Subcategories

Aart Middeldorp

Members

Details
Written by: Gernot Baumgartner
Category: Members
Read Time: 1 min

Members


Name Function Office / Room No° Phone Consulting Hours
Baumgartner Gernot IT Systems Engineer ICT Building, 2nd floor, office - 3W05 +43 512 507 53452  
Dohan Kim Research Assistant ICT Building, 2nd floor, office - 3M12 +43 512 507 53485  
Eberl Manuel Research Assistant ICT Building, 2nd floor, office - 3M12 +43 512 507 53467  Thursday 10:30 - 11:30
Ingenhäff Martina Secretary ICT Building, 2nd floor, office - 3M08 +43 512 507 53229  
Kirk Christina Research Assistant ICT Building, 2nd floor, office - 3M03 +43 512 507 53343 Wednesday 14:00 - 15:30 
Middeldorp Aart Professor ICT Building, 2nd floor, office - 3M07 +43 512 507 53205 Wednesday 11:30 - 13:00 
Mitterwaller Fabian Research Assistant ICT Building, 2nd floor, office - 3M03 +43 512 507 53410 Thursday 10:30 - 12:00 
Niederhauser Johannes Research Assistant ICT Building, 2nd floor, office - 3M03    
Schöpf Jonas Research Assistant ICT Building, 2nd floor, office - 3M03 +43 512 507 53444  
Thiemann Rene Associate Professor ICT Building, 2nd floor, office - 3M09 +43 512 507 53234 Tuesday 10:15 - 11:15

Page 2 of 2

  • 1
  • 2
Quick Links
  • Department of Computer Science
  • LFU:Online Courses
  • OLAT
  • Webconference (BBB)
© 2026 Computational Logic
  • Privacy
  • Terms of Use
  • Policy
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive