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