My UW | UW Search

   
   

Computer Science Home Page

Biography

Contact
  Information

Activities and Courses

Teaching

Publications, Talks
  Software

C.S. Dept.
  Home Page

UW-Madison
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

Feedback or content questions: send email to "akash" at the cs.wisc.edu server
Technical or accessibility issues: lab@cs.wisc.edu
Copyright © 2002, 2003 The Board of Regents of the University of Wisconsin System.