Lu, Kuang-Chen

• CV
• kl13@iu.edu

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.

Recommended Resources

• http://okmij.org/ftp/: tons of good PL stuffs
• "Five Things We Need to Know About Technological Change" - by Neil Postman (1998)
• Lectures on the Curry-Howard Isomorphism
• Evan Czaplicki - Let's be mainstream! User focused design in Elm - Curry On
• Chinese Text Project (中國哲學書電子化計劃)
• 当然我在扯淡: Yin Wang's Blog

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

Teaching

• Spring 2019, Fall 2019: Teaching Assistant of C311/B521 Programming Language

Services

• Student Volunteer at International Conference on Functional Programming (ICFP) 2019., Berlin, Germany
  
• 2018–2019 Committee of Preparing Future Faculty Conference at Indiana University, Indiana, USA