TOP
“하필 따라해도”.. 중국 車 기반으로 개발된 가성비 전기 SUV 공개
프로톤, 최초의 전기 SUV ‘e.MAS 7’ 공개 말레이시아의 대표 자동차 브랜드 프로톤(Proton)이 자국 최초의 순수 전기 SUV ‘e.MAS 7’을 공개하며 전기차 ... 더 보기
인기글
인기글
류석영 KAIST 교수, 한국정보과학회 가헌학술상 수상
데일리안 -
한국과학기술원(KAIST)은 류석영 교수(전산학부장)가 정보과학 분야에서 우수한 연구성과를 인정받아 '제26회 한국정보과학회 가헌학술상'을 수상했다고 20일 밝혔다.류석영 교수 연구팀은 영어로 작성한 프로그래밍 언어 명세를 활용해, 프로그램을 자동으로 실행하고 잘못된 부분을 찾아내는 독창적인 기법을 세계 최초로 개발했다.이 방법은 소프트웨어의 안전성을 혁신적으로 제고할 수 있으며, 2022년 11월부터 가장 널리 사용되는 자바스크립트 언어 개발에 공식 채택돼 사용되고 있다.미국 백악관과 국방성에서 메모리 문제를 막기 위해 C언어 대…