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 have been a student assistant for the following courses at EPFL:

• Formal verification - Fall'23
• Computer language processing - Fall'22
• Practice of object-oriented programming - Spring'22