We develop foundations and tools for high-quality and cost-effective software systems on next-generation computing platforms.
Research Interests
Publications
- DPLL(T) 기반 ReLU 신경망 검증을 위한 교육용 오픈소스 소프트웨어 개발, 2026년 한국정보보호학회 하계학술대회(CISC-S'26), 2026년 5월7-8일, 부산 벡스코 제2전시장.
- A Visual Block Programming Environment for Home Assistant: A Progress Report, 8th Int'l Workshop on Software Engineering Research and Practices for the Iot, Rio De Janeiro, Brazil, April 12-18, 2026.
- Improving LLM-based Code Completion Using LR Parsing, Journal of Computer Languages, September, 2025. (LINK)
- Certified Robustness of Antenna Selecting Neural Networks for Massive MIMO Wireless Communications, IEEE Access, May, 2025. (PDF)
Laboratory
Lectures
- Programming Languages
- Application Security-Web Security
- Compilers
- Program Analysis Techniques Lecture notes(in Korean)
- Functional Programming, Haskell (Part1 Lecture 1-4)
- E-class