معرفی
Professor Karsten Wolf holds the Chair of Theoretical Computer Science at the Institute of Computer Science, University of Rostock. He serves as Vice-Rector for Studies and Teaching and holds several key positions including Member of the Senate Commission for Studies, Teaching and Evaluation, and Spokesperson of the specialist group "Petri Nets and Related System Models" of the German Informatics Society.
His research focuses on theoretical computer science, particularly in the areas of:
- Development of correct systems
- Computer-aided verification
- Algorithms for Web Services
- Petri Nets and related system models
Professor Wolf's publication record demonstrates consistent expertise in formal verification methods, with recent work emphasizing modular state spaces, temporal logic verification, and approximation techniques. His involvement in the Model Checking Contest (2018-2024) shows his commitment to advancing verification methodologies through empirical evaluation and benchmarking.
His professional service includes:
- Editorial board member of LNCS subseries ToPNOC (Theory of Petri nets and other models of concurrency)
- Editorial board member of Petri Net Newsletter
- Member of the German Computer Science Society (GI)
- Head of the Study Commission of the Faculty Day of Computer Science
As Vice-Rector for Studies and Teaching, Professor Wolf plays a critical role in shaping educational policies and academic programs at the University of Rostock, bridging his theoretical expertise with practical educational leadership.
