Ramchandra Phawade

Assistant Professor

Contact

Research interests :


Academic Background

In 2017 Completed two years of Postdoc at IIT Bombay
In 2015 Obtained PhD in Theoretical Computer Science from The Institute of Mathematical Sciences (IMSc), Chennai
In 2007 Obtained MSc in Computer Science from Chennai Mathematical Institute (CMI), Chennai
In 2002 Obtained BTech in Computer Science and Engineering from National Institute of Technology (NIT), Calicut


Publications:

Journal Publications:
Conference Publications:
Pre-prints: (available on request)

Teaching in current semester (Spring 2019)

  • Design and Analysis of Algorithms (CS 218)-- 6 credit course

  • Formal Models for concurrent and asynchronous systems -- 6 credit course

  • Special topics in automata and logics-- 6 credit course

    Courses taught from August 2017 to December 2018

  • Software Systems Lab (CS 213)--8 credit course -- Autumn 2018.

  • Logic and its applications (CS 701) -- 6 credits--Autumn 2018.

  • Engineering Mathematics for Advanced studies -- 1 credit--Autumn 2018.

  • Software Systems Lab (CS 251)--8 credit course -- (at IIT Goa) -- 44 hours -- Autumn 2017.

  • Design and Analysis of Algorithms (CS 218)-- 6 credit course -- 43 hours -- Spring 2018.

  • Engineering Mathematics for Advanced studies -- 1 credit -- 6 hours -- Spring 2018.

  • Computer Programming and Utilization (CS 101) --2.75 credits -- 12 hours -- Summer 2018

    Applications of Petri nets:

    Some areas they used in are: communication protocols and networks, software, workflow and business processes,
    hardware, control systems and military systems. Few pointers are given below.
    Success stories on Petri nets world, Industrial applications of Colored Petri nets, A paper by Van Der Aalst.

    General Links
    Last modified: Wed January 02 17:10:52 IST 2019