Lila Fontes
Lila Fontes
Email: fontes@cs
Office: SF 4302D
University of Toronto
Department of Computer Science
Sandford Fleming Building
10 King's College Road
Toronto, Ontario M5S 3G4
I am a third-year graduate student in computer science at the University of Toronto. I'm a member of the theory group, working under the supervision of Stephen Cook. I did my undergraduate work at Harvard in mathematics, focusing on logic.
My interests cover a variety of theory topics, including computability, proof complexity, distributed computing, cryptography, and using randomization in algorithms and proof techniques. I periodically make brief forays into computational linguistics.
I'm currently working on an extension of Logical Foundations of Proof Complexity, a book-in-progress by Stephen Cook and Phuong Nguyen.
Formal
Theories for Logspace Counting in which I develop formal
theories corresponding to the complexity classes parityL and #L.
Interpreting LAP into
VparityL and V#L
in which I interpret Soltys' theory LAP into the above theories, and
demonstrate the soundness of such an interpretation. (draft)
I've been a teaching assistant for: CSC 240 (winter 2010 & 2009), CSC 363 (fall 2009 & 2008), CSC 236 (fall 2007 & winter 2008), and Math 122 (fall 2006).
I am serving as a '09-'10 treasurer for the Computer Science Graduate Student Benevolent Society (CSGSBS). Last year, I was a CS representative to the Graduate Student Union.
I have in the past enjoyed gymnastics, crew, skiing, and rugby, and synchronized swimming. This has resulted in some cool images of my knee (see my MRI and X-ray), and some less-cool experiences of painful knee surgeries and recoveries. I've been improving my archery since January 2009. I also run.
I have an online presence, as you well know. Aside from this page, I exist on facebook and linked in. I maintain a personal blog, and, with my siblings, an oft-neglected silly blog.
Complexity Zoo
The Comprehensive LaTeX Symbols List
Bibtex
help
MathWorld
+
Wikipedia
=
Planet Math
