معرفی
Magnus Lång is an Assistant Professor with doctoral duties at Uppsala University's Department of Information Technology, Division of Computer Systems. His research focuses on formal methods, concurrency theory, and software verification.
Research Interests:
- Specializes in stateless model checking for concurrent programs.
- Explores dynamic partial order reduction techniques.
- Investigates graph-based algorithms for parallel verification.
- Develops optimized methods for sequential consistency.
- Contributes to event-driven multi-threaded program analysis.
Contact:
- Email: magnus.lang@it.uu.se
- Postal Address: Box 337, 751 05 Uppsala
۰مقاله منتشرشده
