Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Nichtklassische Beweise: Theorie, Automatisierung, Anwendungen
01.12.2011 - 30.11.2019
Forschungsförderungsprojekt
Personen
Projektleiter_in
Univ.Prof.in Dr.in Agata Ciabattoni
(E192-05)
Projektmitarbeiter_innen
Dr. Anna Zamansky
(E192-05)
Dr.techn. Tomer Libal MSc
(E192-05)
Projektass.(FWF) Don Revantha Shiyan Ramanayake PhD
(E192-05)
Dipl.-Ing. Dr.techn. MMag.phil. Lara Katharina Spendier Bakk.techn.
(E192-05)
Projektass.in(FWF) Nino Antidze MD
(E192-05)
Mag.rer.nat. Dr.techn. Paolo Baldi
(E192-05)
Projektass.(FWF) Roman Kuznets MPhil PhD
(E192-05)
Projektass. Dipl.-Math. Björn Lellmann PhD
(E192-05)
Dipl.-Ing. Dr.techn. Christoph Roschger
(E192-05)
Privatdoz. Petr Cintula PhD
(E192-05)
Elisabeth Hofmann
(E192-05)
Institut
E192-05 - Forschungsbereich Theory and Logic
Förderungsmittel
FWF - Österr. Wissenschaftsfonds (National)
START-Programm
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Computational Science and Engineering