Projects
Our projects are funded by:
Current and completed projects of our research group:
Algorithm Engineering for Process Mapping
Schulz, Christian (Project Lead),
Träff, Jesper Larsson (Co-Lead)
01/04/2019 31/03/2022
Finished
Efficient Algorithms for Computer Aided Verification
Henzinger, Monika (Project Lead),
Frolik-Steffan, Ulrike (Admin),
Chatterjee, Krishnendu (Co-Lead)
15/03/2016 30/06/2021
Finished
Resilience versus Performance in Numerical Linear Algebra
Gansterer, Wilfried
(Project Lead),
Frolik-Steffan, Ulrike (Admin)
01/03/2016 31/08/2020
Finished
Vienna Graduate School on Computational Optimization
Pflug, Georg (Project Lead),
Stelzer, Vera (Admin),
Henzinger, Monika (Co-Lead),
Bot, Radu Ioan
(Cooperation Partner),
Bomze, Immanuel
(Cooperation Partner),
Schichl, Hermann
(Cooperation Partner),
Neumaier, Arnold (Cooperation Partner),
Raidl, Günther R. (Cooperation Partner),
Scarinci, Teresa (Project Coordinator),
Geiersbach, Caroline (Scientific Project Staff),
Gabl, Markus (Scientific Project Staff),
Böhm, Axel (Scientific Project Staff),
Nguyen, Dang Khoa (Scientific Project Staff),
Kimiaei, Morteza
(Scientific Project Staff),
Neumann, Stefan (Scientific Project Staff),
Djukanovic, Marco (Scientific Project Staff),
Horn, Matthias (Scientific Project Staff),
Glanzer, Martin (Affiliated Project Staff),
Birghila, Corina (Affiliated Project Staff),
Brandstätter, Georg (Affiliated Project Staff),
Luipersbeck, Martin (Affiliated Project Staff),
Meier, Dennis (Affiliated Project Staff),
Ponleitner, Bettina (Affiliated Project Staff),
Goranci, Gramoz
(Affiliated Project Staff),
Kahr, Michael (Affiliated Project Staff),
Klocker, Benedikt (Affiliated Project Staff),
Hungerländer, Philipp (Affiliated Project Staff)
01/03/2016 29/02/2020
Finished
Challenges in Graph Algorithms with Applications
Henzinger, Monika (Project Lead),
Frolik-Steffan, Ulrike (Admin),
Licayan, Christina (Admin)
01/03/2014 31/08/2019
Finished
11 -
15 out of 19