'실시간 시스템 설계' 핵심 모델 연구"자율주행, 항공·우주 제어 현장에서 핵심 분석 도구로 활용"국제전기전자학회(IEEE) 실시간 시스템 심포지엄(RTSS)에서 '가장 영향력 있는 논문상 2025'을 수상한 신인식 KAIST 전산학부 교수(KAIST 제공) /뉴스1김종서 기자 대전에서 화물차-승용차 충돌해 1명 심정지·3명 부상남서울대학교 설립자 성암 이재식 이사장 별세…향년 92세
