Yusik Kim

I am interested in synthesizing programs/algorithms, and formal methods for verifying their correctness. Within program synthesis, I am particularly interested in learning abstractions and composing these learnt abstractions to systematically construct complex programs from simpler ones. I eventually want to study whether applying these concepts to quantum systems and circuits could be feasible.

In the past, I was involved in storage systems research and briefly left research to pursue a software engineering career.

I have a B.S. in mathematics and statistics from Seoul National University and a Ph.D. in operations research from UC Berkeley.