Prof. Dr. rer. nat. Leen Lambers
Research interests
- Software quality
- Software architectures
- Automated testing and analysis of software
- Domain-specific languages
- Graph-based query languages
- Model-driven techniques for the construction and analysis of software
- Formal methods in software engineering (especially graph logic & graph transformation)
- Laboratory for software quality with applications in medical informatics
Please find more information on our welcome page as well as on our research page.
Publications
Scientific career
- Since 01.10.2021 Professor for Practical Computer Science / Software Systems Engineering at BTU Cottbus-Senftenberg
- 01.07.2015-30.06.2021 Senior researcher in the area of Software Quality at the Department of System Analysis and Modeling, Hasso Plattner Institute at the University of Potsdam
- 01.01.2010-30.06.2015 Postdoctoral researcher at the Department of System Analysis and Modeling, Prof.Dr. Holger Giese, Hasso Plattner Institute at the University of Potsdam, DFG project Correct Model Transformations
- 01.12.2012-31.03.2013 Research stay, Technical University of Catalonia, Spain, Computer Science Department, Prof.Dr. Fernando Orejas
- 15.10.2003-31.12.2009 Research assistant at the Department of Theoretical Computer Science/Formal Specification, Prof.Dr. Hartmut Ehrig, TU Berlin
- 03.12.2009 Dr.rer.nat., summa cum laude, doctoral thesis Certification of Rule-Based Models by Graph Transformation
- 01.04-31.07.2006 Research stay, University of Milano Bicocca, Italy, Laboratory of Test and Analysis, Prof.Dr. Mauro Pezzè
- 26.02-06.04.2005 und 19.07-04.10.2005 Research stay Technical University of Catalonia, Spain, Computer Science Department, Prof.Dr. Fernando Orejas
Program committee member (2023-26)
- 19th International Conference on Graph Transformation
- 22nd European Conference on Modelling Foundations and Applications
- NIER Track at ASE 25
- Tools and Demo Track at MODELS 25
- 28th International Conference on Model Driven Engineering Languages and Systems
- 18th International Conference on Graph Transformation
- 28th International Conference on Fundamental Approaches to Software Engineering
- 27th International Conference on Model Driven Engineering Languages and Systems
- ACM Student Research Competition at MODELS 24
- Workshops at MODELS 24
- 15th International Workshop on Graph Computation Models
- 27th International Workshop on Algebraic Development Techniques
- 20th European Conference on Modelling Foundations and Applications
- 17th International Conference on Graph Transformation
- 27th International Conference on Fundamental Approaches to Software Engineering
- 26th International Conference on Model Driven Engineering Languages and Systems
- 14th International Workshop on Graph Computation Models
- 16th International Conference on Graph Transformation
- Software Engineering 2023
- Student Research Competition at Software Engineering 2023
Program committee chair
- 1st International Workshop on Model Engineering for Digital Innovation in Healthcare Co-chairs Georg Grossmann (Adelaide University, Australia), Lucas Sakizloglou (Certora, Israel)
- 2nd International School on Foundations and Advances of Model-Based Engineering Co-organizer Sébastien Mosser (Mc Master University, Canada)
- Tagung Software Engineering 2026 Co-chair Michael Pradel (University of Stuttgart)
- 16th International Workshop on Graph Computation Models Co-chair Oszkár Semeráth (Budapest University of Technology and Economics)
- Doctoral Symposium of the 27th International Conference on Model Driven Engineering Languages and Systems Co-chair Sébastien Mosser (Mc Master University, Canada)
- 26th International Conference on Fundamental Approaches to Software Engineering conference at ETAPS 2023 Co-chair Sebastián Uchitel (University of Buenos Aires, Argentina)
- 9th International Workshop on Bidirectional Transformations online event co-located with STAF 2020, Co-chair Meng Wang (University of Bristol, UK)
- 11th International Conference on Graph Transformation Toulouse, France, 2018, Co-chair Jens Weber (University of Victoria, Canada)
- 2nd International Workshop on the Verification of Model Transformation Budapest, Hungary, 2013, Co-organizers Eugene Syriani (University of Alabama, USA), Moussa Amrani (University of Luxemburg), Manuel Wimmer (TU Vienna, Austria)
- 11th International Workshop on Graph Transformation and Visual Modeling Techniques Tallin, Estonia, 2012, Co-chair Andrew Fish (University of Brighton, UK)
Workshop chair
- 26th International Conference on Model Driven Engineering Languages and Systems, Västerås (Sweden), Co-chair Davide Di Ruscio (University of l'Aquila)
- Software Engineering 2024, Linz (Austria), Co-chair Deepak Dhungana (University of Applied Sciences Krems)
Awards
- 2026 SoSyM Ten year most influential regular paper award Model transformation intents and their properties with Levi Lúcio, Moussa Amrani, Juergen Dingel, Rick Salay, Gehan M. K. Selim, Eugene Syriani, and Manuel Wimmer
- 2025 SoSyM Best Reviewer Award
- 10-11.07.2024 EASST Best Software Science Paper Award International Conference on Graph Transformation Taint Analysis for Graph APIs Focusing on Broken Access Control mit Lucas Sakizloglou, Osama Al-Wardi, and Taisiya Khakharova
- 01-06.10.2023 MODELS 2023 SoSyM-First Paper Award Journal of Software and Systems Modeling A Graph-Based Framework for Model-Driven Optimization Facilitating Impact Analysis of Mutation Operator Properties with Stefan John, Jens Kosiol, and Gabriele Taentzer
- 23-28.10.2022 MODELS 2022 Best Reviewer Award - Foundations Track 25th International Conference on Model driven Engineering Languages and Systems, Manuel Wimmer (Foundations PC Chair), Houari Sahraoui (General Co-Chair), Eugene Syriani (General Co-Chair)
- 25-26.07.2020 EATCS Best Paper Award International Conference on Graph Transformation Initial Conflicts for Transformation Rules with Nested Application Conditions with Fernando Orejas
- 18-19.07.2017 EATCS Best Paper Award International Conference on Graph Transformation Granularity of Conflicts and Dependencies with Kristopher Born, Daniel Strüber and Gabriele Taentzer
- 30.09.2010 EATCS Best Paper Award International Conference on Graph Transformation Local Confluence for Rules with Nested Application Conditions with Hartmut Ehrig, Annegret Habel, Fernando Orejas and Ulrike Golas
- 13.09.2008 Tool Contest Award GraBaTs'08 International Workshop on Graph Based Tools, Best Live Contest Solution (Interoperability), Team AGG with Ulrike Prange