Radhia Cousot Best Paper Award 2022 goes to researchers fro…
Daneshvar Amrollahi, Marcel Moosbrugger and Miroslav Stankovic received the award for young researchers at the 29th Static Analysis Symposium.
Oh, Javaman. A Tribute to Helmut Schauer
Helmut Schauer loves Bob Dylan’s Jokerman, but is definitely a Javaman. On Dec 2nd, he received the Golden Dissertation Diploma – 50 years after his graduation.
Florian Michahelles Wins MUM 2022 Ten Year Impact Award
Michahelles and his colleagues were honored for their influential work on mobile applications that assess driving behavior.
3 Netidee Grants Won by Young Researchers
Sophie Rain, Sarah Sallinger, and Alexander Falzberger’s outstanding theses are funded by the 2022 open-source campaign.
Daniel Kröning: Automated Reasoning at Amazon
Prof. Daniel Kröning, Senior Principal Scientist at Amazon AWS, will talk about automated reasoning and scaling verification for increasing features.
Digitalisierung in der Bildung – ein Kinderspiel?
Eine Veranstaltung der ÖAW in Kooperation mit JKU und TU Wien in Rahmen des Colloquium Digitale.
Jobs: PreDoc, Student Staff, and Office Services Positions
We are looking for candidates in Knowledge Based System, Theory and Logic, Business Informatics, and DC Smart industrial Concept.
Katta Spiel Wins Pride Biz Research Prize
The Pride Biz Austria association honors exceptional research to promote diversity and LGBTIQ awareness in business and beyond.
Jobs: PostDoc Position
We are looking for candidates in Databases and Artificial Intelligence.
Burgenland Higher Education Award Goes to Gernot Steindl
The federal state Burgenland honors Gernot Steindl’s dissertation on the digitization of industrial energy systems.
The Revolution of Thought Transmission
Hannes Kaufmann on the present and future of virtual reality, the next leaps in technology, and the limits of human-machine existence.
Helmut Veith Stipend Awarded
The stipend holders of the last three years were honored in a joint ceremony at this year’s LogiCS / UnRAVeL workshop.
THE University Ranking 2023: Top Scores
Placing 1st in Austria and 93rd worldwide, TU Wien Informatics excels once again at the THE Ranking and improves its overall position.
Katta Spiel Receives City of Vienna’s Sponsorship Prize
The committee honors Katta Spiel’s outstanding and continued contribution to informatics.