M. Sc. Robert Müller

Contact
M. Sc. Robert Müller
Phone: 0271-740-2618
E-Mail: Robert.Mueller@uni-siegen.de
Office: H-C 8304
Consultation hour
Wednesdays 10–12 o’clock (with prior registration via email).
Research interests
- Inductive program synthesis, Programming-by-Example
- Automatic testing, Fuzz-Testing
- Program-Merging, Refactoring
- Tooling: Java, Eclipse Modelling Framework, C/C++
Teaching
- Software Engineering I – Exercise (since Winter semester 2020/21)
- Software Engineering II – Exercise (since Summer semester 2021)
- Proseminar/Seminar Model-based Engineering (since Summer semester 2021)
Supervised theses
- 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
Research projects
Academic activity
- I was sub-reviewer of VaMoS’22, FormaliSE’22, SPLC’22, ESEC/FSE’22 and VaMoS’23.
- I was a member of the Artifact Evaluation Committee of FormaliSE’22 and FormaliSE’23.
- I presented my research topic at the FOSD’23.
Aktualisiert um 9:52 am 24. March 2022 von Robert