Hi, I am a 3rd 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.
Conformal Prediction for Neurosymbolic Programs [In Review]
Ramya Ramalingam, Sangdon Park, Osbert Bastani
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, 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
At Harvey Mudd, I was nominated for the position of, and subsequently worked for two years as, student facilitator for
the Academic Excellence mathematics program. The program's purpose is to provide not just a tutoring service for a
specific course, but also to help students work towards grasping fundamental material and useful problem-solving techniques
with benefits beyond solving problem sets. I helped with all classes in the math core:
Single and Multivariable Calculus (MATH019)
Discrete Mathematics (MATH055)
Linear Algebra (MATH073)
Differential Equations (MATH082)