Valentin Aebi

Academic background and experience

• PhD in Informatics
  USI Lugano, Software Institute, since 10.2025
  Research in formal methods for software engineering, advised by Carlo Alberto Furia
• MSc in Computer Science
  EPFL, 09.2022-01.2025
  MSc thesis: Implementation of a gradually compartmentalized programming language, advised by Clément Pit-Claudel
• BSc in Computer Science
  EPFL, 09.2019-07.2022

Industry experience

• R&D internship
  Oracle Labs - GraalVM team, 03-08.2025
  Prototyping and development of solutions to visualize Native Image static analysis results and optimization decisions in the IDE.
• Software engineering internship
  SonarSource, 02-07.2024
  Development and maintainance of the SonarJava linter.

Teaching experience

I am/have been a teaching assistant for the following courses:

• Software design and modeling - USI, Autumn 2025, Autumn 2026
• Engineering of domain specific languages - USI, Autumn 2026
• Programming fundamentals 2 - USI, Spring 2026
• Formal verification - EPFL, Autumn 2023 (student TA)
• Computer language processing - EPFL, Autumn 2022 (student TA)
• Practice of object-oriented programming - EPFL, Spring 2022 (student TA)