Lab directory
Verified Systems Lab (VESL)
Verified Systems Lab (VESL)
Daegu Gyeongbuk Institute of Science and Technology (DGIST) · Electrical Engineering and Computer Science
Information sourcenot verified yet
Professor
Prof. 김윤승
Professor's page · publicationsAbout
김윤승 교수 연구실(VESL)은 DGIST 전자공학전공 소속으로, 정형 검증(formal verification)과 대화형 정리증명(interactive theorem proving)을 연구한다. 실시간 분산 시스템과 프로그래밍 언어도 다룬다.
Research keywords
Formal verificationtheorem proving
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
- High Assurance Software Systems (HASS) Lab
Baek Gyu Kim
Embedded software, formal methods