I am a member of the Rigorous Software Engineering Group at Microsoft Research India. I am broadly interested in the areas of programming languages, verification and model checking with a focus on concurrent programs.

I graduated with a PhD from the Computer Sciences Department of University of Wisconsin-Madison, advised by Tom Reps. Here is my UW page.

Recent Publications

A complete list of publications can be found here.

• Symbolic Analysis via Semantic Reinterpretation. Junghee Lim, Akash Lal and Thomas Reps. November 2009. Submitted for journal publication.
• Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. Akash Lal and Thomas Reps. In Formal Methods in System Design (FMSD) 35, 1 (2009). 

Contact

Address: "Scientia", 196/36, 2nd Main, Sadashivnagar, Bangalore 560 080

Email: akashl AT microsoft.com

Phone: +91 (80) 66586000

Fax: +91 (80) 23614657