Sarbojit Das

Sarbojit Das is a Researcher at the Department of Information Technology; Division of Computer Systems, Uppsala University. His work focuses on improving verification techniques for concurrent systems, particularly in stateless model checking and dynamic partial order reduction.

• Email: sarbojit.das@it.uu.se
• Location: Uppsala, Sweden

Research Interests:
Prioritizing rigorous analysis of concurrent and multi-threaded systems, Sarbojit Das investigates methods to reduce computational complexity in software verification. His work bridges theoretical computer science with practical applications in formal methods and algorithm optimization.

Publication Trends:
Recent publications emphasize advancements in stateless model checking, dynamic partial order reduction, and event-driven architectures. Topics include thread scheduling, memory optimization, and scalable verification for distributed systems.