About
I am a third-year Ph.D. candidate in Computer Science at the University of Southern California (USC), where I am advised by Prof. Chao Wang. My research focuses on verification and analysis of critical software components to evaluate complex hyperproperties, such as reliability, security, and fairness. I’m broadly interested in applying formal methods and software engineering techniques to systems from traditional program codes to emerging machine learning (ML) and artificial intelligence (AI) models. To do this, I leverage techniques such as abstract interpretation, SMT solving, symbolic analysis, and constraint logic programming.
Prior to joining USC, I received my B.S. in Computer Science from New York University Abu Dhabi (NYUAD), where I worked on browser security under Prof. Christina Pöpper.
You can find a comprehensive overview of my experiences in my CV.
Recent News
- January 2025: Our work on LLMs for mental health diagnosis has been accepted to GenAI4Health, a AAAI 2025 workshop. See you in Philadelphia, USA!
- December 2024: I have passed my qualifying exam!
- July 2024: Our work on neural network verification of individual fairness has been accepted to ICSE 2025. See you in Ottawa, Canada!
- May 2024: I will be attending the Verification Mentoring Workshop (VMW) at CAV 2024 in July. See you in Montreal, Canada!
- April 2024: I will be attending the Programming Languages Mentoring Workshop (PLMW) at PLDI 2024 in June. See you (back) in Copenhagen, Denmark!
- April 2024: I will be attending the 13th Summer School on Formal Techniques (SSFT) in May. See you in San Francisco, California!
- September 2023: Our work on mobile browser extension fingerprinting has been accepted to WPES, a CCS 2023 workshop. See you in Copenhagen, Denmark!
Publications
- FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks [To Come]
Brian Hyeongseok Kim, Jingbo Wang, and Chao Wang. International Conference on Software Engineering (ICSE), Ottawa, Canada, 2025. - Large Language Models for Interpretable Mental Health Diagnosis [To Come]
Brian Hyeongseok Kim and Chao Wang. Workshop on Large Language Models and Generative AI for Health at AAAI, Philadelphia, USA, 2025. - Extending Browser Extension Fingerprinting to Mobile Devices [pdf] [code] [slides]
Brian Hyeongseok Kim, Shujaat Mirza, and Christina Pöpper. Workshop on Privacy in the Electronic Society at CCS, Copenhagen, Denmark, 2023.
Personal
- I am actively running a book review / reflection blog. Let me know if you have any book recommendations.
- I am a member of the Heart of Los Angeles Eisner Intergenerational Orchestra, where I play the clarinet. Please join us if you are a music enthusiast based in LA!
- I have lived in 6 different countries and have documented my past experiences here and there.
- I am learning Spanish and Tagalog. Please help me practice!