Just started my internship a couple of weeks ago. More details yet to come...
For CS 4400: Introduction to Database Systems. Responsible for creating the projects to motivate the students to apply the theoretical concepts into practical implementations, grading them, and actively clarifying their doubts regarding design and implementation of relational databases
Designed and implemented novel techniques to automatically verify the correctness of any large input program. Team’s achievement praised across the globe and earned a gold medal in an international competition (SV-COMP 2019)
1) Designed a Learning and Development Portal to acquaint the employees with various tools and technologies used in the organization 2) Developed an appealing visualization that renders information regarding huge public events (in the form of charts and custom visuals) held at the client organization