Welcome!
My name is Kaveh Ghasemloo (Persian:کاوه قاسملو). More...
I am a Ph.D. student in computer science (2008-) at University of Toronto, Department of Computer Science, Theory of Computation Group under the supervision of Professor Stephen A. Cook.
I have received my M.Sc. in computer science (2006-2008) from Sharif University of Technology, Department of Mathematical Sciences. Professor Mohammad Ardeshir and Professor Amir Daneshgar were my thesis and academic advisers, receptively. I have completed my B.Sc. in computer science (2002-2006) and B.Sc. in pure mathematics (2003-2007) at Amirkabir University of Technology, Department of Mathematics and Computer Science, under the supervision of Professor Massoud Pourmahdian. More...
I am interested in computer science (both theoretical and practical) and mathematical logic. Currently I am working in logical approaches to computational complexity theory, like proof complexity, real computation, and feasible mathematics. More...
I have translated a small biography of Kurt Godel for the Special Logic Issue of Mathematical Culture and Thought published by Iranian Mathematical Society. Mr. Zaniar Ghadernejad and I are currently translating Lawvere's Comments on the Development of Topos Theory. More...
Our joint work with Professor Pourmahdian and Professor Didehvar about computable models of some of logics with an uncountable set of truth values (Lukasiewicz logic, continuous logic), which I presented at Center for Research in Fundamental Sciences (previously known as Institute for study of theoretical Physics and Mathematics, IPM) 2nd IPM International Logic Conference, 2007 has been submitted for publication in a volume of conference proceedings (as far as I am informed by Professor Ali EnayatIraj Kalantari, proceedings will be published as a special issue of APAL, after refereeing process finishes). and Professor
Here you can find list of my talks, seminars, and lectures (with some presentations, notes, audios).
Pictures, Friends, Links, Calender, Blogs.
My Resume and its Template.
Any comments, suggestions, ... you can find out how to contact me here.