프로필

 

서울대학교 컴퓨터공학부 석사 졸업 2017/02 ~ 2019/02 
동국대학교 컴퓨터공학과 학사 졸업 2011/02 ~ 2017/02 
해병대 병장 전역 2012/01 ~ 2013/10 
잠신고등학교 졸업 2008/02 ~ 2011/02 

 

프로그램 언어와 분석, 컴파일러 등 시스템 소프트웨어부터 웹 어플리케이션 운용 및 개발, 각종 API 개발 등에 관심이 많은 컴퓨터공학도입니다. 주요 연구 관심 분야는 프로그램 분석이며, 그 외에도 현실세계에 존재하는 수 많은 개발시 문제와 프로그램에 숨겨진 문제들을 찾고 해결하는 것에 관심이 있습니다.

 경력

  파수닷컴 개발2팀 SW 인턴(2018.01~03)

 서울대 프로그래밍 연구실 석사 연구원(2017.02~2019.02)

 팅크웨어(주) 아이나비 도로망개발팀 GIS부서 SW 인턴(2015.06~08)

 관심분야

코드 품질 개선 툴 개발(분석기, 클론체커 및 리팩터 등)을 하며 공부하고 있습니다. 실제 제품 소프트웨어에 이러한 방식을 적용시켜 프로그램내 메모리 취약점 및 CVE 보안 취약점을 탐지하고 고쳐 소프트웨어 품질을 최적화하는 일에 관심이 있습니다.

프로젝트

정적분석기 시각화 디버깅 도구

실제 정적분석기의 로그 및 프로그램 CFG를 시각화
실시간 코드 수정 기능을 정적분석기 개발자들에게 제공하는 툴 개발

개발 언어 : Javascript(D3) 등
참여 인원 : 2인

코드클론 자동패칭

실제 현업에서 릴리즈 된 JAVA 프로젝트들을 대상으로 코드 클론들을 추적 
이에 대한 자동패칭(중복 코드 자동 리팩토링) 도구 개발 

개발 언어 : C++
참여 인원 : 1인
실적 : SIGPL 포스터 발표

C언어 대상 정적분석기

요약 해석틀을 이용한 정적분석 기술을 이용
C 프로그램 대상의 간단한 포인터 분석 / 값 분석 도구 개발

개발 언어 : OCaml
참여 인원 : 1인

FTP 어댑터 및 모니터링 시스템

서버 내 FTP로 주고 받는 데이터에 대한 로깅 및 모니터링 시스템
FTP 데이터 클라이언트(어댑터)와 관리 웹 모니터링 페이지 개발

개발 언어 : JAVA(Spring) 등
참여 인원 : 3인
실적 : 정보처리학회 동상

학생 전산 처리 도구

자바 스프링 프레임워크를 이용한 학생 전산 처리 도구 개발
학교 전산 시스템과 데이터베이스 연결하여 졸업요건 및 전산 정보 제공

개발 언어 : JAVA(Spring) 등
참여 인원 : 4명