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)