2024
Apr 2024
-
Apr 29, 2024 Award, Research, Faculty, Excellence Maria Christakis and Laura Kovács each won a project in Amazon’s Automated Reasoning call for proposals.
-
Apr 25, 2024 Award, Education Outreach 144 school students from all over Austria gathered at the Kuppelsaal of TU Wien for the OCG’s annual award ceremony.
-
Apr 15, 2024 Award, Research, Excellence Congratulations to Maria and Katta for having been elected new members of the Austrian Academy of Sciences (ÖAW) Young Academy.
Mar 2024
-
Mar 4, 2024 Award Mansur was honored for his thesis on static program analyzers, where he found ways to enhance the reliability and usability of analysis tools.