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


Graduate Students working with me:


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.

Scheduled Teaching in semester (Autumn/Kharif 2023)

  • Logic and its applications ---- 6 credits--Autumn 2023-24.

    Courses taught from August 2017 to March 2023

    CORE courses (for BTech)

  • Computer Programming and Utilization (CS 101 -- 4 credits) Autumn 2022-23.

  • Automata Theory (CS 202)-- 8 credit CORE course-Spring 2022-23.

  • Automata Theory (CS 202)-- 8 credit CORE course-Spring 2021-22.

  • Automata Theory (CS 202)-- 8 credit CORE course-Summer 2021.

  • Automata Theory (CS 202)-- 8 credit CORE course-Spring 2020-21.

  • Logic for Computer Science --6 credit course for undergrads -- Autumn 2020-21.

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

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

  • Automata Theory (CS 202)-- 8 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

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

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

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

  • 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: April 20, 23:01:00 IST 2022