About Me

Welcome to my blog! I’m Dongjae Lee, a master’s student at Prosys Lab, KAIST.

Interests

My ultimate goal is to build a easy-to-use programming system for everyone. For this, I combine programming language theory and machine learning in my research.

Contact

• Email: dongjae.lee@prosys.kaist.ac.kr
• GitHub: duncan020313
• LinkedIn: Dongjae Lee

Publications

2025

• Safeguarding Mobile GUI Agent via Logic-based Action Verification (MobiCom'25)
  • Jungjae Lee*, Dongjae Lee*, Chihun Choi, Youngmin Im, Jaeyoung Wi, Kihong Heo, Sangeun Oh, Sunjae Lee, Insik Shin (’*’ is equal contribution)