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
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.
Aktualisiert um 10:26 am 26. Januar 2021 von Robert