معرفی
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.
Matthias Nitzschke در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- HHatem A. RashwanVienna University of Technology · پژوهشگر
- MMuhammad MursilVienna University of Technology · پژوهشگر
- WWalter PalmetshoferVienna University of Technology · پژوهشگر
- KKoumudi Yasara Ganepola Ganepola AchchigeVienna University of Technology · پژوهشگر
- CCharlotte MoeyersonsVienna University of Technology · پژوهشگر
- KKonstantinos RisvasVienna University of Technology · پژوهشگر