Picture of Priya Srikumar

Priya Srikumar

Undergraduate
Department of Computer Science, Cornell University
Email: ps735 [at] cornell.edu

cv | github | twitter

I am a senior at Cornell University, studying Computer Science. Currently, I'm working with Nate Foster and Eric Campbell on heterogeneous network formalisms to efficiently and correctly synthesize control plane operations for differing data planes.

Programming languages as a field fascinates me. I'm especially drawn broadly to the problems of compiler verification (in its many flavors), expanding the expressiveness of proof assistants, and improving program synthesis (through examples, relational logics, or solver-aided PLs) for more effective application in specific domains.

This fall, I'll be applying to PhD programs with the aim of exploring PL further.

TEACHING

Fall 2020 TA Programming Languages and Logics at Cornell University
Spring 2019 TA Discrete Structures at Cornell University
Fall 2018 TA Discrete Structures at Cornell University

ACTIVITIES

talks:

2020 The Next 700 Compiler Correctness Theorems (Functional Pearl) by Daniel Patterson and Amal Ahmed (Cornell Summer PLDG) [slides]