Uwe Egbert Wolter

Uwe Egbert Wolter is an Associate Professor in the Department of Informatics at the University of Bergen, Faculty of Mathematics and Natural Sciences. He is actively engaged in research at the intersection of theoretical computer science, category theory, and formal methods in software engineering.

His research interests include:

• Theoretical Computer Science
• Category Theory
• Algebraic Specification
• Graph Transformations
• Formal Methods
• Coalgebras
• Diagrammatic Modeling
• Model-Driven Engineering
• Multilevel Modeling
• Logic in Computer Science

Wolter’s recent publications focus on diagrammatic specification frameworks, generalized sketches, and coalgebraic modeling. His work explores the use of categorical and algebraic structures to formalize software models, knowledge representation, and logical systems. He frequently collaborates with researchers such as Harald König, Adrian Rutle, Zinovy Diskin, and Alfio Martini. The research trends show a consistent focus on unifying logical and structural aspects of systems using category-theoretic tools.

He has no listed scientific awards in the provided text.

Wolter has advised or collaborated with several researchers, though formal students are not explicitly listed. His work has been supported through academic collaborations and research projects, including funding from the Research Council of Norway (e.g., project 194521). He has contributed to workshops and conferences in formal methods, algebraic development techniques, and model-driven engineering.

He is involved in research groups and collaborative efforts centered on formal modeling, particularly through the Diagram Predicate Framework and multilevel typed graph transformations. His work contributes to foundational aspects of software specification and knowledge representation.