남정현 (Junghyun Nam)

서울대학교 2019.03 ~ 휴학 중

주전공: 컴퓨터공학부

• 평균 학점: 3.9/4.3 (미확정)
• 이수 학점/졸업필수학점: 45/41 (미확정)

통계학부 복수 전공 중

세종과학고등학교 2016.03 ~ 2019.02

하이퍼리즘 (https://hyperithm.com) 2021.08 ~ 현재

하이퍼리즘은 한국과 일본에 기반한 대한민국 최고의 암호화폐 자산 운용사입니다.

• Head of Infrastructure
• AWS/GCP 기반의 클라우드 인프라 관리
• HFT에 최적화된 암호화폐 거래소 데이터 피드 개발 및 유지보수
  • Keywords: Asynchronous Programming, Rust, Tokio, HTTP, WebSocket.
• 트레이딩 전략 관리 인프라 개발 주도
  • (사내 요구사항에 맞게 커스텀된 ECS/EKS와 유사)
  • Keywords: Rust, AWS CloudFormation, AWS S3
• 1Password-AWS 연동에 특화된 AWS 인프라 전용 DevOps 툴킷 개발
  • Keywords: Rust, Clap, AWS SSM

서울대학교 CARES Lab 연구 인턴2021.03.26 ~ 2021.06.30

동년 2월에 UROP(undergraduate research opportunities program)로 시작하여 3월에 유급 인턴으로 전환함.

FEMU SSD 에뮬레이터의 (부분적) Rust 포트인 RustFTL을 작업함.

FEMU의 FTL(flash transation layer) 부분을 Rust로 재작성하여 안전성, 성능, 간결함에 초점을 맞춘 임베디드 시스템에서의 Rust 사용례에 대해 보고함.

최종 보고서와 문서를 mdBook 및 rustdoc으로 정리함.

CN.AI 개발 인턴2020.08.01 ~ 2020.08.28

PyO3 and HDF5를 사용하여 데이터 파이프라인을 구성해 학습 속도를 가속화함.

StyleGAN2를 사용해 두 사용자의 얼굴 이미지의 중간 버전을 보여주는 데모 페이지를 제작함.

• 모델은 FFHQ 데이터셋으로 TensorFlow를 통해 학습되었으며 백엔드와 TCP로 통신하여 서빙함.
• 백엔드는 Go 표준 라이브러리의 net/http 모듈과 Gorilla web toolkit을 사용하여 구성함.
• 프론트엔드는 React로 구성함.

프로그래밍 언어

• Rust(주력): Tokio 및 관련 비동기 생태계, aws-sdk-rust
• Golang: net/http, Bolt(임베디드 KV store)
• C
• TypeScript: 주로 React
• Python: Tkinter, requests, Bolt(Slack SDK)
• 기타 사용 경험이 있는 언어: C++, Java(JVM, Android), Dart(pre-2, Flutter), OCaml

데브옵스

Jenkins 및 (비공개) 보안 플랫폼 등 다수의 온프레미스 솔루션 관리

경험:

• AWS EC2, EC2 Image Builder, ECR 등을 사용한 CI/CD 파이프라인
• AWS EC2 Launch Template, ECS, ECR 등을 사용한 Layer-7 HTTP 프록시 클러스터
• AWS Systems Manager Session Manager 및 IAM을 사용한 EC2 접근 권한 미세 조정 시스템

리눅스 및 시스템 프로그래밍

지식:

• Raspberry Pi(1B+, Zero W, 3B+) 및 Buildroot를 포함한 임베디드 리눅스 개발
• Custom syscall 및 task scheduler를 포함한 kernel hacking

블록체인 및 탈중앙 금융

지식:

• Proof-of-Work, (naïve) Proof-of-Stake 및 Proof-of-History와 같은 변종, Byzantine Fault Tolerance 등 일반적인 컨센서스 메커니즘
• 탈중앙 금융의 원리와 그들의 하위 분류: money markets, 탈중앙 거래소, yield aggregators, 스테이블코인 등
• 크로스체인/멀티체인/layer-2 생태계: Wormhole, Cosmos, Polkadot, Arbitrum, ZKSync 등
• 영지식 증명에 대한 직관 수준의 이해와 블록체인에서의 적용 방식
• 상술한 프로젝트 중 일부에 투자
  • 실적은 묻지 말아주시기를 정중히 부탁드립니다. (농담입니다)

Nerf Rust, Serde, Tokio, Tower, Hyper, HTTP

tower-rs와 통합된 HTTP 요청 프레임워크.

암호화폐 거래소 API를 결합성 좋은 tower::Layer로 리팩토링하려는 개인 실험 목적이며, 주된 달성 성과로 다음이 있음:

• HTTP 백엔드 전환 가능.
• Rate limit 설정 가능(tower-rs 제공).
• HTTP 클라이언트 멀티플렉싱(tower-rs 제공).
• axum과 연계한 mock testing.
• API 응답에 기반한 자동 rate limit 조절 (TODO).

WASynth^(WIP) Rust, WebAssembly

언어와 무관하게 동작하는 WebAssembly 계측 라이브러리.

기능:

• 독립적인 WebAssembly 파서/생성기 구현.
• 함수별 enter/leave hook 주입.
• cargo fuzz를 활용한 Fuzz testing 탑재.

Introduction to NIZK Proofs

https://blog.cro.sh/slides/introduction-to-nizk-proofs-20220307.pdf

Rust 비동기 프로그래밍 (Asynchronous Rust Programming)

https://blog.cro.sh/slides/async-rust-programming-20220801-redistributable.pdf