Research Interests
- Formal methods to develop safe, reliable, and secure hardware, software, and cyber-physical systems
- Scalable yet precise automatic analysis techniques, based on model checking, automated reasoning, and computational logic
국가
대한민국
소속기관
포항공과대학교 (학교)
연락처
054-279-2256 http://sevlab.postech.ac.kr/~kmbae/
책임자
배경민 kmbae@postech.ac.kr