Maria Christakis
Univ.Prof.in Dr.in sc.
Roles
-
Head of Research Unit
Software Engineering, E194-01 -
Full Professor
Software Engineering, E194-01 -
Curriculum Coordinator
Bachelor Informatics / Specialization Software Engineering
Courses
2022W
- Advanced Software Engineering / 180.456 / VO
- Seminar for Master Students in Software Engineering & Internet Computing / 180.777 / SE
- Seminar in Software Engineering / 194.127 / SE
2023S
- Seminar for Master Students in Software Engineering & Internet Computing / 180.777 / SE
- Seminar in Software Engineering / 194.127 / SE
Projects
-
Testing Program Analyzers Ad Absurdum
2023 – 2028 / European Commission -
Clousot
2022 – 2025 / Max-Planck-Gesellschaft zur Förderu der Wissenschaften e.V. -
Nomos
2022 – 2025 / Max-Planck-Gesellschaft zur Förderu der Wissenschaften e.V. -
Future Teachers Education: Computational Thinking and STEAM
2019 – 2022 / European Commission / Publication: 148021 -
Bebras: international Challenge on Informatics and Computational Thinking
2007 – 2027 / Biber der Informatik
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
- Rigorous Methods for Smart Contracts / Bjørner, N., Christakis, M., Maffei, M., & Rosu, G. (Eds.). (2022). Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/DagRep.11.9.80 / Projects: Browsec, Ethertrust, PR4DLT, PROFET