Amir Aavani


Education
PhD 2008- Now	Simon Fraser University, Vancouver, BC, Canada Department of Computing Science, Major: Computational Loigc
MSc 2004-06	Sharif University of Technology, Tehran, Iran Department of Mathematical Science, Major: Computation Theory
BSc 2K-2004	Iran University of Science and Technology, Tehran, Iran Department of Computer Engineering, Major: Software Engineering

Currently, I am a full time student at Simon Fraser university working under supervision of Dr. Eugenia Ternovska. As a part of my PhD research, I am currently focused on extending MX grounder with aggregates. My research interests are:

"Complexity Theory" and "Computation Theory", specially "NP-Complete Problems" and "Randomized Algoritm"
"Algorithm Design and Analysis"
"Computational Logic" and "Automated Theorem Proving"
"Combinatorics", "Graph Theory" and other Theoretical aspect of Computer Science
"Artificial Intelligence" and "Machine Learning"