Skip to main content
Lab directory

Real-time Systems Lab

Real-time Systems Lab

KAIST · School of Computing

Information sourcenot verified yet

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

Professor

Prof. 신인식

Professor's page · publications

About

KAIST 전산학부 신인식(Insik Shin) 교수가 이끄는 사이버 물리 시스템 연구실(Cyber-Physical Systems Lab)이다. 컴퓨팅·통신의 사이버 세계와 물리 세계를 통합하여 실시간으로 상호작용하는 기술을 연구하며, 실시간 임베디드 시스템, 모바일 컴퓨팅, 시스템 보안, HCI를 다룬다. 최근에는 모바일 GUI 에이전트 및 LLM 기반 모바일 자동화 연구를 수행한다.

Research keywords

Real-time embedded systemscyber-physical systems

Selected publications

  • VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action VerificationMobiCom · 2025
  • EarDVFS: Environment-Adaptable RL-based DVFS for Mobile DevicesICCAD · 2025
  • Leveraging Customized Heterogeneous Batteries to Alleviate Low Battery Experience for Mobile UsersIEEE Transactions on Sustainable Computing · 2025
  • MobileGPT: Augmenting LLM with Human-like App Memory for Mobile Task AutomationMobiCom · 2024
  • FLUID-IoT: Flexible and Fine-Grained Access Control in Shared IoT Environments via Multi-user UI DistributionCHI · 2024
  • Supporting Flexible and Transparent User Interface Distribution Across Mobile DevicesIEEE Transactions on Mobile Computing · 2024

Other labs in this department

See all labs in this department