이준현

학과

컴퓨터공학부

관심분야

학번

2023****08

자기소개

관심분야: 프로그래밍 언어 이론, 컴파일러, 정형 검증, 정보 보안

함수형 프로그래밍과 이론 컴퓨터과학, 그 응용에 관심이 있는 학부생 이준현입니다.
명세 작성을 통한 프로그램 합성과 검증, 형식 체계와 타입 이론 등 소프트웨어에 논리적 기반을 제공하는 이론적 배경 또는 그 활용에 관심이 많습니다. 현재는 Nix와 증명 보조기, 위상수학을 개인적으로 배우는 중입니다. 이후에는 Hoare Logic이나 마틴뢰프 타입이론을 포함한 프로그래밍 언어 이론, 컴파일러 기술을 이용한 소스코드 분석, Z3 Prover, 카테고리 이론을 학습할 예정입니다. 궁극적으로는 배경지식을 바탕으로 기계화된 방법을 이용하여 LLVM 컴파일러 백엔드의 버그 또는 리눅스 커널의 취약점 등을 찾아보고 싶습니다.  

이수교과목

1-1
소프트웨어 원리
미적분학

1-2
이산수학
UX프로그래밍
IOT프로그래밍

2-1
객체지향프로그래밍 I
객체지향프로그래밍응용
컴퓨터프로그래밍
컴퓨터프로그래밍응용
데이터 분석 및 시각화

사용가능기술

언어
C++
템플릿 등 기존 문법을 포함한 Move Semantic / Perfect Forwarding, 스마트 포인터를 활용한 모던 C++ 프로그래밍 가능

Rust
고차 타입을 이용한 예외처리와 소유권, Trait 등 Rust의 구성요소를 이해하고 이를 활용한 초급 수준의 시큐어 코딩 가능

Haskell
일급함수, 고차함수와 커링, 함수의 합성, 타입 클래스와 다형성, ADT와 패턴매칭 등 기초 문법을 이해하고 이를 활용한 프로그래밍 가능

Coq
논리적 연결사와 양화사를 활용한 명제 작성과 초등적 증명 가능

개발 도구
Vim

Nix
쉬운 배포를 위해 사용되는 도구로 개발환경 구축, 패키지 관리, 프로젝트 빌드 등 배포 가능한 모든 대상을 정해진 명세대로 쉽게 재현해냅니다. 주로 Haskell과 함께 사용되지만 어떤 도구와도 사용 가능합니다. VM 없이 동작 가능한 도커로 비유할 수 있습니다. NixOS와 함께 사용하여 로컬 환경을 재구성하고 있습니다.

Visual Studio  

수행 프로젝트

프로그래밍 언어 연구회 참석
비교적 비형식적으로 진행되는 학술대회입니다. 개인 자격으로 참석하였습니다.
연구자들의 발표를 듣거나 포스터 자료를 읽었습니다. 프로그램 합성이란 무엇인지, 자동화 취약점 탐색 방법은 무엇이 있는지 등등 학계에서 다루는 다양한 토픽들을 아주 가까운 자리에서 들어볼 수 있었습니다.

MY URL

https://github.com/constexpr-if

첨부파일