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!

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 — 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!