Yoonseung Kim

Hi! I'm Yoonseung Kim. I am a Postdoctoral Associate of the FLINT group in the Computer Science Department at Yale. I received my PhD from Software Foundations Lab at Seoul National University.

I'm particularly interested in verifying computer systems using the Coq interactive theorem prover. I have been verifying compilers, real-time distributed systems, and consensus protocols.

Contact me via yoonseung.kim at yale.edu



honors and awards

professional activities


program committees

research experience

teaching experience