Prof. Sorin Lerner — Research Profile
Cornell University · Department of Computer Science
Graduate application deadlines
Department of Computer Science
Ph.D. in Computer Science
Fall 2027Application deadline
Dec 15, 2026
No year on the page — check the original to confirm these dates are for this cycle.
Source: cs.cornell.eduChecked Nov 2, 2026M.S. in Computer Science
Fall 2027Application deadline
Jan 18, 2027
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. Sorin Lerner at Cornell University Department of Computer Science lists Artificial Intelligence (AI), Machine Learning as their registered research area.
Research keywords
Recent papers
- Plottery: A Code-Integrated GUI for MatplotlibPreprintOSF Preprints (OSF Preprints) · Jul 26
- Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Backbone DetectionPreprintarXiv (Cornell University) · Jun 7
- Decision-Oriented Programming with AporiaPreprintarXiv (Cornell University) · Apr 6
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
Ion Stoica Lab
University of California, Berkeley · Electrical Engineering and Computer Sciences
Reality Is the Final Verifier: On Two Key Gaps in Agentic Software EngineeringPreprintarXiv (Cornell University) · Sep 10Shared topic: Software Engineering Techniques and Practices
Clark Barrett Lab
Stanford University · Computer Science
Closing the Loop: Branch-and-Bound for Scalable Verification of Nonlinear Neural Feedback SystemsPreprintarXiv (Cornell University) · Sep 14Shared topic: Formal Methods in Verification
Text Information Management and Analysis Research (TIMAN) Lab
University of Illinois Urbana-Champaign · Computer Science
Skip the Compressor: Coding Agents Fix More Issues When They Pick Whole FilesPreprintarXiv (Cornell University) · Oct 15Shared topic: Software Engineering Research
Other labs in this department
- Abe Davis Lab
Graphics, Human Interaction, Vision
- Adrian Sampson Lab
Architecture, Programming Languages
- Alexandra Silva Lab
Programming Languages, Security, Software Engineering, Theory of Computing
- Alex Conway Lab
Systems + Networking, Theory of Computing
- Andrew Myers Lab
Programming Languages, Security, Systems + Networking
- Andrew Owens Lab
Artificial Intelligence (AI), Graphics, Vision