Welcome!
My name is Kaveh Ghasemloo (Persian:کاوه قاسملو). More...
Currently, I'm a graduate Computer Science student at Sharif University of Technology, Department of Mathematical Sciences. Prof. Ardeshir is my thesis adviser, and Prof. Daneshgar is my academic adviser. I have completed my B.Sc. in Computer Science (2006) and B.Sc. in Pure Mathematics (2007) at Amirkabir University of Technology, Department of Mathematics and Computer Science, under supervision of Dr. Pourmahdian. God willing, I am going to be a PhD student at University of Toronto, Department of Computer Science, Theory of Computation Group from September 2008. More...
My main interests are: Computer Science (Both Theoretical and Practical), Mathematical Logic, 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 Dr. Pourmahdian and Dr. Didehvar about computable models of some 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 is being prepared to be refereed and published in a single volume of conference proceedings (, as far as I am informed by Prof. Enayat and Prof. Kalantari, proceedings will be published as a special issue of APAL, after full refereeing process).
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, ... here you can find out how to contact me.