The following rèsumè is correct as of 2014-12-06.
Kang Seonghoon
E-mail: \sideset{someone}{\!mearie}{\mathop{@}}\!_\cdot org
Website:http://mearie.org/
Available in Seoul, Korea; can work remotely; not willing to relocate.
Please refer to my e-mail for detailed contact informations.Education
- 2010–2011
Korea Advanced Institute of Science and Technology, Master of Science
A member of Programming Language Research Group.- 2005–2009
Korea Advanced Institute of Science and Technology, Bachelor of Science
- 2003–2004
Employment
- 2014–
Nexon Korea, Software developer
- 2013–2014
iPlateia Korea, Software developer
I worked on the entire server architecture, content recognition algorithm optimization and Android SDK for dobi.tv.- 2012
Move Incorporated, Software developer
I developed Roomie and gae9.com. Involved at server-side Web development, server administration via Amazon Web Services, and Android application development (for Roomie).- 2008
NexG, Inc., Software developer
I worked for NexG, Inc. as a substitute of mandatory military service. I maintained a command-line framework for routing daemons, and wrote several networking softwares for SNMP (all versions), TACACS+, SSH and SSL almost from scratch.Open-Source Development
- 2012–
Rust programming language, Contributor and library maintainer A systems programming language with statically enforced memory safety, from Mozilla Research. I've written rust-encoding and maintained several other libraries.
- 2009
esotope-bfc, Main developer A Brainfuck-to-C compiler written in Python, later used for my bachelor's thesis. It was (and may be still) a state-of-the-art compiler of this kind at that time, with optimization passes specialized to Brainfuck.
- 2007–2008
theseit project, Founder and primary developer
A music game written in C++ and OpenGL. Includes an extensive cross-platform game library for C++.- 2007
Textcube, Committer
A content management software written in PHP. I have refactored the entire WYSIWYG editor system.- 2005–
Angolmois, Primary developer
A music game written in C (and later Rust). Aimed at very small lines of code and reasonable feature set.- 2005
soojung, Committer
A blog software written in PHP.See
http://mearie.org/projects/for more exhaustive list of my software projects.Skills
I have experiences ranging from low-level system softwares to high-level Web services, and can combine them in an efficient manner as needed.
- Languages
Extensively used C, C++, PHP, Python, Rust, Javascript and Shell script (bash).
Have used Java, D, Ruby, OCaml, Haskell and several others.- Platforms
Regularly using Microsoft Windows, Linux (x86, ARM, MIPS) and Mac OS X.
Good knowledge of general *NIX, cross-platform environments and modern Web development with both standalone servers and Amazon Web Services; some knowledge of Win32 API, Android and Cocoa- Tools
Vim, GDB, Microsoft Visual Studio, Subversion, Mercurial, git
- Miscellaneous
- Multi-purpose Linux server administration. Have hosted 20+ websites for years.
- Ability to write a standard-compliant and accessible (X)HTML, HTML5 and CSS.
- Ability to design and implement a domain-specific or general-purpose programming language.
- Hobby reverse engineering and software analysis.
I'm a native speaker of Korean, and have working knowledge of oral and (preferably) written English.
Awards
- 2012
The International Obfuscated C Code Contest, Best short program.
- 2011
Best Master's Thesis Award, KAIST Computer Science department.
- 2007
ACM International Collegiate Programming Contest, Regional Contest Seoul, 8th place (shared).
Participated with Cha, Hojeong and Lee, Bupjae. Deserved a special prize.- 2001
Korea Olympiad in Informatics, Middle school competition, Silver prize.
Academic Publications
- 2012
Seonghoon Kang and Sukyoung Ryu, Formal specification of a JavaScript module system, Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA '12), October 2012.
- 2011
Seonghoon Kang and Sukyoung Ryu, FortressCheck: Automatic Testing for Generic Properties, Proceedings of the 26th ACM Symposium on Applied Computing (SAC 2011), March 2011.
- 2004
Jooyeop Kim, Joongi Kim, Narae Han, Seonghoon Kang, Sanghoo Lee, Hongjin Yeh, String Matching Algorithm for Real-time Intrusion Detection and Response, Proceedings of the 31th KISS Spring Conference.
Other Activities
- 2009–
Founder and co-operator of Ozinger IRC network.
- 2008–
A regular participant of LangDev, a forum for programming language designers and implementers.
- 2006–2008
Served as one of Korean Wikipedia administrators.
- 2005
Discovered and reported a major security vulnerability on Zeroboard 4 (CVE-2005-1820). It was one of the first known examples of attacks on PHP's PCRE extension.
5082b8967eb3)