Some intersection of type theory, category theory, proof assistants, and formal math. #NSF CSGrad4US Fellow. PhD student @UMich under @ProfMaxNew.

ID: 1932878096

linkhttps://externalhom.com/cv calendar_today04-10-2013 03:12:46