Share this page
Share this page E-mail this page Print this page RSS feeds
Home > People > Akash Lal
Akash Lal

RESEARCHER
.

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.

 

Contact

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

Email: akashl AT microsoft.com

Phone: +91 (80) 66586000

Fax: +91 (80) 23614657