Programming Languages Group @ Hanyang University
PLASSE Lab.
P
rogramming
L
anguage b
A
sed
S
oftware
S
ecurity and
E
ngineering
Kyung-Goo Doh
PLASSE Advisor
PAV Lab.
P
rogram
A
nalysis and
V
erification
Oukseh Lee
PAV Advisor