1214 Amsterdam Ave,
450 Computer Science Building
New York, NY 10027
n y @ i o
i h o u n g a l c m
x a a m .
I am currently a PhD student in the Department of Computer Science at Columbia University, working with Professor Junfeng Yang.
My research interests are broad. Recently I focus on improving software reliability using model checking techniques.
I am a minimalist.
DLauncher, a minimalist X11 launcher that supports dynamic content and plugins
dvtm-mk, a fork of dvtm with homemade enhancement
There are other projects driven by interests. They are all hosted on [GITHUB]