About

Onkar Deshpande is a Bachelor of Technology student majoring in Computer Science at the prestigious Indian Institute of Technology Bombay. He is currently pursuing honours in his field of study and has a keen interest in Algorithms, Formal Verification, and building Software systems with real-world applications. Onkar has gained valuable experience working as an Engineer Intern at Rubrik, where he has been able to apply his theoretical knowledge to practical applications and develop his skills further. He has also previously worked as a Research Assistant at the Technical University of Braunschweig, where he created a tool for Liveness Verification of Concrete Broadcast Networks. This tool is based on Kleene fixed point iteration and works in polynomial time. Onkar also solved and implemented a tool for the symbolic case, demonstrating his problem-solving skills and ability to develop practical solutions. Onkar's education history includes his Bachelor of Technology degree from the Indian Institute of Technology Bombay, where he is set to graduate in December 2021. He also holds a High School Diploma from Tender Care Home School, and he attended Deogiri College Aurangabad before joining IIT Bombay. Onkar's Tech Stack includes his experience as a Research Scientist, demonstrating his proficiency in research and development. He has relevant experience of 2.86 years, indicating his commitment to his field of study and his passion for developing his skills further. Overall, Onkar Deshpande is a highly motivated and skilled individual with a passion for Computer Science and a drive to develop practical solutions to real-world problems. His theoretical knowledge and practical experience make him a valuable asset to any team, and he is sure to excel in his future endeavors.