Professional Services

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