현재 = 2021 년 2 월.
회사에 다닌지 3 년 된 생각 많은 컴퓨터 프로그래머입니다. 편안한 커뮤니케이션을 추구하지만 일을 잘 하려는 욕심도 강합니다.
소프트웨어 엔지니어 (“개발 직군”). 2017 년 9 월 – 현재 (현재 기준 35/12 년).
네이버. 클로바. (🔗)
TBU.
소프트웨어 엔지니어 인턴 (“개발 인턴”). 2017 년 7 월 – 2017 년 8 월 (7 주).
네이버. 스마트에디터. (🔗)
ℹ️ 스마트에디터는 네이버 서비스에서 사용되는 텍스트 서식 에디터 브랜드입니다.
스마트에디터 부서에서 클라이언트 애플리케이션의 아키텍처 패턴에 대한 인턴 과제를 수행하였습니다.
연구원 (학사). 2017 년 3 월 – 2017 년 6 월.
고려대학교 정형기법연구실.
고려대학교 학부 2017 년 봄학기 계산이론 과목 1분반의 이론조교 및 실습조교였습니다.
VERSA 유지보수 (후술) 작업을 재개하였습니다.
전산계원 (자동화체계운용·정비병). 2014 년 6 월 – 2016 년 1 월.
육군 현역병 복무 2014 년 4 월 – 〃.
여단급 제대 참모부의 전산실에 배속되어 전산계원으로 다음과 같은 업무를 수행하였습니다.
학부연구생. 2013 년 9 월 – 2014 년 4 월.
고려대학교 정형기법연구실.
ℹ️ ACSR 은 CCS, CSP 와 유사한 프로세스 대수 기반 정형 명세 언어입니다.
ACSR 도구모음인 VERSA (🔗) 에 대한 작업을 수행하였습니다.
인턴 프로그래머. 2013 년 6 월 – 2013 년 8 월 (2 개월).
넥슨코리아. 마비노기 DX팀.
마비노기의 모바일 개발 팀이던 DX팀에서 메신저 앱인 마비노기 톡 (Android 🔗) 과 스핀오프 미니게임인 마비노기 생활의 달인 (Android 🔗, iOS ⛓️) 개발에 참여했습니다.
공학사. 2017 년 2 월. (학부 재학 2011 년 3 월 – 〃, 군 복무 기간 포함).
고려대학교, 컴퓨터학과.
공통교육과정 수료. 7차 교육과정 (제정). 2011 년 2 월.
완산고등학교, 2008 년 3 월 – 〃. (심화 2년 “자연계열” 2009 년 3 월 – 〃.)
2017
이혁, 정언, 최진영. 제약 만족 문제 방식을 통한 스케줄 가능성 분석. 한국정보과학회 2017 한국소프트웨어종합학술대회 논문집, 2017. 12., 1611–1613. (DBpia 🔗)
기여자이기보다 주로 소비자입니다. 필요에 따라 제가 만질 수 있는 것은 소소하게 메인라인에도 제안하고 있습니다. 새로운 기능보다는 버그, 튜닝, 구조에 집중하는 편입니다.
2019
Google AutoValue 확장인 auto-value-parcel 에 대한 이슈 리포트 (GitHub 🔗)
2017–2019
MSYS2 PKGBUILD (GitHub 🔗)
2017
Java SE 7 환경에서의 바이너리 배포시 GPLv2+CE 문제 관련, java-optionalbp 공개 (GitHub 🔗)
2017
2015–2016
CMake 모듈 기여 (FindBISON DEFINES_FILE: 메일 스레드 🔗, 🔗; FindBISON VERBOSE: 메일 스레드 🔗, 🔗)
2013
K-9 Mail 초기 한국어 번역 (GitHub 🔗)