인물소개

카이스트 전산학부 석박사 통합 과정 소속으로, 프로그래밍 언어 기술을 활용해 소프트웨어의 여러 문제를 해결하는 연구를 진행 중이다. 현재 주요 연구 주제는 C 코드를 올바르게 러스트로 자동 번역하는 것이다. 학부생 시절부터 타입에 관심을 가지고 연구를 진행했고, 포트리스라는 언어의 타입에 관해 쓴 논문이 프로그래밍 언어 분야 최고의 국제 학술 대회에 채택되기도 했다. 프로그래밍 언어 교과목 조교로 일하면서 만든 교재가 개발자 커뮤니티에서 화제가 된 것을 계기로, 타입의 유용함을 더 재미있게 풀어내고자 이 책을 쓰게 되었다.

학력

• 카이스트 전산학부 석박사 통합 과정 소속