Projects per year
-
Proof Complexity and Certification in QBF, PSPACE and Beyond
Chew, L. (PI) & Seidl, M. (Co-PI)
01.09.2026 → 31.08.2030
Project: Funded research › FWF - Austrian Science Fund
-
GREENHUMAINE: Pro²Future: GREENHUMAINE Green and Humane Oriented Al
Ferscha, A. (Researcher)
01.08.2026 → 31.07.2027
Project: Funded research › FFG - Austrian Research Promotion Agency
-
PT-MIRACLE: Mitral Insufficiency: Personalized AI supported Regurgitation Assessment, Clinical Evaluation and Cardiac Therapy
Ferscha, A. (PI), Zierer, A. F. (PI) & Steinwender, C. (PI)
01.07.2026 → 30.06.2030
Project: Funded research › Other sponsors
Research output
-
»CIvolunteer« – A Goal-Aligned and Competence-Driven Volunteering Platform
Schönböck, J., Pröll, B., Schwinger, W., Kapsammer, E., Retschitzegger, W. & Lechner, M., 15 Mar 2026, In: World Journal of Information Systems . 3, 1, p. 30-40 11 p.Research output: Contribution to journal › Article › peer-review
-
10th International Workshop on Modern Language Runtimes, Ecosystems, and VMs
Brunthaler, S. & Marr, S., 12 Apr 2026, ‹Programming› Companion '26: Companion Proceedings of the 10th International Conference on the Art, Science, and Engineering of Programming. 1 ed. p. vii 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
A 494-nW 32768-Hz DCXO-Based Clock Generator with 613 ps Jitter for Biomedical Signal Acquisition
Fath, P. & Pretl, H., Mar 2026, 2026 IEEE 17th Latin American Symposium on Circuits and Systems, LASCAS 2026 - Proceedings. 1 ed. Institute of Electrical and Electronics Engineers Inc., (2026 IEEE 17th Latin American Symposium on Circuits and Systems, LASCAS 2026 - Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Activities
-
The 17th Conference on Game Theory and AI for Security (Event)
Rass, S. (Member)
26 Nov 2026Activity: Membership/Function › Program committee
-
Research Chair of the Design and Verification Conference in Europe (DVCon Europe) (Event)
Große, D. (Member)
17 Nov 2026 → 18 Nov 2026Activity: Membership/Function › Program committee
-
Program Committee Member of the 34th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) (Event)
Große, D. (Member)
11 Oct 2026 → 14 Oct 2026Activity: Membership/Function › Program committee
Prizes
-
2023 Hojjat Adeli Award for Outstanding Contribution in Neural Systems
Huemer, M. (Recipient), Kovács, P. (Recipient), Bognar, G. (Recipient) & Huber, C. (Recipient), Sept 2023
Prize: Prize, award or honor
-
2024 IEEE SPS Best Paper Award
Schlüter, J. (Recipient), Purwins, H. (Recipient), Li, B. (Recipient), Virtanen, T. (Recipient), Chang, S.-Y. (Recipient) & Sainath, T. (Recipient), 2025
Prize: Prize, award or honor
-
Press/Media
-
-
TNF-Dekan Alois Ferscha: "Mit vereinter Stimme in Europa stärker auftreten"
30.05.2026
1 item of Media coverage
Press/Media
-
Datasets
-
QRP+Gen: Checking Q-Resolution Proofs with Generalized Axioms
Peyrer, M. (Creator) & Seidl, M. (Creator), Zenodo, 22 Jul 2025
DOI: 10.5281/zenodo.16307432, https://zenodo.org/records/16307432
Dataset
-
-
PyQBF: A Python Framework for Solving Quantified Boolean Formulas
Peyrer, M. (Creator), Heisinger, M. (Creator) & Seidl, M. (Creator), Zenodo, 19 Aug 2024
Dataset