Publications
Do AI models help produce verified bug fixes?
ICSE 2026. (submitted – in review)
Authors: Reto Weber, Li Huang, Bertrand Meyer, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena
PRISM: Programming Really Is Simple Mathematics
YuriFest 2025. (accepted – to be published)
Authors: Reto Weber, Bertrand Meyer
Loop unrolling: formal definition and application to testing
ICTSS 2025. (accepted – to be published)
Authors: Reto Weber, Li Huang, Bertrand Meyer
Conferences
Programming Really Is Simple Mathematics
YuriFest 2025, Ludwig Maximilian University of Munich, Munich, Germany
Program verification using AutoProof
AVM 2024, University of Freiburg, Freiburg, Germany
Education
Constructor Institute of Technology
Doctor of Philosophy (PhD), Computer Science (2023 – now)
Thesis: Programming really is simple Mathematics and vice versa
Focus: Static verification of object oriented programming languages for example Eiffel. I formalized programming mathematically and embed mathematics into Eiffel. Which tries to narrow the gap between programming and mathematics.
ETH Zurich
Master of Science (MSc), Computer Science (2017 – 2020)
Master Thesis: Inaudible Audio Adversarial Perturbations via Psychoacoustic Clipping
Lecutres taken: Machine Learning, Web Engineering, Deep Learning, Probabilistic Artificial Intelligence, Advanced Topics in Machine Learning, Einführung in die Quanteninformatik, Models of Computation, Principles of Distributed Computing, Algorithms Lab, Computational Intelligence Lab, Introduction to Social Networks: Theory, Methods and Applications
Bachelor of Science (BSc), Computer Science (2013 – 2017)
Bachelor Thesis: Solving Constraint-Satisfaction Problems with Spike-Based Neural Attractor Winner-Take-All under Oscillatory Inhibition
Lecutres taken: Analysis I, Analysis II, Einführung in die Programmierung, Datenstrukturen & Algorithmen, Parallele Programmierung, Lineare Algebra, Diskrete Mathematik, Physik, Digitaltechnik, Data Modelling and Databases, Formal Methods and Functional Programming, Operating Systems and Networks, Systems Programming and Computer Architecture, Tehoretische Informatik, Wahrscheinlichkeit und Statistik, Learning and Intelligent Systems, Algorithms, Probability, and Computing, Information Security, Visual Computing, Software Architecture and Engineering, Angewandte Computer Architektur, Embedded Systems, Introduction to Neuroinformatics, Wie funktioniert Froschung? Algorithmen und Kombinatorik, Einführung in die Spieltheorie, Introduction to Cognitive Neuroscience