Professional Services

• 한국정보과학회 39대 이사 (2024년)
• Program Committee, VISSOFT 2024 (12th IEEE Working Conference on Software Visualization)
• 정보보호특성화대학지원사업단 단장(2023년7월-2028년)
• 한국정보과학회 프로그래밍언어연구회 여름학교(2022년8월22일-24일) 조직위원장
• 전남대학교 공과대학 기획부학장(2022년8월-2024년7월)
• Program Committee, MSFP 2020 (8th Workshop on Mathematically Structured Functional Programming)
• 한국정보과학회 프로그래밍언어연구회 정회원/운영위원 (2011.3-)