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
(Please note a change in location and email address, do not work anymore)

 I obtained my PhD under the guidance of Prof. dr. Marielle Stoelinga and  Prof. dr. Arend Rensink at University of Twente, Netherlands in 2019. The title of my dissertation was “Truth or Dare: Quantitative security risk analysis via attack trees”. My PhD dissertation is available here. My PhD viva voice examination can be viewed at Vimeo from here.  I obtained my master in communication networks from Scuola Superiore Sant Anna, Pisa, Italy and Bachelor in electrical engineering from College of Technology and Engineering, Udaipur. I have more than 5 years of experience working in diverse settings, ranging from Fortune 500 companies (Schneider electric as Engineer-product application, Telecom Italia- Intern, Tata motors- Intern), Government companies (New India Assurance Company Limited - Administrative officer) to educational institutions (Sir Padampat Singhania University founded by J.K group). Prior to joining BITS in 2019 at Pilani campus, I was a software engineer in industrial cybersecurity divison at Croon wolter and Dros, Apeldoorn, Netherlands.  

I am a recipient of multiple scholarships (worth more than 2 crores) including prestigious Erasmus Mundus doctorate fellowship and Erasmus Mundus Master fellowship. Additionally, my master was funded by Indo-Italian chamber of commerce ( In past I have also received travel grants from DAAD, European space agency,  NATO (Germany) and FBK, Trento. My PhD was funded by European Union FP7 Trespass project. I am a winner of several accolades, prizes and distinctions from multiple government, universities and state-sponsored  agencies.