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.

Recommended Resources

Publications

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