다음 이력서는 2016년 2월 21일을 기준으로 합니다.


강 성훈 Kang Seonghoon
이메일: some\omicron{}ne\text{@}mear\!\dot{\iota}\!e_\bullet org
웹사이트: http://mearie.org/
대한민국 서울에 거주 중. 재택 근무는 가능하나 거주지를 옮길 생각은 없습니다.
자세한 연락처는 메일로 문의하세요.

1 교육

2010–2011
한국과학기술원, 공학석사
프로그래밍 언어 연구실 소속.
2005–2009
한국과학기술원, 공학학사
2003–2004
경기과학고등학교

2 직업 경력

2014–
(주)넥슨코리아 데브캣 스튜디오, 소프트웨어 엔지니어
《마비노기 듀얼》 서버 개발에 참여함.
2013–2014
(주)아이플래테아 코리아, 소프트웨어 엔지니어
dobi.tv의 전체 서버 아키텍처를 설계하고 컨텐츠 인식 알고리즘을 최적화했으며, 안드로이드 SDK 개발에 참여하였음.
2012
(주)무브 인코퍼레이티드, 소프트웨어 엔지니어
루미gae9.com를 개발하였음. 서버 개발, 아마존 웹 서비스(AWS)를 통한 서버 관리 및 루미 안드로이드 앱 개발을 담당함.
2008
(주)넥스지, 소프트웨어 엔지니어
산업기능요원으로 근무. 라우팅 데몬들을 위한 명령줄 프레임워크를 유지보수했으며, SNMP v1/2c/3 클라이언트 및 서버, TACACS+ 및 SSH, SSL 서버를 밑바닥부터 개발하였음.

3 오픈소스 및 개인 프로젝트 경력

2012–
Rust 프로그래밍 언어, 기여자 및 라이브러리 관리자
Mozilla Research에서 개발한, 컴파일 시간 메모리 안전성을 보장하는 시스템 프로그래밍 언어. EncodingChrono를 비롯한 여러 라이브러리를 작성 및 관리하고 있음.
2009
esotope-bfc, 주 개발자
Python으로 만들어진, Brainfuck 코드를 C로 컴파일하는 컴파일러. 학사 졸업논문 주제를 겸하며, Brainfuck에 최적화된 최적화 패스를 사용하여 당시 동종의 컴파일러 중 가장 앞선 것으로 알려졌음.
2007–2008
theseit project, 주 개발자
C++와 OpenGL로 만들어진 음악 게임. C++를 위한 광범위한 멀티플랫폼 게임 라이브러리를 함께 개발함.
2007
텍스트큐브, 커미터
PHP로 만들어진 컨텐트 관리 소프트웨어(CMS). 위지윅 편집기 체계를 리팩토링함.
2005–
앙골모아, 주 개발자
C/Rust와 SDL로 만들어진 음악 게임. 최소한의 코드로 최대한 많은 기능을 포함하는 것을 목적으로 함.
2005
수정 블로그, 커미터
PHP로 만들어진 블로그 소프트웨어.

제가 개발한 소프트웨어 프로젝트의 전체 목록은 http://mearie.org/projects/를 참고하십시오.

4 개발 능력

저는 저수준 시스템 소프트웨어로부터 고수준 웹 서비스에 이르기까지 넓은 범위의 경험을 가지고 있으며, 필요에 따라 이들을 통합할 수 있습니다.

프로그래밍 언어
C, C++, PHP, Python, Rust, JavaScript, 셸 스크립트(bash)를 폭넓게 다룸.
Java, D, Ruby, OCaml, Haskell 등을 비롯한 다른 언어들을 사용해 본 바 있음.
플랫폼
마이크로소프트 윈도, 리눅스 (x86, ARM, MIPS), OS X를 지속적으로 사용 중. 일반 *NIX 플랫폼, 멀티플랫폼 환경 및 현대적인 웹 개발 지식 다수. Win32 API, Android 및 Cocoa에 대한 일부 지식.
도구
Vim, GDB, Microsoft Visual Studio, Subversion, Mercurial, git
기타
  • 다양한 목적의 리눅스 서버 운영 가능. 지난 수년간 20개 이상의 웹사이트를 호스팅해왔음.
  • 표준을 준수하고 접근성 있는 (X)HTML, HTML5 및 CSS 작성 가능.
  • 도메인 특화 및 일반 목적 프로그래밍 언어의 설계 및 구현 가능.
  • 취미로 리버스 엔지니어링 및 소프트웨어 분석을 한 바 있음.

저는 한국어 모국어 화자이며, 영어 구어 및 문어 구사를 어느 정도 할 수 있습니다. 선택 가능할 경우 영어 문어를 선호합니다.

5 수상 경력

2012
국제 난독화 C 코드 대회(IOCCC), Best short program 부문.
2011
한국과학기술원 전산학과 석사학위 우수논문상 수상.
2007
ACM 국제 대학생 프로그래밍 대회(ACM ICPC), 서울 지역 예선, 공동 8위.
차호정 및 이법재와 함께 참가. 특별상을 함께 수상함.
2001
한국 정보올림피아드, 중등부 경시부문 은상.

6 학문 출판

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.

7 기타 활동

2013
미니 대안언어축제 2013에서 〈난해한 프로그래밍 언어 개론과 Befunge〉라는 제목으로 세션 진행.
2009–
오징어 IRC 네트워크의 설립자 및 공동 운영자.
2008–
프로그래밍 언어 설계자 및 개발자를 위한 포럼 LangDev에서 활동 중.
2006–2008
한국어 위키백과 관리자직 수행.
2005
제로보드 4 계열의 보안 취약점을 발견하고 제보함 (CVE-2005-1820). PHP의 PCRE 확장을 공격하는 거의 최초의 취약점으로 생각됨.