I am currently a master's student in David Chertion School of Computer Science at University of Waterloo, Canada. I am a part of the Real-time Embedded Systems group and WatForm group. I am being co-supervised by Dr. Bonakdarpour and Dr. Fischmeister. I hold a Bachelor of Computer Engineering degree from University of Pune, India. Further, I have over four years of product development experience mainly in the domain of finance. I have been trained on different technologies by HP(Hewlett Packard), and I have hands-on experience on different programing languages and tools. My research interests are Embedded Systems, Formal Methods and Software Engineering.