Home page of Antonina Kolokolova

Antonina Kolokolova

I am currently at the Department of Computer Science, Memorial University of Newfoundland. My research interests are theoretical computer science, in particular complexity theory, especially in its connection to bounded arithmetic and finite model theory. I got my PhD in 2005 from the Dept. of Computer Science at the University of Toronto supervised by Stephen Cook.

Contact information:
Address: Computer Science dept, Memorial University of Newfoundland, St.John's, NL, Canada, A1B 3X5
Office: ER-6033
Phone: (709)737-3657
Email: [Your browser cannot view this email address]
Publications and talks

Resolution Song is now online.

Teaching

Winter 2012:
- CS-2000 (Collaborative and Emergent Behavior)
  - Here is the lab for the second module of the course. Let me know if you have any questions!
- CS-3719 (Theory of Computation and Algorithms)
- CS-6783 (Applied Algorithms)

Theory at MUN

MUN CS theory reading group

Prospective students:
- Theory students If you are interested in theoretical computer science and would like to do an MSc or a PhD with me, please email me. If I have the resources, I would be happy to take good students.
- Project: routing AUVs using SAT solvers. At this time, I am looking for students for a project on routing autonomous underwater vehicles using SAT solvers. The approximate start date would be May 2012 for graduate students. I am looking for somebody with strong mathematical as well as engineering background. This project involves delivering a software product, so proficiency in programming, as well as data processing skills, are a must. For this project, experience with robotics, SAT solvers, and/or industry experience are an asset. Although I am mainly looking for MSc students (with possibility to continue to PhD, subject to funding and success of the project), good undergraduate (e.g., honours) students, as well as interested PhD students are also welcome to apply. Please email me if you are interested.

Blogs: Theory of Computing Blog Aggregator . This includes a list of RSS feeds to theory blogs.
Questions and answers: CS Theory StackExchange , MathOverflow
Preprints: Electronic Colloquium on Computational Complexity