Hi, I am a 5th year PhD student studying Computer Science at the University of Pennsylvania, where I am fortunate
to be advised by Aaron Roth and Osbert Bastani. Broadly, my research interests span theoretical computer science
and machine learning. Some specific areas I have been working in include uncertainty quantification, algorithmic
game theory, and methods for correctness and fairness in systems with ML components.
Prior to Penn, I graduated with high distinction from Harvey Mudd College in 2021 with a B.S. in Mathematics and
Computer Science, and with departmental honors in Mathematics.
Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction [Manuscript]
Ramya Ramalingam, Sangdon Park, Osbert Bastani
Active Learning for Neurosymbolic Program Synthesis
Celeste Barnaby, Jocelyn Qiaochu Chen, Ramya Ramalingam, Osbert Bastani, Isil Dillig
OOPSLA 2025.
The Relationship Between No-Regret Learning and Online Conformal Prediction
Ramya Ramalingam, Shayan Kiyani, Aaron Roth
ICML 2025.
High-Dimensional Prediction for Sequential Decision Making
Georgy Noarov, Ramya Ramalingam, Aaron Roth, Stephan Xie
ICML 2025 [oral presentation].
Batch Multivalid Conformal Prediction
Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth
ICLR 2023.
Practical Adversarial Multivalid Conformal Prediction
Osbert Bastani, Varun Gupta, Christopher Jung, Georgy Noarov, Ramya Ramalingam, Aaron Roth
NeurIPS 2022 [oral presentation].
Bounding Generalization Error through Bias and Capacity
Ramya Ramalingam, Nico Espinosa Dice, Megan Kaye, George Moñtanez
IJCNN 2022.
Optimized Coverage Planning for UV Surface Disinfection
João Marcos Correia Marques, Ramya Ramalingam, Zherong Pan, Kris Hauser
ICRA 2021.
Reconciliation Reconsidered: In Search of a Most Representative Reconciliation in the Duplication-Transfer-Loss Model
Melissa Grueter, Kalani Duran, Ramya Ramalingam, Ran Libeskind-Hadas
IEEE/ACM Transactions on Computational Biology and Bioinformatics, September 2019; Special issue for the 17th Asia Pacific Bioinformatics Conference, 2019.
Teaching Assistant, Algorithmic Game Theory (NETS 4120) : Spring 2025
Teaching Assistant, Applied Machine Learning (CIS 519) : Fall 2022
Teaching Assistant, Artificial Intelligence (CSCI 151): Fall 2020
Teaching Assistant, Computability and Logic (CSCI 081): Spring 2019
Tutor, Discrete Mathematics (MATH055): Spring 2019
Academic Excellence: Nominated and selected to lead peer academic support for core mathematics courses. Facilitated collaborative learning sessions focused on conceptual understanding and problem-solving strategies beyond routine coursework:
Single and Multivariable Calculus (MATH019)
Discrete Mathematics (MATH055)
Linear Algebra (MATH073)
Differential Equations (MATH082)
Research Intern, University of Illinois at Urbana-Champaign (2020)
Software Engineering Intern, Google API Client Tools Team (2019)
Research Intern, Harvey Mudd (2018)