University of Kassel
E-mail: joel.greenyer@uni-kassel.de
I am a Professor for Software Engineering at the University of Kassel, FB16, where I lead the Software Engineering Group. This website presents my research-related activities.
Short Bio
I was a Professor for Software Engineering at FHDW Hannover from 2020-2025. From 2019-2020 I worked as a software architect at Volkswagen (Volkswagen Commercial Vehicles). From 2013-2019 I was an assistant professor (Juniorprofessor) at the Leibniz Universität Hannover, affiliated to the Software Engineering Group of Prof. Kurt Schneider. Before that (from 2011-2013), I was a postdoc researcher in the DEpendable Evolvable Pervasive Software Engineering (DEEP-SE) group, working with Prof. Carlo Ghezzi, at the Politecnico di Milano.. From 2007-2011, I was a doctoral student in the Software Engineering Group at the University of Paderborn, led by Prof. Wilhelm Schäfer.
Research
My research focuses on model-based, automated, and formal software engineering techniques for the development and analysis of software-intensive systems. In particular, I investigate how formal modeling can be combined with reinforcement learning to support the design of safe and efficient cyber-physical systems, and how AI and machine-learning methods can be made more accessible and reliable for complex software systems development.

