Ashutosh Trivedi Assistant Professor Department of Computer Science and Engineering Indian Institute of Technology Bombay Office :   SIA 108, 1st floor, 'A' Block, KReSIT building Address :   Department of Computer Science and Engineering,                     IIT Bombay, Powai, Mumbai 400 076, Maharashtra, INDIA. Phone:   +91-22-2576-7915 Twitter: astrivedi Skype : astrivedi URL : http://ashutoshtrivedi.com Email: trivedi @ cse iitb ac in

News

• I am currently on leave from IIT Bombay and visiting University of Colorado Boulder. My webpage at CU Boulder can be found here
• I am affiliated to Free and Open Source Software for Education (FOSSEE).
• I am affiliated to the Centre for Formal Design and Verification of Software (CFDVS) at IIT Bombay.
• I am part of an Indo-French project on the Algorithmic Verification of Real-Time Systems (AVeRTS).

Research Interests

• Formal Methods in Design, Analysis, and Verification of Systems
• Hybrid and Timed Automata
• Cyber-Physical Systems
• Automata, Logic, and Games

List of publications: DBLP and Google Scholar

Teaching

• CS 226 (Digital Logic Design) : Spring 2014
• CS 254 (Digital Logic Design Lab) : Spring 2014
• CS 208 (Automata Theory and Logic) : Spring 2014 , Spring 2013 , and Summer 2011 .
• CS 620 (New Trends in Information Technology) : Autumn 2013

Professional Service

• PC Membership:
  • FSTTCS 2014
  • HSCC 2015, HSCC 2014
  • FORMATS 2015, FORMATS 2014, FORMATS 2013
• Organizing Chair:
  • ICLA 2015
  • ALC 2015