Teaching

Currently, I am handling courses for B.Tech Computer Science and Engineering Students.

CST301: FORMAL LANGUAGES AND AUTOMATA THEORY

Term: July 2025- Dec 2025

Batch: B.Tech 5th Semester

This is a core course in theoretical computer science. It covers automata and grammar representations for languages in Chomsky Hierarchy. For regular languages, it also covers representations using regular expression and Myhill-Nerode Relation. The topics covered in this course have applications in various domains including compiler design, decidability and complexity theory, software testing, formal modelling and verification of hardware and software.

CSQ413: SEMINAR (Cordinator)

Term: July 2025- Dec 2025

Batch: B.Tech 7th Semester

‘Seminar’ is intended to enable a B.Tech graduate to read, understand, present and prepare report about an academic document. The learner shall search in the literature including peer reviewed journals, conference, books, project reports etc., and identify an appropriate paper/thesis/report in her/his area of interest, in consultation with her/his seminar guide. This course can help the learner to experience how a presentation can be made about a selected academic document and also empower her/him to prepare a technical report.

CSQ415: PROJECT PHASE I (Cordinator)

Term: July 2025- Dec 2025

Batch: B.Tech 7th Semester

‘Project Work’ is mainly intended to evoke the innovation and invention skills in a student. The course will provide an opportunity to synthesize and apply the knowledge and analytical skills learned, to be developed as a prototype or simulation.