176 reputation
bio website fmota.eu
location Cornell University
visits member for 3 years
seen Jan 19 at 18:38

I'm a PhD candidate in the Department of Computer Science at Cornell University. My research interests include: Topological Foundations, Programming Languages, Type Theory, Recursion Theory, Complexity Theory, and Information Theory.

This user has not participated in any bounties