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

Sprechstunde

Mittwochs 10–12 Uhr (mit vorheriger Anmeldung per E-Mail).

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

• Mathis Weiß (2023): Vergleich der Effizienz und Effektivität von Feature-Modell-Synthese und Feature-Modell-Lernen
• Moritz Schmidt (2023): Performance-Evaluation von SAT-Solving-Verfahren
• 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, VaMoS’23 und SPLC’23.
• Ich war im Artifact Evaluation Committee der FormaliSE’22 und FormaliSE’23.
• Ich habe mein Forschungsthema auf der FOSD’23 vorgestellt.