Prof. Shriram Krishnamurthi — Research Profile
Brown University · Computer Science
Graduate application deadlines
Computer Science
Computer Science, PhD
Fall 2027Application deadline
Dec 15, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs. Jot a one-line note under each paper below — Application prep gathers your notes into an outline for your email to the PI and your statement of purpose. You do the writing; no AI.
What to prepare before emailing a PIAbout
Prof. Shriram Krishnamurthi at Brown University Computer Science lists Programming Languages, Computing Education, Networking, Security and Cryptography, Software Engineering, Formal Methods, Human-Computer Interaction as their registered research area.
Research keywords
Recent papers
- Teaching Novice Computing and Programming in the Agentic AI EraCommunications of the ACM · Oct 19
- A Design Space Exploration of Async/AwaitProceedings of the ACM on Programming Languages · Oct 1
- Diagramming Program Values by Spatial RefinementProceedings of the ACM on Programming Languages · Jun 8
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Logic, programming, and type systems
Cyrus Omar Lab
University of Michigan · Computer Science and Engineering (Division of the Department of Electrical Engineering and Computer Science)
Bidirectional Type SlicingPreprintarXiv (Cornell University) · Jul 13Zachary Tatlock Lab
University of Washington · Paul G. Allen School of Computer Science & Engineering
Efficient Extraction for Effectful E-graphsProceedings of the ACM on Programming Languages · Oct 1Clark Barrett Lab
Stanford University · Computer Science
CSLib: Building a Platform for AI-assisted Formal Verification in LeanOAPEN (The OAPEN Foundation) · Sep 1
Other labs in this department
- Adriana Schulz Lab
- Akshay Narayan Lab
Networking, Computer Systems
- Amy Greenwald Lab
Artificial Intelligence, Multi-Agent Systems, Reinforcement Learning, Algorithmic Game Theory
- Andries van Dam Lab
Graphics and Visualization
- Anna A Lysyanskaya Lab
Security and Cryptography
- Chen Sun Lab
Computer Vision, Artificial Intelligence, Machine Learning, Deep Learning