Chennai Mathematical Institute

Alumni Profile



[Section Menu]
Prakash Chandrasekaran
Research Scholar
prakash dot pc at gmail dot com

Current Status

  • Research Fellow, Rolls-Royce @ NTU Corporate Lab

Qualifications

  • PhD. Computer Science, Chennai Mathematical Institute (2003).
  • M.Sc. Computer Science, Chennai Mathematical Institute (2003).
  • B.Sc. (Hons) Mathematics, Chennai Mathematical Institute (2001).

Positions Held
Previously

  • Associate Scientist, ABB Corporate Research.
  • Post-Doc, CEA (Saclay)

Areas of
Interest

  • Model Based Design / Specification
  • Verifying Concurrent (Timed) Systems
  • Synthesis from (Partial) Specification

Selected
Publications

  • Prakash Chandrasekaran, Madhavan Mukund
    Matching scenarios with timing constraints
    Proc. FORMATS 2006, Springer LNCS 4202 (2003), 98-112
  • Prakash Chandrasekaran, Christopher L. Conway, Joseph Joy, Sriram Rajamani
    Programming Asynchronous Layers with CLARITY
    Proc. ESEC/FSE 2007, ACM Digital Library Proceedings, 978-1-59593-811-4/07/0009, 65-74
  • Prakash Chandrasekaran, Madhavan Mukund
    Adding Time to Scenarios
    Proc. GM R&D Workshop 2007, Springer, 83-97
  • Prakash Chandrasekaran, Christopher L. Conway, Joseph Joy, Sriram Rajamani
    Verifiable Design of Asynchronous Software
    Proc. GM R&D Workshop 2007, Springer




Google
Search WWW Search cmi.ac.in