About
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
0Publications listed
Find Magnus Lång elsewhere
Related Searches
You Might Also Like
Sarbojit DasUppsala University · Researcher
Magnus ÖdmanUppsala University · Lecturer- RRamiz GindullinUppsala University · Researcher
- KKonstantinos SagonasUppsala University · Senior Lecturer
- BBengt JonssonSchloss Dagstuhl - Leibniz Center for Informatics · Researcher
Mohamed Faouzi AtigUppsala University · Professor