Feedback

Rajesh Kumar

Assistant Professor

Research Interests: Formal Verification, Cyber-Physical systems. Modelling complex infrastructures

Assistant Professor,
Department of Computer Science & Information Systems
Birla Institute of Technology & Science, K.K Birla Goa Campus
Goa, INDIA
(Please note a change in location and email address, rajesh.k@pilani.bits-pilani.ac.in do not work anymore)

Teachings

Teaching (Academic year 2022) at BITS Pilani, Goa campus:

  1.  Cyber-Physical Systems (Fall 2022) , Responsibility: Main Instructor
  2.  Introduction to logic (Fall 2022), Offered via Coursera platform
 

Teaching (Academic year 2019-2022) at BITS Pilani campus:

  1. Logic in Computer Science (Fall 2019, Fall 2020, Fall 2021) Responsibility: Main Instructor
  2. Theory of Computation (Fall 2019), Responsibility: Co-Instructor
  3.  Software Testing (Summer 2019, Fall 2020, Summer 2021, Fall 2021), Responsibility: Main Instructor
  4. Cyber Physical Systems (,Summer 2022)