About Me

I am a PhD candidate in Department of Computer Science at Columbia University, working with Professor Junfeng Yang. My Resume is here.

My current research focuses on reliability of concurrent software systems. In general I'm interested in program analysis, formal methods, distributed systems, etc.


For research/hobbies.

Morpheus / Firedrill - effective concurrency testing for Erlang/Elixir.

dlauncher - dmenu-based extensible desktop launcher (for X11)


Mostly minor/useless. ┑( ̄Д  ̄)┍

Alternate line background for Mintty. Help align lines and reduce emptiness in large consoles.