Programming Systems Laboratory

The window through which you see the SW World





About

Our research aims to develop next-generation programming systems for secure and reliable software. We are building real-world software systems including AI-based program analysis systems for detecting deep semantic software bugs, general-purpose program simplification systems for secure and efficient software, scalable program synthesis systems for automatic software generation and repair. For more detailed information, please see research and publications.


Contact

Programming Systems Laboratory, KAIST
N5 2322
291 Daehak-ro Yuseong-gu
Daejeon 34141, Korea