Priyam Gupta
Computer Science @ Purdue University
- Role
- Undergraduate Research Assistant at Purdue University Elmore Family School Of Electrical And Computer Engineering
- Location
- West Lafayette, IN, US
- LinkedIn followers
- 500 followers
About Priyam Gupta
Hey! I am interested in formal methods research and its potential to improve how developers write and reason about software. Currently, I work on gradual verification, a technique that seamlessly combines static (compile time) and dynamic (run time) verification techniques to enable incremental specification and verification of code. I studied computer science as an undergrad at Purdue University. I specialized in algorithmic foundations, and particularly enjoyed my programming languages and formal methods coursework.
Experience
Undergraduate Research Assistant
Purdue University Elmore Family School Of Electrical And Computer Engineering
May 2024 — Present · West Lafayette, IN, US
Project: Increasing the Expressiveness of a Gradual Verifier- Designing and implementing an extension to the Gradual C0 program verification tool to incorporate static verifier Viper’s unfolding expressions and pure functions in Gradual C0’s specification language- Enhancing developers’ capability to incrementally specify and verify recursive heap data structures
Education
Purdue University
Bachelor of Science - BS, Computer Science
ETH Zürich
Master of Science - MS, Computer Science
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.