Ramchandra Phawade

Assistant Professor

Contact
In view of the COVID-19 epidemic in India, currently working with Indian Scientists' Response to Covid-19.

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 Kharif season for crops, and for Spring it is Rabi in Farmer's language.

Teaching in current semester (Autumn/Kharif 2020)

  • Logic for Computer Science --6 credit course for undergrads.

    Courses taught from August 2017 to August 2020

    CORE courses (for BTech)

  • Design and Analysis of Algorithms (CS 205)--6 credit CORE course.

  • Software Systems Lab (CS 213)--8 credit CORE course--Autumn/Kharif 2019.

  • 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
    Last modified: August 6, 17:20:02 IST 2020