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 Ph.D. candidate in the Department of Computer Science at Columbia University, working with Professor Junfeng Yang.

I am a minimalist.


My research interests are broad. Recently I focus on practical formal methods on concurrent and distributed software systems.


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