News

02/2026 — Serving as Publicity Chair for HARMONY 2026

I am serving as Publicity Chair for HARMONY 2026, an IEEE/ACM CHASE 2026 workshop around AI and mental health. Our CFP is open, so we welcome all submissions, from both computing and non-computing experts!

02/2026 — Selected to Give Talk at SoCalPLS 2026

I have been selected to give a talk about my work on LLMs for mental health diagnosis at SoCalPLS 2026, hosted right here at USC in Los Angeles, CA! An important topic to me, which I’m excited to share with the PL community!

12/2025 — Guest Lecture at CSU Long Beach

I had the pleasure of giving my first guest lecture at CSU Long Beach for Dr. Xin Qin’s course! I talked about the field of machine learning verification and presented my work on fairness verification. I hope the students found it interesting :)

11/2025 — Paper Accepted to NLDL 2026

Our work on counterfactual dataset generation to falsify individual fairness on neural networks has been accepted to NLDL 2026. See you in Tromsø, Norway!

10/2025 — Invited to the 1st Meta PhD Forum

I was invited to join other PhD students and present my research at Meta’s Menlo Park HQ for the inaugural Meta PhD Forum!

10/2025 — AWS Internship Projects Honored

My projects during my internship at AWS have been honored with: Code Analysis for AI Agent Tools accepted to the Trustworthy Agentic AI Workshop @ AMLC 2025, and Automated AI Guardrail Creation and Correction published in the AWS Samples GitHub repository!

08/2025 — Paper Accepted to LMPL Workshop

Our work on analyzing LLM failures in abstract interpretation reasoning has been accepted to LMPL, a SPLASH 2025 workshop!

05/2025 — Summer Internship at AWS

I am working as an Applied Scientist Intern with the AWS Provable Security & Automation team for the summer in New York, NY! I will be working closely with Dr. Weizhao Jin, Dr. Subarno Banerjee, and Dr. Miryung Kim.

04/2025 — Best Reviewer Award at AISTATS 2025

I was awarded a Best Reviewer Award for AISTATS 2025!

01/2025 — Paper Accepted to GenAI4Health Workshop

Our work on LLMs for mental health diagnosis has been accepted to GenAI4Health, a AAAI 2025 workshop. See you in Philadelphia, PA!

12/2024 — Qualifying Exam Passed

I have passed my qualifying exam! Officially a Ph.D. candidate now :)

07/2024 — Paper Accepted to ICSE 2025

Our work on neural network verification of individual fairness has been accepted to ICSE 2025. See you in Ottawa, Canada!

05/2024 — Attending Verification Mentoring Workshop

I am honored to have received scholarship to attend the Verification Mentoring Workshop (VMW) at CAV 2024 in July. See you in Montreal, Canada!

04/2024 — Attending PLDI Mentoring Workshop

I am honored to have received scholarship to attend the Programming Languages Mentoring Workshop (PLMW) at PLDI 2024 in June. See you (back) in Copenhagen, Denmark!

04/2024 — Attending Summer School on Formal Techniques

I am honored to have received scholarship to attend the 13th Summer School on Formal Techniques (SSFT) in May. See you in Atherton, CA!

09/2023 — Paper Accepted to WPES Workshop

Our work on mobile browser extension fingerprinting has been accepted to WPES, a CCS 2023 workshop. See you in Copenhagen, Denmark!