
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

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

Sogang University,
Bachelor (BSc), Computer Science
1998 – 2000
Bachelor (BSc), Computer Science
1998 – 2000

Yonsei University,
Bachelor (BSc), Environmental Science
1992 – 1996
Bachelor (BSc), Environmental Science
1992 – 1996