Michael Arntzenius

Michael Arntzenius studies the design, theory, and implementation of programming languages. Currently he's working on Datafun, a new functional query language descended from Datalog. In his spare time he enjoys hiking, reading, playing guitar and calligraphy.