cv

PhD in Computer Science

Umeå universitet, Sweden

• Title: On The Role of Formal Methods For Safe ML

MSc in Data Science

University College London, United Kingdom

B.E. Computer Science

Rashtreeya Vidyalaya College of Engineering(RVCE), Bengaluru

Senior Research Engineer (Formal Methods × Generative AI)

Scania CV AB, Södertälje, Sweden

PhD Intern

Scania CV AB, Södertälje, Sweden

MSc Intern

Virgin Media, London, UK

Geospatial Data Scientist

Propinquity Labs, Bengaluru, India

Navigation Guidance Engineer

Sensus Labs, California, USA