Fran Mota is a PhD student at Cornell University. He studies programming languages, type theory, topology, and data analysis. Contact at fmota AT cs.cornell.edu. Recent posts: