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-24)
- 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
- 26th International Conference on Fundamental Approaches to Software Engineering conference at ETAPS 2023, Co-chair Sebastian 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
- 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