I am a first-year doctoral student at Brown University,
advised by Shriram Krishnamurthi.
I was a MS CS student at Indiana
University, working on Gradual
Typing. My master's thesis advisor is Jeremy
Scheme and Agda
are my favorite programming languages.
I found λ-expression looks
The background of this page looks interesting? Learn its story here.
- LU, KUANG-CHEN, JEREMY G. SIEK, and ANDRE KUHLENSCHMIDT.
"Hypercoercions and a Framework for Equivalence of Cast Calculi."
- Lu, Kuang-Chen, Weixi Ma, and Daniel P. Friedman. "Towards a
miniKanren with fair search strategies." In Proceedings of the 2019
miniKanren and Relational Programming Workshop, pp. 1-15. 2019.
- Hu, Zhiqiang, Chen Sun, Kuang-chen Lu, Xixia Chu, Yue Zhao, Jinyuan
Lu, Jianxin Shi, and Chaochun Wei. "EUPAN enables pan-genome studies of
a large number of eukaryotic genomes." Bioinformatics 33, no. 15 (2017):
- Sun, Chen, Zhiqiang Hu, Tianqing Zheng, Kuangchen Lu, Yue Zhao,
Wensheng Wang, Jianxin Shi et al. "RPAN: rice pan-genome browser
for ̃ 3000 rice genomes." Nucleic acids research 45, no. 2 (2016):
|Aug 2018 - May 2020
||MS in Computer Science
|Sep 2014 - Jun 2018
||BS in Biotechnology (Bioinformatics Pioneer Class)
||Shanghai Jiao Tong University