1214 Amsterdam Ave,
450 Computer Science Building
New York, NY 10027

line placeholder
  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.

DIY Softwares

There are other projects driven by interests. They are all hosted on [GITHUB]