Prof. Dr. Joel Greenyer



Leibniz Universität Hannover
Software Engineering for Ubiquitous Applications
Welfengarten 1, 30167 Hannover, Germany
Office: Room G322 (Main Building),
+49 511 762 3361

I am assistant professor (Juniorprofessor) at the Leibniz Universität Hannover, affiliated to the Software Engineering Group of Prof. Kurt Schneider. Before (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 Keyword Cloud 2My research focuses on model-based, automated, and formal software engineering techniques for the development and analysis of software-intensive systems. Especially, I am interested in scenario-based specification approaches for ubiquitous and cyber-physical systems and the application of formal verification and controller synthesis techniques. These techniques shall help engineers detect, understand, and resolve inconsistencies they may have introduced in their design, and further support them in the refinement of their design, increasing energy-efficiency, analyzing dependability, designing tests, and engineering software updates at run-time and self-adaptive behavior.