Jens Kosiol

Jens Kosiol is a Lecturer in Computer Science at University of Marburg, specializing in theoretical aspects of software engineering with particular emphasis on model-driven approaches and formal methods.

Dr. Kosiol's research spans several interconnected areas within computer science:

• Model-Driven Engineering and Software Development
• Graph Transformation and Rewriting Systems
• Formal Methods for Software Verification
• Model Consistency and Synchronization
• Software Engineering Tools and Frameworks
• Theoretical Foundations of Model Transformation

Analysis of Dr. Kosiol's recent publications (2020-2024) reveals a cohesive research program focused on advancing the theoretical foundations of graph-based model transformation while addressing practical challenges in software engineering. His work consistently explores double-pushout rewriting, model consistency restoration, and constraint-preserving transformations. A significant portion of his research investigates how to maintain consistency across different model views while minimizing information loss during synchronization processes. His publications frequently appear in venues emphasizing rigorous theoretical frameworks with practical applications in model-driven development.

Dr. Kosiol has established productive collaborations with researchers including Gabriele Taentzer, Lars Fritsche, and Stefan John, indicating active participation in international research communities focused on formal methods. His work demonstrates both theoretical depth in category theory and graph transformation, while maintaining relevance to practical software engineering challenges through implementations in frameworks like Eclipse Modeling Framework.