Reto Weber
Scholar

Reto Weber

Google Scholar ID: uNKkaQwAAAAJ
Constructor Institute of Technology
static verificationcomputational correctnessautomatic theorem proving
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2
 
H-index
1
 
i10-index
0
 
Publications
3
 
Co-authors
2
list available
Contact
Emailreto.weber@sit.org
Publications
3 items
Do AI models help produce verified bug fixes?
2025
Cited
0
Programming Really Is Simple Mathematics
2025
Cited
0
Loop unrolling: formal definition and application to testing
2025
Cited
0
Resume (English only)
Academic Achievements
  • Publications:
  • 1. "Do AI models help produce verified bug fixes?" (with Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Bertrand Meyer)
  • 2. "PRISM - Programming Really Is Simple Mathematics" (with Bertrand Meyer)
  • 3. "Loop unrolling - formal definition and application to testing" (with Li Huang, Bertrand Meyer)
Research Experience
  • Position: PhD Student
  • Affiliation: Constructor Institute of Technology
Education
  • Degree: PhD
  • Institution: Constructor Institute of Technology
  • Advisor: Bertrand Meyer
  • Field: Software Engineering
Background
  • Research Interests: Software Engineering
  • Brief Introduction: Reto Weber is a PhD Student at the Chair of Software Engineering, Constructor Institute of Technology.
Co-authors
2 total
Bertrand Meyer
Bertrand Meyer
Professor of Software Engineering, Constructor Institute of Technology
Li Huang
Li Huang
Constructor Institute of Technology