Doctoral Students and Postdocs

• Mai AL-Zu'bi (PhD)
• Katalin Fazekas (postdoc)
• Thomas Hader (PhD)
• Adrian Rebola Pardo (postdoc)
• Sarah Sallinger (PhD)

Alumni

• Mitra Tabaei Befrouei (PhD, 2016; postdoc 2017-2018)
• Andreas Fellner (PhD 2021)
• Alfons Laarman (postdoc, 2014-2016)
• Henning Goes (nèe Günther) (ABD)
• Jens Pagel (nèe Katelaan) (Phd 2020)
• Thomas Pani (PhD 2021)
• Adrian Rebola Pardo (PhD 2022)
• Matthias Schlaipfer (ABD)

Projects and Research Grants

• Heisenbugs: From Detection to Explanation, Vienna Research Groups for Young Investigators 2011, funded by WWTF
• National Research Network "Rigorous Systems Engineering", funded by FWF
• Bit-level Accurate Reasoning and Interpolation, Microsoft Research PhD Scholarship 2016
• Doctoral College "Logical Methods in Computer Science", funded by FWF

Academic service

• CAV 2018 (co-chair)
• FMCAD 2017 (co-chair)
• CAV 2014-2015, 2017 (PC member)
• CAV 2013 (proceedings chair)
• FMCAD 2013-2015, 2018 (PC member)
• FMCAD 2015 (student forum chair)
• ICCAD 15-16 (PC member)
• SAT/SMT Summer School 2014 (co-organizer)
• Interpolation workshop 2013-2015 (co-organizer)
• Austrian Computer Science Day 2015 (co-organizer)

Teaching

• Verification of Programs and Systems
• Computer Aided Verification
• Formal Methods in Computer Science (2016)
• Seminar on Formal Methods
• Software Model Checking
• Automated Software Verification (Princeton 2011)

Family

• Katharina Weißenbacher (Cellist)