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. Dr. Agata Ciabattoni
(E192-05)
Projektmitarbeiter_innen
Dr. Anna Zamansky
(E192-05)
Dr.techn. Tomer Libal
(E192-05)
Projektass.(FWF) Don Revantha Shiyan Ramanayake
(E192-05)
Dipl.-Ing. Dr.techn. MMag.phil. Lara Katharina Spendier
(E192-05)
Projektass.(FWF) Nino Antidze
(E192-05)
Mag.rer.nat. Dr.techn. Paolo Baldi
(E192-05)
Projektass.(FWF) Roman Kuznets
(E192-05)
Projektass. Dipl.-Math. Björn Lellmann
(E192-05)
Dipl.-Ing. Dr.techn. Christoph Roschger
(E192-05)
Privatdoz. Petr Cintula
(E192-05)
Elisabeth Hofmann
(E192-05)
Institut
E192-05 - Forschungsbereich Theory and Logic
Förderungsmittel
Fonds zur Förderung der wissenschaftlichen Forschung (FWF) (National)
START-Programm
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Fördergeber Typ Forschungsförderungsinstitutionen
Forschungsschwerpunkte
Computational Science and Engineering