Seewon Choi

Hi, I'm a third year PhD student in Computer and Information Science at the University of Pennsylvania, advised by Rajeev Alur.

My research aims to develop trustworthy AI models for real-world deployment, particularly in the healthcare domain. I work on neurosymbolic approaches that combine the strengths of neural networks and symbolic reasoning to improve robustness and interpretability. Currently, I am applying these methods to the early diagnosis of critical conditions, grounding them in clinical knowledge.

Previously, I received my Bachelor's degree from the University of Cambridge, where I worked on rep2rep with Mateja Jamnik.