Programming Systems Laboratory @ KAIST
Youngseok Choi
3-24
Master student in computer science, interested in program analysis, testing and verification.
KAIST SoC, @swtv-kaist Republic of Korea
Hari
science-enthusiast
Software engineer with specialization in parallel & distributed systems and scientific computing.
Paris
Zack Lee
spearo2
Researching at Programming System Lab (Prosys), Korea Advanced Institute of Science & Technology (KAIST)
