Home | Eunsuk Kang
Description: Researcher at Institute for Software Research
I am a Postdoctoral Researcher at Institute for Software Research (ISR), Carnegie Mellon University . I am working with Dr. Eunsuk Kang on the fairness and safety of high-assurance AI based software systems. Prior to that, I completed my Ph.D. in Computer Science from Iowa State University (ISU) under the supervision of Dr. Hridesh Rajan . For my dissertation, I worked on verifying and reasoning algorithmic fairness in machine learning pipeline.
My research interests are in the intersection of Software Engineering (SE), Programming Languages (PL), and Artificial Intelligence (AI). Broadly, I am focusing on SE for AI , and engineering AI based software systems for fairness, safety, and robustness. Especially, my works on fairness verification ( ICSE'23 ), causal reasoning ( FSE'22 ), root cause study ( FSE'21 ) and compositional analysis ( ICSE'23 ), have established fairness as a critical non-functional property of AI based software. Some of my rec
My research continues to combine the formal analysis and design of dependable software, and its application in the real-world. Prior to joining CMU, I worked in the NSF TRIPODS Institute D4 (Dependable Data-Driven Discovery) at ISU during my Ph.D. Furthermore, I worked on the Boa compiler and DSL for conducting large scale mining and program analysis. Especially, I built Python language support for Boa to analyze ML programs and Jupyter Notebooks.
Home | Eunsuk Kang