논리적 사고를 기르는 알고리즘 수업

노팅엄 대학교의 컴퓨터과학 교수. 저서로는 《Program Construction: Calculating Implementations from Specifications(프로그램 설계: 명세에서 구현 계산하기)》가 있다.

서울대학교 자유전공학부에서 컴퓨터공학을 전공하고 있다. 2019년 ACM-ICPC 대회에서 은상을 받았다. 국제정보올림피아드 계절학교 코치, 삼성전자 사내 교육 등 알고리즘 교육 활동을 해 왔으며, KOI, NYPC 등 대회의 출제, 검수 과정에도 지속적으로 참여하고 있다.

서울대학교에서 컴퓨터공학 및 수리과학을 전공하는 학부생으로, 음악과 그림에 열정을 가지고 있다. 국제정보올림피아드 코치로 활동했고, 세계 대학생 프로그래밍 경진대회에서 금메달을 수상했으며, 코딩 및 알고리즘 교육에 깊은 관심을 갖고 있다. 현재는 코드트리에서 Contents Innovator로 근무하며, 모든 사람이 코딩을 즐길 수 있는 세상을 만들고자 한다.