About Me
My name is Kaveh Ghasemloo (Persian: کاوه قاسملو).
Graduate reseach assistant and instructor in the
Theory Group,
Department of Computer Science,
University of Toronto.
I successfully defended my Ph.D. thesis in July 2016
under the supervision of Prof.
Stephen A. Cook.
If you are looking for the webpages of my courses
see the section teaching below.
Contact Information
Mailing Address:
Kaveh Ghasemloo
Department of Computer Science, University of Toronto
10 King's College Road, Rm.3302
Toronto, Ontario M5S 3G4 CANADA
Email:

Email is the preferred way to contact me.
However I can be slow in replying to emails, particularly during busy periods.
If you are contacting me about a really important issue which requires my immediate attention,
please start your email's title/subject line with "URGENT:", and I will try to reply ASAP.
When I receive too many emails I focus on replying to
1. emails from people I personally know, and
2. emails directly related to my work.
If you are emailing me about my work please use an informative title so I can notice it from the title.
If your email falls in one of the two categories above and I haven't replied after a few days it is likely that
I have received it during a busy period and might have forgotten to reply.
Please accept my apologies and kindly send a reminder.
Interested in becoming a graduate student in our department?
If you are interested in persueing research in computer science in our department check out
prospective graduate students,
research areas, and
women in cs.
The adminision decisions are made at the departmental level by the admision comittee
not individual faculty members.
Most faculty members
in our department are fine with prospective students directly emailing them
to ask if they are planning to supervise new students in the coming year.
However before emailing them you should spend some time and effort to
check their webpage to learn about their research interests.
Read the abstract, introduction, and conclusion of some of their recent papers and
theses they have supervised.
Some faculty are not fine with direct emails from prospective students,
do not email them if they state so on their website.
Education
- Ph.D. in computer science (2008-2016), University of Toronto, Department of Computer Science, Theory of Computation Group
- M.S. in computer science (2006-2008), Sharif University of Technology, Department of Mathematical Sciences
- B.S. in pure mathematics (2003-2007), Amirkabir University of Technology, Department of Mathematics
- B.S. in computer science (2002-2006), Amirkabir University of Technology, Department of Computer Science
Research Interests
- Algorithms, Complexity Theory, Data Structures
- Heuristic Algorithms, SAT Solvers. Machine Learning
- Distributed Computing, Big Data
- Privacy, Security
- Complexity of Algorithms on Practical Instances, Complexity of Higher-Type Functions, Proof Complexity
- Applying of Computer Science to Social Problems
- Algorithmic Game Theory
Research Publications
- Kaveh Ghasemloo,
Uniformity and Nonuniformity in Proof Complexity.
Ph.D. Thesis, University of Toronto, 2016. - Kaveh Ghasemloo and Stephen A. Cook,
Theories for Subexponential-Size Bounded-Depth Frege Proofs.
Computer Science Logic, 2013.
DOI: 0.4230/LIPIcs.CSL.2013.296 - Farzad Didehvar, Kaveh Ghasemloo, and Massoud Pourmahdian,
Effectiveness in RPL, with Applications to Continuous Logic.
Annals of Pure and Applied Logic, 2009.
DOI: 10.1016/j.apal.2009.06.008 - Provably Total Functions of \(\mathrm{I\exists^+}\).
Master Thesis, Sharif University of Technology, 2008 - Solid Domains and Geometric Logic.
Bachelor Thesis, Amirkabir University of Technology, 2006.
Teaching