current = Feb 2021.
A thoughtful computer programmer who pursue comfortable communication but does not overcompromise on quality. It past 3 years and so forth since I became a paid regular.
Service Engineer, Sep 2017 β current; currently 35/12 yrs.
Clova (π), Naver Corp., Rep. of Korea.
βΉοΈ Clova (currently branded as capitalized βCLOVAβ) is a series of AI-tech services (for customers, such as voice UI βassistantβ with NLP) or solutions (for companies).
TBU.
Service Engineer Intern, Jul 2017 β Aug 2017; 7 wks.
SmartEditor (π), Naver Corp., Rep. of Korea.
βΉοΈ SmartEditor is a series of rich text editor component commonly used in web & mobile services from Naver.
A short project about the architectural pattern for mobile applications.
Graduate Research Intern, Mar 2017 β Jun 2017.
Theory and Formal Methods Lab., Korea University, Rep. of Korea.
TA for Theory of Computation (undergrad subject), Spring 2017.
Also did continue VERSA maintenance (described below).
Computer Rm Officer (Military Automation Systems Operator), Jul 2014 β Jan 2016.
in duty Apr 2014 β do.
During an achievement of legal duty in Rep. of Korea, I did these in army:
Undergraduate Research Intern, Sep 2013 β Apr 2014.
Theory and Formal Methods Lab., Korea University, Rep. of Korea.
βΉοΈ ACSR is a process algebraic formal specification language, like CCS (Milner, R.) or CSP (Hoare, C. A. R.).
With VERSA (π), the toolset for ACSR, I did these:
Service Engineer Intern, Jan 2013 β Aug 2013; 2 mths.
DX team of Mabinogi (π), Nexon Korea Corp., Rep. of Korea.
βΉοΈ Mabinogi is an online desktop RPG having >Β 10 yo.
Mabinogi Talk (Android π), mobile IM app integrated with Mabinogiβs in-game chat service.
Mabinogi Master of Living (currently EOL; Android π, iOS βοΈ), a mobile spinoff minigame from Mabinogi.
Bachelor of Enginneering. Feb 2017.
In undergraduate school, May 2011 β do.; includes 2 yrs off from school in 2014β2015 with military duties.
Dept. of Computer Science and Enginnering, Korea University, Rep. of Korea.
Completion of the National Common Curriculum of Rep. of Korea, Feb 2011.
per the legal 7th revised educational curriculum, enactment 1999.
In βselective 2β years, natural sciences track, Mar 2009 β do.
In βbasic 10β years, Mar 1999 β Feb 2009.
Wansan High School, Rep. of Korea, Mar 2008 β do.
2017
Hyuk Lee, Eon Jeong, Jin-Young Choi. Schedulability analysis with Constraint Satisfaction Problem approach. Proceedings of KSC 2019, 2017. 12., 1611β1613. (DBpia π)
Mostly being a consumer rather than a contributor; on the other hand, making some minor suggestions for the mainline as far as I can touch when itβs needed. Tend to focus on bugs, tuning, structure instead of new functionality.
2019
auto-value-parcel (Google AutoValue extension) issue report (GitHub π)
2017β2019
MSYS2 PKGBUILD (GitHub π)
2017
Opensourced java-optionalbp for Java SE 7 binaries GPLv2+CE compliant (GitHub π)
2017
Z3 issue report (GitHub π, π)
2015β2016
CMake module contribution (FindBISON DEFINES_FILE: mail thread π, π; FindBISON VERBOSE: mail thread π, π)
2013
K-9 Mail early Korean translation (GitHub π)