I am a fourth-year Ph.D. student in the Department of Computer Science at Johns Hopkins University. My advisor is Dr. Scott Smith and I am a member of The Programming Languages Laboratory. I got my joint bachelor’s degree from Fudan University and University College Dublin in 2013 and master degree from JHU in 2018. My one-page CV is here (updated Aug 2021).
My research interests span several aspects of programming languages. I believe programming languages can provide solutions to problems in other areas of computer science. I am active in our lab’s weekly seminar and happy to chat about them.
I worked as a Research Intern on Checked C project. I designed and implemented a dataflow analysis which gathers pre/post-conditions at program points and an SMT-based proof framework to reduce false-positive compiler warnings. It’s a wonderful summer. Thanks to my mentor Sulekha Kulkarni, the boss David Tarditi and all the team members!
I got an internship offer from Nomadic Labs on Linear Types and OCaml program analysis for summer 2019. However, due to the COVID-19 and regulations for international students in United States, I cannot make it physically nor virtually. What a pity.
Before graduate school, I took several jobs in start-ups and freelance work, mostly in full-stack web programming.
I play video games. The unexamined game is not worth playing.
I am married to Xiaoxi Chen 陈小溪. I teach her programming and she teaches me human anatomy.