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

• 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

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