Sree Vyshnavi
PhD student
I am a first year PhD student in the Department of Computer Science and Engineering at IIT Hyderabad working under the guidance of Dr. Ashish Mishra. I am currently working at the intersection of Databases and Program Synthesis.
I am currently exploring fuzzing techniques for testing concurrent programs.
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. 2025 - Present
-
Teaching AssistantSoftware Development FundamentalsJan. 2025 - May 2025
-
Teaching AssistantIntroduction to ProgrammingJul. 2024 - Nov. 2024
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