Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Research unit profile
TU-Wien
>
Institute of Discrete Mathematics and Geometry
>
Faculty of Mathematics and Geoinformation
>
Institute of Discrete Mathematics and Geometry
>
Research Unit of Computational Logic
E104-02
Research Unit of Computational Logic
Manager
Ao.Univ.Prof. Dr.phil. Matthias Baaz
Overview
Concept (German)
Concept (English)
Website
#
People
Title
Surname
First name
Projektass.(FWF) Dipl.-Ing. BSc
Achammer
Fabian
Projektass.(FWF) MU
Aguilar Enriquez
Miguel Alejandro
Aguilera Ozuna
Juan Pablo
Projektass.(FWF) MU
Barrera Esteban
Fernando Jose
Associate Prof. Dipl.-Ing.in Mag.a Dr.in techn. PhD B.A.
Benavente-Fokina
Ekaterina
Projektass.(FWF) PhD
Cipriani
Vittorio
BSc
Fedorova
Oleksandra
Projektass.(FWF) MU
Fernandez Dejean
Anton
Projektass.in(FWF) Dott.ssa mag.
Gamsakhurdia
Mariami
Projektass.(FWF) MSc PhD
Hammatt
Ellen Georgina
Associate Prof. Dipl.-Ing. Dr.techn. BSc
Hetzl
Stefan
Projektass.in(FWF)
Iannella
Martina
Projektass.(FWF) MSc
Kouptchinsky
Thibaut
Projektass.(FWF) Dr.rer.nat.
Kruschewski
Jan
Projektass.(FWF) Dr.rer.nat.
Manca
Davide
Mag.a
Meszlenyi
Marietta
Projektass.(FWF)
Nakid Cordero
Antonio
Projektass.(FWF)
Navarro Castillo
Angel Jareb
Projektass.(FWF) Dipl.-Ing. BSc
Ritter
Martin Christoph
Projektass.(FWF) Dipl.-Ing. Dr.techn.
Rossegger
Dino
Projektass.(FWF) MSc
Stepanov
Grigorii
Projektass.(FWF) MU
Torres Pachon
Martha Catalina
Projektass.(FWF) Dipl.-Ing. Dr.techn. BSc
Vierling
Jannik Tim
Projektass.(FWF) Dipl.-Ing. BSc BSc
Weiser
Johannes
Projektass.(FWF) Dr.rer.nat. MSc PhD
Wiesnet
Franziskus
F
P
1
2
N
E