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)

The time period of Autumn(August to December) Semester coincides with Kharip season for crops, and for Spring it is Rabi in Farmer's language.

Teaching in current semester (Autumn 2019)

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

    Courses taught from August 2017 to Summer 2019

    CORE courses (for BTech)

  • Automata Theory (CS 202)-- 6 credit CORE course--Summer 2019.

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

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

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

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

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

    Grad level courses/Electives

  • Formal Models for concurrent and asynchronous systems (Grad Course)-- 6 credit course--Spring 2019

  • Special topics in automata and logics (Grad Course)-- 6 credit course-- Spring 2019

  • Logic and its applications (Grad Course)---- 6 credits--Autumn 2018.

  • Engineering Mathematics for Advanced studies (Grad Course)-- 1 credit --6 hours- Spring 2018.

  • Engineering Mathematics for Advanced studies (Grad Course)-- 1 credit--6 hours-Autumn 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: September 05 11:51:02 IST 2019