Hello. My name is Fran Mota (Francisco Abreu Faro Mota) and I am a PhD candidate in the Department of Computer Science at Cornell University.

My research interests include: Programming Languages, Type Theory, Complexity Theory, and Algorithmic Information Theory.

For my undergraduate thesis, I worked with Eugene Wallingford. I designed and implemented Fuga, a folding language inspired by Io. It combines the object-oriented and homoiconic programming paradigms.

For my master's thesis, I worked with Luís Antunes and André Souto. I studied sophistication, a lossy version of Kolmogorov complexity. I published two papers. My master's thesis A Monotone Modal Logic for Algorithmic Statistics was an attempt to simplify algorithmic statistical reasoning by drawing a correspondence between algorithmic statistics and monotone modal logic.

You can contact me at "fmota AT cs.cornell.edu".

This website is also an academic blog. Here is a list of my most recent posts: