Faculty
Graduate Students
Office: B2-204
Phone: +82-54-279-2916
Geunyeol Yu
Ph.D. Student
rgyen@postech.ac.kr
Jueun Yeon
Master Student
jeyeon@postech.ac.kr
Jaeseo Lee
PH.D. STUDENT
sean96@postech.ac.kr
Kim Sangki
PH.D. STUDENT
kimsangki@postech.ac.kr
Minseok Kang
Master student
masonkang@postech.ac.kr
Jia Lee
Ph.D. Student
cee5539@postech.ac.kr
Jaehun Lee
PH.D. Student
thkighie1224@postech.ac.kr
Seunghyun Chae
PH.D. Student
shchae7@postech.ac.kr
Alumni
Sharon Kim
Degree: Master (2020)
현대중공업
M.S. Thesis: "HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous Cyber-Physical Systems in AADL"
Moonhyeon Jung
Degree: Master (2021)
POSTECH