Skip to content

@prosyslab Programming Systems Laboratory @ KAIST

Users following prosyslab

@sulee04
Seunguk Lee sulee04
@avrong
avrong
@myunbin
Hyunbin Kim myunbin
M.S. Student @ KAIST CS

School of Computing, KAIST Daejeon, Korea

@antony-jeong
Jeong Seunghyeon antony-jeong
@kibalab
KIBA kibalab
Kim Jin Hyeok ANU, VRChat Technical Artist / Software Engineer

K13A_Labs, VRChat Seoul

@SemoonaNoor
Semoona Noor SemoonaNoor
💻 IT Undergrad | Data Science | C#,C++, Python & ML Enthusiast | Building Web, AI & Language Apps

Incubatee

@venkyqz
Qi Zhang venkyqz
@vilotgit
Sujin Han vilotgit
@lucic71
Lucian Popescu lucic71

INESC-ID, Instituto Superior Técnico Lisbon, Portugal

@i-naeem
Naeem i-naeem
Software Engineer Bachelor of Computer Science 2023

Pakistan

@hui0518
Seokhui Han hui0518

School of Computing, KAIST Mapo, Seoul

@ehgus
Lee, Dohyeon ehgus
A Ph D. student interested in data science, computational physics, and imaging

Deajeon, Republic of Korea

@jessyfal04
Yepssy 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 testing, program analysis, 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 Guangzhou

@oojahooo
Jaeho Kim oojahooo
Scientist

ENERZAi Seoul, Republic of Korea

@yeonhee-ryou
yeonhee-ryou

@prosyslab