Reto Weber
Reto Weber was a PhD Student at the Chair of Software Engineering, Constructor Institute of Technology. Due to the layoffs after the announced exit from Schaffhausen of Constructor Institute of Technology, he started working as a 3D-Vision Engineer at Brutsch Technology aligning with his previous research interests.
Contacts
| reto.weber@sit.org | |
| Personal website | retoweber.info |
Publications by Reto Weber
- Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber, Bertrand Meyer: "Do AI models help produce verified bug fixes?" 2025
- Reto Weber, Bertrand Meyer: "PRISM - Programming Really Is Simple Mathematics" 2025
- Li Huang, Bertrand Meyer, Reto Weber: "Loop unrolling - formal definition and application to testing" 2025
Posts by Reto Weber
- We published the PRISM framework, Feb 2025