Paritosh K. Pandya : Home Page

(click here for the Formal Methods in India page.)  (click here for the mu M Indian Classical Music project)

Paritosh K. Pandya

  • Associate Professor, TIFR

  • Adjunct Assoc. Professor, IIT Mumbai

     

 Contact:

Theoretical Computer Science Group
Tata Institute of Fundamental Research Research
Homi Bhabha Road, Colaba 
Mumbai 400 005 
India 

phone:  (off) + 91  22 2278 2551  (Direct)  
        (home) + 91  22  2280 4926 
            (fax) + 91  22  2280 4610 or 2280 4611

Email: pandya[AT]tifr.res.in    OR 
            pandya[AT]tcs.tifr.res.in

My Curriculum Vitae   and List of Publications are accessible in postscript form and through DBLP Bibliography.
Bibliometric indices and citations to my papers as recorded by Google scholar.

Workshop

Advances in Theory and Analysis of Timed and Hybrid Systems (TIME09), TIFR, 11 February, 2009.

Research

Logics, Automata, Concurrency, Formal Methods, Embedded Systems and Software Engineering.

Tools

Journal Editorial Board Membership

Formal Aspects of Computing , The international Journal of Formal Methods, Springer

Graduate Courses


     (Lecture Notes)

Events

Collaborators

Beyond Office

The mu M Project: Measuring Hidustani Classical Music.
       (NEW A Tabla Synthesizer
           Synthesis of Aalaps  )

Links

Most cited in computer science from India
India TOP 100 most popular Web Sites Directory  :)


Last modified by Paritosh Pandya on 10 October, 2010.