aurynj.net

English Curriculum Vitae

Curriculum Vitae

current = May 2021.

Summary

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.

Skills

Java & Kotlin/JVM. Build with Java toolchains, Finetuning JVM runtime, Cost-efficient module runtime planning with measures, such as memory prediction and tracing in OpenJDK HotSpot (metaspace, heap).
Android application programming. Works on Android platform, Android SDK and AndroidX, Dalvik/ART. Libraries in fit: Retrofit, Moshi, Glide, ThreeTenABP, RxJava.
Web microbackend programming with Spring Boot.
Deployment and configuration management, with load balancers or routers (L4 / L7).
Functional reactive programming with ReactiveX.
Programming languages: C, Python.
Basic scripting with Bash.
Build systems: Ant, Maven, Gradle, CMake.
Version control and continuous integration: Git, GitHub, Jenkins.
OS, virt and orch: Linux, Docker, Kubernetes.

Interests (with experience)

Modern web APIs, Node.js, React web frontend.
Programming languages: ECMAScript, Rust, Go, C++20, Haskell, Prolog.
Unity (game engine), C# scripting.
OpenGL Shading Language.
.NET Core, MSBuild.
Z3, CVC4, the theorem provers over satisfiability modulo theories.
Coq, the proof assistant and the scripting language Gallina.
Design and implementation of domainspecific languages.
Tensorflow, Kubeflow.

Professional History

Service Engineer, Sep 2017 – current; currently 3 ⁶/₁₂ 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).

(2020–current) On Clova mobile apps (Android & iOS), maintaining API services, push notification services, and web-based operators’ tools.
(2019–current) On Clova mobile apps (Android & iOS), writing specs on devices-integrated functionalities, developing features configuration delivery (with operation) from server to clients.
(2018) Revisioning Clova platform specs for audio contents. (lines on Android client)
(2018) On Clova SDK (Clova Client SDK; CLOVA SDK for Android), engineering in-charge (code, release and also requirements) dealing with ~ 20 clients in Korea and Japan.
(2017) Rewriting device initialization in Clova mobile app while its total revision days. (lines on Android client, configuration currently maintained also)
(2017) Writing most of early Clova mobile app functionalities around Clova platform devices integration. (lines on Android client, debugging servers and devices)

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:

Analysis and reestablishment of network topology and security policy for military networks, including ~ 2k terminals (i.e. PCs) and > 100 equipments (i.e. routers).
Saved annual +40% loss (by estimate) off from computer room supplies, inventing a critical control point system over the lifecycle of them.

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:

Recovered the sane executable build from unmaintained source including usage of super old LEDA graph library. (Currently the build is still producible.)
Source code refactoring up to C++17 from old C++99, with many bugfixes over the ACSR theories.
Adaptation of new concurrency theories, such as one in hypervisor universe.

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.

Made an on-demand assets system for Mabinogi MoL (launched for Android: Jan 2013), integrated with the Unity Editor (Mabinogi MoL was made on Unity 4). It resulted in major reduction of the base app artifact size from ~ 180 MB to < 30 MB, then also enabling service launch for iOS later (Nov 2013). It took 2 wks to make an early days implementation.

Education

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.

Research & Publication

2017

Hyuk Lee, Eon Jeong, Jin-Young Choi. Schedulability analysis with Constraint Satisfaction Problem approach. Proceedings of KSC 2019, 2017. 12., 1611–1613. (DBpia 🔗)

Opensource

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 🔗, 🔗)

2016

On conic-gradient polyfill by Lea Verou (GitHub 🔗)

2015–2016

CMake module contribution (FindBISON DEFINES_FILE: mail thread 🔗, 🔗; FindBISON VERBOSE: mail thread 🔗, 🔗)

2013

On opensourcing chipdb by Matthew Sarnoff (🔗; GitHub 🔗)

2013

K-9 Mail early Korean translation (GitHub 🔗)