연구실 목록
신인식 교수 연구실
Real-time Systems Lab
한국과학기술원 · 전산학부
정보 출처아직 확인되지 않음
교수 소개
신인식 교수
교수 홈페이지·논문소개
KAIST 전산학부 신인식(Insik Shin) 교수가 이끄는 사이버 물리 시스템 연구실(Cyber-Physical Systems Lab)이다. 컴퓨팅·통신의 사이버 세계와 물리 세계를 통합하여 실시간으로 상호작용하는 기술을 연구하며, 실시간 임베디드 시스템, 모바일 컴퓨팅, 시스템 보안, HCI를 다룬다. 최근에는 모바일 GUI 에이전트 및 LLM 기반 모바일 자동화 연구를 수행한다.
연구 키워드
Real-time embedded systemscyber-physical systems
대표 논문
- 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
같은 학과의 다른 연구실
- 강민석 교수 연구실모집 중
Network and distributed system security
- 권영진 교수 연구실모집 중
Operating systems, system security
- 김민수 교수 연구실모집 중
Databases, data mining/machine learning, medical/bioinformatics
- 김주호 교수 연구실모집 중
HCI, human-AI interaction, social computing, crowdsourcing, online education
- 김현우 교수 연구실모집 중
AI, computer vision, machine learning
- 문수복 교수 연구실모집 중
Network platforms, online social networks