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

    Professor, TIFR
    Adjunct 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.

Conferences

PC Co-Chair: FSTTCS 2018, Ahmedabad, 2018.
OC Chair: POPL 2015, TIFR, Mumbai, 2015.

PC Member: HSCC 2020, LATA2018, FSTTCS 2017, PEC 2016, TIME 2016, ICTAC 2016,
ICLA 2015, SETTA 2015, TASE 2015, RP 2014, SETTA 2014, TASE 2014, ICTAC 2014,
ICTAC 2013, ICDCN 2013, HSCC 2012, TIME 2011, FSTTCS 2010, TIME 2010, ICTAC 2010,
HSCC 2010

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 (1996-2010)

Graduate Courses


     (Lecture Notes)

Ph.D. Students



Collaborators

Beyond Office

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


Last modified by Paritosh Pandya on 08 May, 2017.