김대현

시니어 백엔드 개발자

경력

디노티시아
Application팀 리드
2024.4 - 현재
Rust
AWS
LLM
  • Rust로 LLM 백엔드 시스템 구축
컨스택츠 코리아
백엔드 개발자
2022.5 - 2024.4
Haskell
Scala
Elm
PostreSQL
Google Cloud Platform
Kubernetes
Functional Programming
  • Haskell, Scala로 신규 서비스 백엔드 시스템 구축
라인+
ADS > MONAD > Lead
2020.3 - 2022.5
Scala
Elm
PostgreSQL
Kafka
Cats
Traefik
Functional Programming
  • LINE 메신저 타임라인 서비스 광고 수익 배분 시스템 개발
  • 함수형 Scala로 개발해서 운영, 개발팀 빌딩
  • 일본과 대만에 성공적 론칭 서비스
NHN
Dooray개발실 > 수석
2018.9 - 2020.2
Kotlin
Java
MySQL
Akka
Netty
Spring Boot
Nginx
Redis
  • 업무용 메신저 백엔드를 담당
  • 고성능 Java Akka 프레임워크 기반 메시징 서버 개발
  • 서버당 최대 5만 세션을 처리하는 실험
  • 현업에서도 동시접속 6천 이상을 가볍게 처리
  • Java Netty기반 SMTP 서버, LDAP 서버 개발
  • CalDAV 서버 개발
카카오 (Daum)
CTO Staff > 개발리더
2004.5 - 2015.3
Java
MySQL
Ruby
Python
Linux
C
Nginx
Redis
Spring
  • Daum 클라우드기술팀 > 팀장 > 사내 클라우드 플랫폼 구축 운영
  • Daum 기반기술팀 > 사내Git저장소 서비스 개발 및 전파
  • Daum 캘린더 > 개발TFT장 > RubyOnRails로 개발. 국내 최초급 Web2.0 웹앱
  • Daum 마이피플 > 초기 개발 멤버 > 시스템 아키텍쳐 설계 및 C 채팅 부하분산 서버 개발
  • Daum 일본 도쿄 지사 > 개발팀장 > 18개월 근무
  • Daum 카페 > Java 한줄메모장, 투표게시판 개발. 1일 3억 페이지뷰 처리
한국물류정보통신
시스템팀 > 사원
2000.1 - 2003.4
Java
C
UNIX
  • 네트워크 관리자. 방화벽, 라우터, 스위치 장비 관리. 보안 네트워크 구축
  • 각종 UNIX 환경, C언어로 TCP/X.25 통신망 EDI 문서 중계 시스템 유지보수

보유기술

우수한 기술

  • Rust
  • Scala
  • Clojure
  • Haskell
  • Elm
  • Java
  • Amazon Web Services

    • 충분한 기술

  • Python
  • TypeScript
  • JavaScript
  • Kotlin
  • PostgreSQL
  • Google Cloud Platform
  • Netty
  • Docker

    • 경험한 기술

  • Go
  • C
  • C++
  • Pascal
  • Assembly
  • Kubernetes
    • 주관적 자기 평가입니다. 당장 업무 환경에서 주변 다른 개발자들에게 설명하며 일할 수 있는 수준은 우수한 기술, 스스로 현업 환경에서 제 몫을 하며 활용할 수 있는 충분한 기술, (재)적응이 필요하지만 몇 주 안에 업무 환경에서 홀로 역량을 발휘할 수 있는 수준은 경험한 기술로 구분해 적었습니다.

    외국어

    🇺🇸 English 듣기/읽기 상급, 말하기/쓰기 중급. TOEFL CBT 260
    🇯🇵 日本語 듣기/말하기 중급. 읽기/쓰기 초급

    발표 경험

    인프콘2023 - 함수형 프로그래밍 3대장 경험기: 클로저, 스칼라, 하스켈
    LiftIO 2022 - 두 다리 뻗고 자는 (탄탄한) 함수형 프로그래밍
    LiftIO 2021 - 연속된 우연으로 꾸려진 개발팀의 함수형 Scala 활용기
    2021, 라인 백엔드 개발자의 함수형 프로그래밍 언어 실전 사용기
    2017, 제6회 리스프 세미나 — 클로저 소개
    PyCon2016 라이트닝톡 — 개발하는 라이더의 연비계산
    DevOn2013 — 사내 Git저장소 허브 개발사례
    내향적 성격이지만, 필요에 따른 연습으로 익숙해져 발표에 두려움이 없습니다.

    사이드 프로젝트

    2023, Java 개발자를 위한 Scala 맛보기 온라인 책
    2023, 예제로 격파하는 코틀린 학습 사이트 편역
    2023, 우아한 고성능 프로그래밍 언어 Rust 입문 및 활용 강의 제작
    2023, Elm으로 만든 탁구 점수판 웹앱
    2023, AWS Lambda와 Rust로 만든 수익 알리미
    2022, TypeScript와 three.js로 만든 큐브 연습용 웹페이지
    2019, GitHub 한글화 실험 프로젝트
    2019, 한글 자소별 색상 구분 타자연습 웹앱
    2019, Go로 만든, 로그 파일 색칠러
    2017, 스타벅스 WiFi 자동 연결 앱
    2016, 마크다운 to TufteCSS
    2016, 클로저 기반 한글 프로그래밍 언어 실험, misaeng
    2015, 클로저 배우는 연습문제 모음 번역
    2014, Dvorak자판과 함께 쓰는, macOS 한글 입력기 (IME)
    2014, 유의적 버전 Sematic Versioning 한국어 번역
    1998, wkobo, X11용 2D 슈팅 게임을 Windows용으로 포팅 개발
    1994, 직접 제작한 한글 그래픽 라이브러리를 활용해 만든 3인용 테트리스 게임
    틈틈이 개인 프로젝트를 진행합니다. 깃허브에서 소스 코드, 데모 페이지에서 시연 확인 가능합니다. 개발 후기를 글로 적기도 합니다.

    학력

    홍익대학교 컴퓨터공학과 학사
    1996 - 2000
    전공성적우수 장학금 2학기분 수령
    졸업과제: 리얼타임 리눅스 RTLinux 커널 분석

    교육 수료

    2024, Serverless Architectures on AWS
    2024, Accelerated Computer Science Fundamentals
    2024, Unordered Data Structures
    2024, Ordered Data Structures
    2024, Object-Oriented Data Structures in C++
    2024, Rust for DevOps
    2024, Vector Search and Embeddings
    2024, Python and Rust with Linux Command Line Tools
    2024, Rust Fundamentals
    2024, Introduction to Concurrent Programming with GPUs
    2024, Local LLMs with llamafile
    2024, Data Engineering with Rust
    2024, Beginning Llamafile for Local Large Language Models (LLMs)
    2024, Rust for Large Language Model Operations (LLMOps)
    2024, Generative AI with Large Language Models
    2022, Introduction to TensorFlow for Artificial Intelligence, Machine Learning, and Deep Learning
    2022, Convolutional Neural Networks in TensorFlow
    2022, Natural Language Processing in TensorFlow
    2022, Sequences, Time Series and Prediction
    2021, Effective Programming in Scala
    2019, Functional Program Design in Scala
    2019, Big Data Analysis with Scala and Spark
    2019, Kotlin for Java Developers
    2013, Functional Programming Principles in Scala
    2011, Erlang OTP Course, San Francisco 교육 수료
    2006, 연세대학교 > 경영대학원 > 연세-Daum MBA 과정 수료
    2001, Java Architecture Planning & Design for J2EE 교육 수료
    2000, Sun Certified Java Programmer for JAVA2 자격증 취득
    1999, 정보처리기사 자격증 취득

    인기 글

    2017, 개알못인 당신이 웹개발을 시작한다면 (1)
    2016, 3/8 판교 긴급 출장 24시
    2015, 다음 캘린더 서비스 개발 비하인드 스토리
    개발 블로그 삼아 미디엄에 글을 적기도 합니다. 그 중 조회수 기준으로 호응이 좋았던 글입니다. 글에 개인 성향이 잘 드러나는 것은 물론이고, 개발할 때 코드를 작성하는 것과, 사람이 읽을 글을 작성하는 것에 공통점이 많다고 생각하여 이력서에도 적었습니다.

    취미

    달리기
    누적 3,650㎞ 달림
    JTBC 마라톤 2024 완주
    하프마라톤 1시간 48분
    트레일러닝 20K, 50K 완주