박근수교수 연구진이 그래프 동형(Graph Isomorphism) 문제에 대한 세계 최고 성능 알고리즘 기술을 개발하였습니다.
이주헌 박사과정생이 Microsoft Research Asia Ph.D. Fellowship 2020 수상자로 선정되었습니다(지도교수: 이영기).
심유근 학생(2017학번)이 대한수학회가 주최하는 제 39회 대학생 수학 경시대회에서 금상을 수상하였습니다.
허충길 교수 연구진이 소프트웨어 검증 기술연구로 2020 Google ASPIRE award를 수상하였습니다.
전병곤 교수 연구진이 쉽고 빠른 AI 시스템 연구로 ‘구글 리서치 어워드’를 수상하였습니다.
전병곤 교수님이 2020년 ACM SIGOPS 가장 영향력 있는 논문상(Hall-of-Fame Award)을 수상하였습니다.
전병곤 교수 연구진이 인공지능 수행의 효율성을 크게 높이는 님블(Nimble) 시스템을 개발하였습니다.