허충길교수님
서울대학교컴퓨터공학부 · 7:08
A formal-methods lab lead (Cambridge PhD, seven years at Namseoul University, IMO award) pitches a group that treats real-world software problems as mathematically grounded work: they model hardware and compilers rigo...
서울대학교컴퓨터공학부 · 7:08
A formal-methods lab lead (Cambridge PhD, seven years at Namseoul University, IMO award) pitches a group that treats real-world software problems as mathematically grounded work: they model hardware and compilers rigo...
Redirecting...