Teaching/Service

I am teaching the following modules:
  • Summer 2024
    • Advanced Topics in Software Engineering Seminar (BSc & MSc)
    • Generative Software Engineering (MSc)
    • Software Engineering for Digital Engineering (MSc)
    • XFMP project (BSc & MSc)
    • ATISE project (BSc & MSc)
  • Winter 2023/24 
    • Formal Methods for Software Engineering (MSc)
    • Introduction to Programming (BSc & MSc)
    • Software Engineering 2 (BSc)
    • AMBIM project (BSc & MSc)
    • ABT project (BSc & MSc)
  • Summer 2023
    • Advanced Topics in Software Engineering Seminar (BSc & MSc)
    • Generative Software Engineering (MSc)
    • Software Engineering for Digital Engineering (MSc)
    • SETAV project (BSc & MSc)
    • MLOM project (BSc & MSc)
  • Winter 2022/23
    • Formal Methods for Software Engineering (MSc)
    • Introduction to Programming (BSc & MSc)
    • Software Engineering 2 (BSc)
    • SETAV 2 project (BSc & MSc)
    • MLOM project (BSc & MSc)
  • Summer 2022
    • Generative Software Engineering (MSc)
    • Software Engineering for Digital Engineering (MSc)
    • SETAV project (BSc & MSc)
  • Spring 2022
    • Model-driven Engineering (with S. Zschaler)
    • BSc final projects coordinator (ca. 400 students)
    • BSc final projects (6 students, semester 2)
  • Winter 2021
    • BSc final projects coordinator (ca. 400 students)
    • BSc final projects (6 students, semester 1)
  • Spring 2021
    • Generative Software Development
    • BSc final projects (6 students, semester 2)
    • MSc DL projects (1 student)
  • Winter 2020/21
    • Software Engineering and Systems Development
    • BSc final projects (6 students, semester 1)
    • MSc projects (1 student)
    • MSc DL projects (2 students)
  • Spring 2020
    • Generative Software Development
    • BSc final projects (5 students, semester 2)
    • MSc projects (1 student) 
    • MSc DL projects (1 student) 
  • Winter 2019/20
    • Computing Fundamentals
    • Software Engineering and Systems Development
    • BSc final projects (5 students, semester 1)
    • MSc projects (1 student)
    • MSc DL projects (1 student)
  • Summer 2019
    • MSc projects (2 students)
    • MSc DL projects (1 student)
  • Spring 2019 
    • Generative Software Development
    • BSc Software Development group projects (5 groups) 
    • BSc final projects (4 students, semester 2)
    • MSc group skills project: "Software Engineering and Robotics"
    • MSc projects (1 student)
  • Winter 2018/19
    • Computing Fundamentals (as convener)
    • Software Engineering and Systems Development (lecture with A. Boronat)
    • BSc final projects (4 students, semester 1)
    • MSc group skills project: "AI as in FAIL"
  • Summer 2018
    • MSc projects (2 students)
  • Spring 2018
    • Generative Software Development (lecture with J. M. Rojas)
    • MSc projects (2 students)
    • BSc Software Development group projects (6 groups)
    • MSc group skills project: "Software Modeling and Robotics"


I am a member of the Editorial Board of Springer's Software and Systems Modeling Journal and of Elsevier's Science of Computer Programming.

I am/was a member of program committees of:


I am academic adviser of the following student projects and competitions:


I organized or participated in the following outreach activities:

Comments