Sunghwan Shim (심성환)

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

Contact

Education

Experiences