Veröffentlichungen
Helfen KI-Modelle dabei, verifizierte Bugfixes zu erzeugen?
ICSE 2026. (eingereicht – in review)
Autoren: Reto Weber, Li Huang, Bertrand Meyer, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena
PRISM: Programmierung ist wirklich einfache Mathematik
YuriFest 2025. (angenommen – erscheint)
Autoren: Reto Weber, Bertrand Meyer
Loop unrolling: formale Definition und Anwendung fürs Testen
ICTSS 2025. (angenommen – erscheint)
Autoren: Reto Weber, Li Huang, Bertrand Meyer
Konferenzen
Programmierung ist wirklich einfache Mathematik
YuriFest 2025, Ludwig-Maximilians-Universität München, München, Deutschland
Programmverifikation mit AutoProof
AVM 2024, Universität Freiburg, Freiburg, Deutschland
Ausbildung
Konstrukteur Institut für Technologie
Doktor der Philosophie (PhD), Informatik (2023 – heute)
Thema: Programmieren ist wirklich einfache Mathematik – und umgekehrt
Fokus: Statische Verifikation objektorientierter Programmiersprachen, z. B. Eiffel. Ich formalisiere Programmierung mathematisch und bette Mathematik in Eiffel ein, um die Lücke zwischen Programmierung und Mathematik zu verkleinern.
ETH Zürich
Master of Science (MSc), Informatik (2017 – 2020)
Master Thesis: Unaudible Audio-Adversarial-Perturbationen über Psychoakustische Clipping
Vorlesungen (Auswahl): 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), Informatik (2013 –2017)
Bachelor-Thesis: Solving Constraint-Satisfaction Problems with Spike-Based Neural Attractor Winner-Take-All under Oscillatory Inhibition
Vorlesungen (Auswahl): 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, Theoretische Informatik, Wahrscheinlichkeit und Statistik, Learning and Intelligent Systems, Information Security, Visual Computing, Software Architecture and Engineering, Embedded Systems, Introduction to Neuroinformatics, Algorithmen und Kombinatorik, Einführung in die Spieltheorie, Introduction to Cognitive Neuroscience
