aurynj.net

Curriculum Vitae

current = Feb 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).

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:

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

2015–2016

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

2013

K-9 Mail early Korean translation (GitHub 🔗)