معرفی
Søren Enevoldsen is a Research Assistant at the Department of Computer Science, Aalborg University, under the Technical Faculty of IT and Design. His work focuses on formal verification of computational systems through abstract dependency graphs.
- Key Research Areas: Model verification, dependency graphs, stochastic games, probabilistic systems, and formal methods.
- Collaborations: Works closely with researchers like Kim G. Larsen and Jiří Srba on theoretical and applied verification techniques.
- Contributions: Developed open-access datasets for reproducibility in verification research, including tools for extended abstract dependency graphs.
۰مقاله منتشرشده
