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

• Continuous Program Synthesis

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.