DongKwon Lee
DongKwon Lee
Research Interest
- Static Analysis
- Program Synthesis
- Application of Searching based Method
Publications
- Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting, Dongkwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi, PLDI 2020: ACM Conference on Programming Language Design and Implementation
Education
- Ph.D., ROPAS Laboratory, Computer Science and Engineering, Seoul National University(Oct 2017 - current)
- M.S., ROPAS Laboratory, Computer Science and Engineering, Seoul National University(Sep 2015 - Sep 2017)
- Intern, ROPAS Laboratory, Computer Science and Engineering, Seoul National University(Jan 2015 - Aug 2015)
- B.S., College of Liberal Study(major : Computer Science and Engineering, Mathematics), Seoul National University (Mar 2010 - Aug 2015)
- Hansung Science High School (Mar 2008 - Feb 2010)
Teaching
- 2019 Fall: Program Analysis(TA)
- 2018 Fall: Programming Language(TA)
- 2017 Fall: Programming Language(TA)
- 2017 Spring: Program Analysis(TA)
- 2015 Fall : Computational Civiliztion(TA)
- 2015 Spring : Computational Civiliztion(TA)
Contact
dklee (at) ropas.snu.ac.kr