Lu, Kuang-Chen
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
Siek.
Scheme and Agda
are my favorite programming languages.
I found λ-expression looks
lovely.
The background of this page looks interesting? Learn its story here.
(WORK IN PROGRESS) Let's play battleship.
Recommended Resources
Publications
- 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):
2408-2409.
- 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):
597-605.
Education
Aug 2018 - May 2020 |
MS in Computer Science |
Indiana University |
Indiana, USA |
Sep 2014 - Jun 2018 |
BS in Biotechnology (Bioinformatics Pioneer Class) |
Shanghai Jiao Tong University |
Shanghai, China |
Teaching
Services