Teaching/Service

I am teaching the following modules:

• 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:

• SE2024
  
• ISSRE 2023
  
• ASE 2023
  
• FM 2023
• SE2023 
• SRS@SE2023
  
• ASE 2022
  
• Tutorials@MODELS2021
• OCL 2021
• ASE 2021 Tools Track
  
• OCL 2020
• MoDELS Tutorials 2020
• CyPhy'19
• MoDELS Tutorials 2019
• CyPhy'18
• ICSE 2018 Demonstrations Track
• SLE 2018, 
• SBMF 2018, 
• SLE 2017, 
• OCL 2017, 
• ECOOP AEC 2016, 
• FMMDE 2015, 
• MDKE 2015, 
• MORSE 2015, 
• SEFM 2015, 
• CVSM 2014, and 
• CVSM 2013

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

• Unicode 2020/21 (Leicester ambassador, placed 11^th in UK, 4^th by scores)
• Telespazio Technology Contest 2020 (team leader, won 2nd price)
• Royal Society Summer Science Online 2020, What are they up to now?
• IEEEXtreme 2020 (proctor)
• Food Security and Resilience Copernicus Hackathon Sept. 19 & 20 (mentor, won 2nd place)
• register now to look down on earth
• Team DriverLeics at the Royal Society Summer Science Exhibiton 2019 (team leader)
• Formula Student Artificial Intelligence 2018 (FS-AI)
• together with A. McEvan, M. Mousavi, and J. M. Rojas
• Audi Autonomous Driving Cup 2018 team DriverLeics
• together with M. Mousavi and J. M. Rojas

I organized or participated in the following outreach activities:

• 01/06/24 Vorstellung der Informatik auf dem Hochschulinformationstag
• 02/02/24 Vorstellung des Software Engineering in der Reihe Bite The Bytes
  
• 20/12/23 Christmas Lecture at Bauhaus-Universität Weimar
• 03/06/23 Vorstellung der Informatik auf dem Hochschulinformationstag
  
• 09/11/22 Kinderuni Weimar
  
• 24/10/22 Schnupperstudium an der Bauhaus-Universität Weimar
  
• 08/03/21 Academic Recruitment Talks @ International Women's Day, University of Leicester
• 20/08/20 New Laws on Self-Driving Cars on BBC Radio Leicester
• 14/07/20 Royal Society Summer Science Online, What are they up to now?
• 11/03/20 Driverless Cars on BBC Radio Leicester
• 27/02/20 Driving Simulator Research Interview with BBC Radio Leicester
• 22/02/20 Family Fun Day, The Royal Institution, London
• 07/11/19 DriverLeics @ MIRA Technology Institute Opening
• 28/08/19 Science Museum Lates: Driverless, Science Museum, London (adults only)
• 01-07/07/19 Exhibit Trusted Autonomous Vehicles, Royal Society, London
• See selected media coverage here
• 09/04/19 Talk on Autonomous Vehicles at School Visit, University of Leicester (ages 15+)
• 29/03/19 Talk on Computer Science from a Mathematics Perspective, Maths Taster Day, University of Leicester (ages 12+)
• 27/03/19 Talk on Autonomous Vehicles at the Creative IT Event, LCB Leicester (ages 17+)
• 08/03/19 Poster and Demo on Self-Driving Cars at International Women's Day STEM event, University of Leicester
• 29/08/18 Radio interview on Autonomous Vehicles at BBC Radio Leicester
• 05/06/18 Interactive exhibit on Autonomous Vehicles at Cheltenham Science Festival 2018