Institute of Formal Models and Verification

MIND: Medical Intelligence for Next Generation Diagnosis
Hamidovic, M. (PI), Zelko, E. (Co-PI), Khanzadeh, R. (Researcher), Fuger, J. (Researcher), Seidl, M. (Researcher), Salzer, H. (Researcher) & Springer, A. (Researcher)
01.04.2026 → 30.11.2027
Project: Funded research › Federal / regional / local authorities
Cluster of Excellence "Bilateral Artificial Intelligence"
Fürnkranz, J. (PI), Hochreiter, S. (PI), Klambauer, G. (PI), Schedl, M. (PI), Seidl, M. (PI), Widmer, G. (PI), Brandstetter, J. (PI), Kobler, E. (PI), Aichernig, B. (PI), Heisinger, M. (Researcher), Hoedt, P.-J. (Researcher), Pfeiffer, P. (Researcher), Plank, A. (Researcher), Radler, A. (Researcher), Rebola Pardo, A. (Researcher), Lin, W. (Researcher), Eckert, H. (Researcher), Cranganore, S. S. (Researcher), Hartl, A.-R. (Researcher), Plasser, M. (Researcher), Pammer, T. (Researcher), Tommasel, A. (Researcher), Nawaz, S. (Researcher), Masoudian, S. (Researcher) & Freinschlag, R. (Researcher)
01.10.2024 → 30.09.2029
Project: Funded research › FWF - Austrian Science Fund
OPTIM-AI: Hybridization of Optimization and Artificial Intelligence Techniques for Managerial Decision Making
Biere, A. (Researcher) & Sinnl, M. (PI)
01.10.2020 → 31.12.2021
Project: Funded research › Federal / regional / local authorities

A DSL for Specifying a Class of Industrial Optimisation Problems
Del Rio Almajano, T., Schreiner, W., Seidl, M., Kutsia, T. & Windsteiger, W., 2025, RISC, JKU, 19 p. (RISC Report Series; vol. 25-12).
Research output: Working paper and reports › Research report

Open Access
An autonomous drone swarm for detecting and tracking anomalies among dense vegetation
Amala Arokia Nathan, R. J., Strand, S., Mehrwald, D., Shutin, D. & Bimber, O., 27 Nov 2025, In: Communications Engineering. 4, 1, 12 p., 205.
Research output: Contribution to journal › Article › peer-review

Open Access
Deep integration of SAT solving and model checking
Froleyks, N., Jul 2025, 170 p.
Research output: Thesis › Doctoral thesis

CAV Distinguished Paper Award
Froleyks, N. (Recipient), Yu, E. (Recipient), Preiner, M. (Recipient), Biere, A. (Recipient) & Heljanko, K. (Recipient), Jul 2025
Prize: Prize, award or honor
Kepler Award 2024 for the course "Logic", co-lectured by the institutes RISC (Wolfgang Schreiner and Wolfgang Windsteiger) and SAI (Martina Seidl)
Schreiner, W. (Recipient), Windsteiger, W. (Recipient) & Seidl, M. (Recipient), 2024
Prize: Prize, award or honor

Organisation profile