I am a research scientist at Facebook. My research interests are programming language, type theory, logic, reversible computation and evolutionary computation. You can contact me by e-mail chen464 at iu dot edu