We develop foundations and tools for high-quality and cost-effective software systems on next-generation computing platforms.
Research Interests
Publications
- 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