M. Sc. Robert Müller

Kontakt

M. Sc. Robert Müller
Telefon: 0271-740-2618
E-Mail: Robert.Mueller@uni-siegen.de
Büro: H-C 8304

Forschungsinteressen

• Induktive Programmsynthese, Programming-by-Example
• Automatisches Testen, Fuzz-Testing
• Program-Merging, Refactoring
• Hilfsmittel: Java, Eclipse Modelling Framework, C/C++

Lehre

• Softwaretechnik I – Übung (seit WiSe 2020/21)
• Softwaretechnik II – Übung (seit SoSe 2021)
• Proseminar/Seminar Modellbasierte Entwicklung (seit SoSe 2021)

Betreute Abschlussarbeiten

• Lukas Krumm (2022): Integration und Evaluation von Werkzeugen zur Programmanalyse für den Einsatz in der Lehre
• Bastian Richard Polewka (2022): Evaluation induktiver Strategien zur Test-getriebenen Programmsynthese
• Lukas Tobias Röhling (2021): Strukturierte Code-Generierung aus Kontrollflussautomaten

Forschungsprojekte

• Kontinuierliche Programmsynthese

Akademische Tätigkeiten

• Ich war Sub-Reviewer von VaMoS’22, FormaliSE’22, SPLC’22, ESEC/FSE’22 und VaMoS’23.
• Ich war im Artifact Evaluation Committee der FormaliSE’22 und FormaliSE’23.