Computer Sciences Dept.

Akash Lal

Picture of Akash
I've graduated with a PhD in Computer Science, advised by Tom Reps.

  • Ph.D. dissertation: Interprocedural analysis and the verification of concurrent programs. Tech. Report TR-1662, Computer Sciences Department, University of Wisconsin, Madison, WI, August 2009. [abstract; PDF]

    For this work, I was joint winner of the UW Computer Sciences Department's Outstanding Graduate Student Research Award for 2008-2009.

My new homepage is here.
A slightly old CV.

Computer Sciences | UW Home