한림대 컴퓨터공학과 방기석 교수가 세계인명사전인 ‘마르퀴즈 후즈후 인더 월드(Marquis Who's Who in the World)’ 2010년판에 등재됐다.

방 교수는 세계적으로 중요시되는 정형기법(Formal Methods) 분야에서 우수한 연구실적을 인정받았다. 방 교수의 연구결과는 각종 해외 학회를 통해 발표된 바 있다.

현재 방 교수는 안전한 소프트웨어 시스템 개발을 위한 정형기법의 개발과 Secure Coding 분야의 연구를 진행하고 있다.

한편 ‘마르퀴스 후즈후’는 정치·경제·사회·종교·과학·예술 등 215개국의 인물을 선정해 프로필과 업적을 등재하고 있다.