Sunghwan Shim (심성환)

I am a Master Student at Concurrency and Parallelism Laboratory. I am interested in verifying concurrent and parallel systems.

Contact

• Email: sunghwan.shim@kaist.ac.kr
• GitHub: gabriel4256
• Bibliography: DBLP, Google Scholar
• Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)

Education

• (2021) B.S. in Computer Science & Engineering. Hanyang university.

Experiences

• Backend developer, Team Dotout, March, 2017 - April, 2018

  (topic: live streaming service with enhanced user-streamer interaction)