Lab directory
High Assurance Software Systems (HASS) Lab
High Assurance Software Systems (HASS) Lab
Daegu Gyeongbuk Institute of Science and Technology (DGIST) · Electrical Engineering and Computer Science
Information sourcenot verified yet
Professor
Prof. 김백규
Professor's page · publicationsAbout
김백규 교수 연구실(HASS)은 DGIST 전자공학전공 소속으로, 임베디드 소프트웨어와 정형 기법(formal method)을 연구한다. 자율 시스템의 신뢰성 보증을 다룬다.
Research keywords
Embedded softwareformal methods
Other labs in this department
- Lab for Integrated Nano Electronics (LINE)
Hyuk-Jun Kwon
Semiconductor fabrication & device
- Natural Experience Lab (NETLab)
Hyunjae Gil
HCI, VR/AR interface development
- 김가인 교수 연구실
Gain Kim
Communication circuits, high-speed transceivers
- Autonomy Research Center (ARC)
Kyoung-Dae Kim
Planning and control of autonomous systems
- Bridging AI and Software Engineering (BASE) Lab
Kisub Kim
AI for software engineering, multi-agent systems
- 김선준 교수 연구실
Sunjun Kim
Human-computer interaction, smart input devices