Hello. My name is Francisco Mota, and I am a PhD student at the Univeristy of Toronto. I aim for a PhD in Computer Science ... and beyond. I currently study program analysis under the guidance of Azadeh Farzan.
I care about programming languages. I designed and implemented a Fuga, a folding language inspired by Io, that combines the object-oriented and homoiconic paradigms. I am currently studying the program analysis of probabilistic programs, and incremental program analysis techniques.
I also care about Kolmogorov complexity. I did my Master's in this area under the guidance of Luís Antunes. I studied sophistication, a lossy version of Kolmogorov complexity. I published a paper in this area -- Sophistication as Randomness Deficiency -- with Scott Aaronson, Luís Antunes, and André Souto.
You can contact me at "fmota AT fmota DOT eu".
Here is a list of my most recent posts: