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



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

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

Email: pandya[AT]    OR 

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.


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


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


Journal Editorial Board Membership

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

Graduate Courses

     (Lecture Notes)



Beyond Office

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


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

Last modified by Paritosh Pandya on 08 May, 2017.