○ 고려대학교는 9월 1일자로 소프트웨어 검증평가 및 보안 전문가인 소순범 박사를 정보보호대학원 정년트랙 전임교수로 임용하였음

○ 소순범 박사는 고려대학교 컴퓨터공학과에서 학사, 석사 및 박사 학위를 취득했으며, 2023년도부터 광주과학기술원(GIST) 전기전자컴퓨터공학부 조교수로 활동해왔음 

○ 소순범 신임 교수는 IEEE S&P, USENIX Security, ICSE, FSE, OOPSLA, IJCAI를 포함하여, 컴퓨터 보안, 소프트웨어 공학, 프로그래밍 언어, 인공지능 분야의 세계 최고 수준의 국제 학술대회에서 여러 논문을 발표했으며, 앞으로 고려대학교 정보보호대학원에서 소프트웨어 엄밀 검증 연구실을 운영하며 소프트웨어의 보안성과 안전성을 향상시키기 위한 원천 기술에 대한 연구를 수행할 예정임