Prakash Chandrasekaran

Current

• Research Scholar at Chennai Mathematical Institute, Chennai

Past

• Visitor at University of Trento
• Intern at Microsoft Research India

Education

• Chennai Mathematical Institute
• Chennai Mathematical Institute

Connections

46 connections

Industry

Research

Websites

• My Website
• My Blog

Prakash Chandrasekaran’s Summary

My research interests are in design of formal models for concurrent
communicating systems, with asynchronous behavior. In particular, I'm
interested in formal models with rich visual notation for such
systems, targeting Model Driven Design and Development of such
systems. I'm also interested in high level programming models for
asynchronous systems.

Prakash Chandrasekaran’s Specialties:

Formal Models; Model Based Design, Dev. & Synthesis.

Prakash Chandrasekaran’s Experience

• Research Scholar

  Chennai Mathematical Institute, Chennai

  (Research industry)

  2003 — Present (6 years )

• Visitor

  University of Trento

  (Educational Institution; Research industry)

  April 2009 — May 2009 (2 months)

• Intern

  Microsoft Research India

  (Public Company; MSFT; Research industry)

  May 2006 — July 2006 (3 months)

Prakash Chandrasekaran’s Education

• Chennai Mathematical Institute

  M.Sc. , Computer Science , 2001 — 2003

• Chennai Mathematical Institute

  B.Sc. (Hons) , Mathematics and Computer Science , 1998 — 2001

Additional Information

Prakash Chandrasekaran’s Websites:

• My Website
• My Blog

Prakash Chandrasekaran’s Groups:

ACM

Prakash Chandrasekaran’s Contact Settings

Interested In:

• career opportunities
• consulting offers
• new ventures
• job inquiries
• expertise requests
• business deals
• reference requests
• getting back in touch