Skip to content

@prosyslab Programming Systems Laboratory @ KAIST

Users following prosyslab

@yeongwonshin
ywshin yeongwonshin
@venkyqz
Venky Qi Zhang venkyqz
PhD Student in HKUST
@vilotgit
Sujin Han vilotgit
@lucic71
Lucian Popescu lucic71

Polytechnic University of Bucharest (UPB)

@i-naeem
Naeem i-naeem
Software Engineer

Pakistan

@hui0518
Seokhui Han hui0518

School of Computing, KAIST Mapo, Seoul

@hjy0221
Ha Jae-Yoon hjy0221
@ehgus
Lee, Dohyeon ehgus
A Ph D. student interested in data science, computational physics, and imaging

Deajeon, Republic of Korea

@jessyfal04
JESSY FALLAVIER jessyfal04
Hey

France

@ohnahee
ohnahee ohnahee
#InfoSec
@mindol
Minsol Park mindol

Samsung Electronics Daejeon, Republic of Korea

@mrragava
mrragava
@bongjunj
Bongjun Jang bongjunj
I type and verify.

Daejeon, Republic of Korea

@seo-rii
Seohyun Lee seo-rii
Undergraduate, School of Computing, KAIST

KAIST Seoul, Korea

@pcw109550
Changwan Park pcw109550
@YoungseokCh
Youngseok Choi YoungseokCh
Software developer or researcher or whatever. Interested in program analysis, testing and verification.

Republic of Korea

@dnsmaitreya
dnsmaitreya
@science-enthusiast
Hariprasad Kannan science-enthusiast
Software engineer with skill in scientific computing and systems programming.
@spearo2
Zack Lee spearo2
Researching on Static Analysis Engine at Suresoft Tech, South Korea
@jw3215
Jongwoo Shin jw3215
@KihongHeo
Kihong Heo KihongHeo
Professor @ KAIST CS

KAIST

@ufwt
ufwt
@onezibo
Zach onezibo

UESTC -> UCAS Beijing

@oojahooo
Jaeho Kim oojahooo
Scientist

ENERZAi Seoul, Republic of Korea

@yeonhee-ryou
yeonhee-ryou

@prosyslab