Researcher
India
- 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
- SRD Fomra Vivekananda Vidyalaya, Chromepet
- Connections
-
48
connections
- Industry
- Research
- Websites
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
-
SRD Fomra Vivekananda Vidyalaya, Chromepet
Additional Information
Prakash Chandrasekaran’s Websites:
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
