Yongjin Han

The scale of investment in the AI industry is astronomical, yet interest in the security of AI models is significantly lacking in comparison.

My research is centered on formalizing the black box properties of artificial intelligence (AI) models to ensure its correct and sound behaviors. To achieve these goals, I am actively engaged in studying formal verification of neural networks and AI security.

I am also interested in programming language (formal verification, program synthesis, program repair, compiler optimization), deep learning verification, and cyber security for reliable and secure software.

I earned a Master’s degree in Computer Science at University of California, Davis advised by Prof. Ian Davidson. Under supervision of Prof. Davidson, I studied deep fair clustering and constraints programing building on my previous experience. I obtained my Bachelor’s degree in Computer Science and Engineering at Dongguk University. Prof. Yunsik Son opened my eyes to programming language, secure software and related research area.

In my free time, I usually cook or watch movies.