Degree Registered For: MS by Research
Supervisor: Sujit Kumar Chakrabarti
Date of Joining: August 2025
Research Interest: Formal methods in verification of policy and regulatory compliance in Systems.
Pratheek is a full time MS by Research student at IIIT-B. He completed his Bachelors in CSE from BVB College of Engineering and Technology, Hubli in 2023.
He has approximately 1.5 years of professional experience, having worked as a Software Engineer at Bosch in Bangalore.
In his free time, Pratheek likes to go cycling, read novels and play badminton.
His Research Areas:
Publications: Conference: Presented a paper titled "An Efficient Ensemble Based Model for Data Classification" in the 7th International Conference for Convergence in Technology (I2CT) IEEE BOMBAY SECTION from April 7th to 9th, 2022.
Courses taken till now: Machine Learning, Software Testing, Program Analysis for Software Engineering, Introduction to Formal Verification