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

About me

I am a 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 and Toni Pitassi. I did my undergraduate work at Harvard in mathematics, focusing on logic.

Research

My interests cover a variety of theory topics, including computability, proof complexity, distributed computing, cryptography, and using randomization in algorithms and proof techniques.

Publications

The Hardness of Being Private. Anil Ada, Arkadev Chattopadhyay, Stephen Cook, Lila Fontes, Michal Koucký, Toniann Pitassi. In submission.
Formal Theories for Linear Algebra. Stephen Cook and Lila Fontes. Computer Science Logic 2010. (pdf, expanded version)
Interpreting LAP into VparityL and V#L. Lila Fontes. Working paper. (draft pdf)
Formal Theories for Logspace Counting. Lila Fontes. M. Sc. thesis. (pdf, arXiv)

Teaching

I've been a teaching assistant for:

• Introduction to the Theory of Computation (CSC 236 fall 2007, winter 2008 & 2012),
• Automata Theory (CSC 448 winter 2011 & 2012),
• Computability and Logic (CSC 438 fall 2011),
• Algorithm Design and Analysis (CSC 373 fall 2011),
• Enriched Introduction to the Theory of Computation (CSC 240 winter 2010 & 2009),
• Computational Complexity and Computability (CSC 363 fall 2010, 2009 & 2008), and
• Algebra I: Theory of Groups and Vector Spaces (Math 122 fall 2006).

Activities

Service: I was on the Department of Computer Science Chair's Search Committee (spring 2010). I served as treasurer for the Computer Science Graduate Student Benevolent Society (CSGSBS) from '09-'11. I was a CS representative to the Graduate Student Union '08-'09.

Sports: 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 knee surgeries. I do not recommend knee surgery as an enjoyable pastime. I've been improving my archery since January 2009. I also run.

Communication: 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.

Useful resources

Complexity Zoo
The Comprehensive LaTeX Symbols List
Bibtex help
MathWorld + Wikipedia = Planet Math
Mendeley

Grace Hopper
Anita Borg Institute
The estimated scale of the universe and everything (warning: autoplays music)