Sunho Park (박선호)

Sunho Park

I am a Master’s Student at KAIST School of Computing. I am interested in developing and reasoning about safe algorithms, and I have been doing formal verification of concurrent objects with Iris framework on Coq proof assistant. I have particular interest in verification under realistic and complex situations, e.g. weak memory models.



  • (2024 - Current) M.S. in Computer Science. KAIST.

  • (2024) B.S. in Computer Science. KAIST.