People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Speaker : Mr. Akash Lal Title : Directed Proof Generation for Machine Code Date : Thursday, May 13, 2010
Akash Lal (MSR, Bangalore) Kamal Lodaya (IMSc, Chennai) Madhavan Mukund (CMI) K Narayan Kumar (CMI) Lakshmi Manasa (IIT Bombay) Antoine Meyer (Marne-la Vallee)
Effective Chemistry for Synchrony and Asynchrony Deepak Garg, Akash Lal and Sanjiva Prasad. IFIP WCC-TCS 2004, August 2004, Toulouse, France.
Akash Lal and Deepak Garg Calculi for Distributed and Mobile Computing 2003. Preetkamal Singh Verification using Term Rewriting 2002. Vikas Rana and Rajneesh Kumar Singh Mobility ...
“Perhaps it is the realization that he is a first cousin of yesteryears commentator Akash Lal”, said noted sports psychologist Pavan Kachibhatla.
Speaker : Mr. Akash Lal Title : Directed Proof Generation for Machine Code Date : Thursday, May 13, 2010
Akash Lal (MSR, Bangalore) Kamal Lodaya (IMSc, Chennai) Madhavan Mukund (CMI) K Narayan Kumar (CMI) Lakshmi Manasa (IIT Bombay) Antoine Meyer (Marne-la Vallee)
Effective Chemistry for Synchrony and Asynchrony Deepak Garg, Akash Lal and Sanjiva Prasad. IFIP WCC-TCS 2004, August 2004, Toulouse, France.
Linkedin