Lambda the Ultimate

Work:

Applied Research Group, Satyam, Bangalore.

Education:

PhD and MS (Electrical Engg.) University of Southern California, 2005
MS (Computer Engg.) Indian Institute of Science, Bangalore, 1993.
BE (Computer Engg.) Bombay University, Bombay, 1989.

Efficient computation using lambda calculus and related formalisms, and also using field programmable gate arrays (FPGAs).