Go4IT - ein Pilotprojekt, mit einem Informatik-Bachelor-Universitäts-Studium bereits parallel zur AHS-Oberstufe zu beginnen
Weitere Information auf der Go4IT Web Site und in den Medienberichten.
From Model-Based Development research towards cutting-edge industry products
Chrona Validator and Chrona Creation Suite
autoBAHN - autonomously driving trains on open tracks
The goal of the autoBAHN project is to come up with a rail-bound transport system of autonomously driving vehicles.
sub auspiciis praesidentis rei publicae for Patricia Derler
November 2011: sub auspiciis praesidentis rei publicae for Patricia Derler
VO IT-Sicherheit
Lehrveranstaltungsleiter
u.a. O.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Pree
- sample security exploit: buffer overflow
- IT Security — Software Security
- ScalaCheck versus JUnit: A Complete Example
- [cloud computing] Google Security Whitepaper
Ergänzende Unterlagen
- Two security flaws in modern chips cause big headaches for the tech business, Science and Technology 04/01/2018
- correct-by-construction method for formally proofing program correctness
- Interview with Astro Teller, Captain of Moonshots at X, on the Future of AI, Robots, and Coffeemakers
- A Framework for Command Processing in Java/Swing Programs Based on the MVC Pattern