Sree Vyshnavi
PhD student
I am a PhD student in the Department of Computer Science and Engineering at IIT Hyderabad working under the guidance of Dr. Ashish Mishra.
I have been working in verification and testing in the past couple of years. Currently, I am exploring Type Systems and how they can be useful to solve some interesting and important problems in the world of Property Based Testing.
My research interests include Programming Languages, Verification and Program Synthesis.
Warning
Problem: The current name of your GitHub Pages repository ("Solution: Please consider renaming the repository to "
http://".
However, if the current repository name is intended, you can ignore this message by removing "{% include widgets/debug_repo_name.html %}" in index.html.
Action required
Problem: The current root path of this site is "baseurl ("_config.yml.
Solution: Please set the
baseurl in _config.yml to "Education
-
Indian Institute of Technology, HyderabadDepartment of Computer Science
Ph.D. StudentJul. 2024 - Present -
Puducherry Technological UniversityB.Tech in Information Technology2020 - 2024
Experience
-
Teaching AssistantCompilers - IIJul. 2026 - Present
-
Teaching AssistantFormal Methods for Program VerificationJan. 2026 - May 2026
-
Teaching AssistantCompilers - IIJul. 2025 - Nov. 2025
-
Teaching AssistantSoftware Development FundamentalsJan. 2025 - May 2025
-
Teaching AssistantIntroduction to ProgrammingJul. 2024 - Nov. 2024
Honors & Awards
-
TCS Research Scholar FellowshipAug. 2026
News
2025
Attended IICT (Innovations in Compiler Technology) workshop 2025 at IISc Bangalore where I had the opportunity to interact with some of the leading researchers in the PL and Compilers community in India.
Sep 27
2024
Joined IIT Hyderabad as a PhD student
Jul 15