Duckki Oe

I research on software verification. I'm interested in computational logic, formal methods, programming languages.

I'm working at MIT with Adam Chlipala since Aug. 2012. I received PhD at the University of Iowa in July, 2012.