About
Matthias Nitzschke is a Researcher at TU Wien (Vienna University of Technology), affiliated with the Faculty of Informatics. His roles include leading responsibilities in IT Services, specifically in the areas of Databases and Artificial Intelligence (E192-02) and Formal Methods in Systems Engineering (E192-04). He holds a prominent position within the scientific staff of the university's IT Services division.
His research focuses on formal methods applied to systems engineering, database systems, and artificial intelligence integration within technical systems. Key interests include the theoretical and practical challenges of ensuring system reliability through formal verification and advanced database architectures.
Contact information includes his office at Favoritenstrasse 9, Room HD0303, and direct access via phone (+43-1-58801-38830). Professional profiles are available on TU Wien's website and TISS.
Find Matthias Nitzschke elsewhere
Related Searches
You Might Also Like
- HHatem A. RashwanVienna University of Technology · Researcher
- MMuhammad MursilVienna University of Technology · Researcher
- WWalter PalmetshoferVienna University of Technology · Researcher
- KKoumudi Yasara Ganepola Ganepola AchchigeVienna University of Technology · Researcher
- CCharlotte MoeyersonsVienna University of Technology · Researcher
- KKonstantinos RisvasVienna University of Technology · Researcher