I am a postdoc at Yale University, in the labs of Mark B. Gerstein and Michael J. Stern. My research intersects Computer Science and the natural sciences. I'm particularly interested in employing type theory to develop novel software and languages for biology. My Ph.D. research resulted in a new language for expressing mathematical programs.
http://homes.gersteinlab.org/people/ashish| [Feb 2007] | Posted my publications. More coming soon. |
| [Jun 2006] | Began my postdoctoral fellowship at Yale! |
| [May 2006] | Completed my Ph.D. from Carnegie Mellon University. Thank you to my advisors Robert Harper and Ignacio E. Grossmann. |