TU Wien Informatics


Stay in Touch


Jan 2023


Dec 2022

  • Dec 14, 2022 Research, Lecture, Event Prof. Daniel Kröning, Senior Principal Scientist at Amazon AWS, will talk about automated reasoning and scaling verification for increasing features.
  • Dec 6, 2022 Epilog, Excellence, Students Join us at beautiful TUtheSky to honor our Faculty’s most excellent students at this semester’s Epilog award show.

Nov 2022

Oct 2022