![Picture](/uploads/3/1/0/5/31050015/120539229.png)
Imperial College London,
Ph.D, Computing, 2008 – 2011
Supervisors: Prof. Kin K Leung, Dr. Peter Pietzuch, Dr. Cristian Cadar
Activities and Societies: Involving Project: Mobile VCE Interesting topics: Network Verification, Network Coding, Ad-Hoc Networking
Ph.D, Computing, 2008 – 2011
Supervisors: Prof. Kin K Leung, Dr. Peter Pietzuch, Dr. Cristian Cadar
Activities and Societies: Involving Project: Mobile VCE Interesting topics: Network Verification, Network Coding, Ad-Hoc Networking
![Picture](/uploads/3/1/0/5/31050015/739630386.gif)
Sogang University,
Master of Science (MSc), Computer Software Engineering
2000 – 2002
Supervisor: Prof. Park Sooyong
Thesis topic: Product line development methodologies, Formal methods
Master of Science (MSc), Computer Software Engineering
2000 – 2002
Supervisor: Prof. Park Sooyong
Thesis topic: Product line development methodologies, Formal methods
![Picture](/uploads/3/1/0/5/31050015/906160759.gif)
Sogang University,
Bachelor (BSc), Computer Science
1998 – 2000
Bachelor (BSc), Computer Science
1998 – 2000
![Picture](/uploads/3/1/0/5/31050015/195491881.gif?154)
Yonsei University,
Bachelor (BSc), Environmental Science
1992 – 1996
Bachelor (BSc), Environmental Science
1992 – 1996