Home | Publications | Projects | Teaching

PhD Student, Supervisor: Professor Nancy A. Day
E-mail: avakili AT cs DOT uwaterloo DOT ca
Phone: (519) 888-4567 ext. x37864
Office: Davis Centre Rm 2551B

Areas of Research:
Model Checking Declrative Models, Decision Procedures for Modal Logics and Their Use in Computer Science.

Education:
MSc in CS, Dep. of Mathematical Sciences, Sharif U. of Technology, Tehran, Iran, Supervisor: Professor Mohammad Ardeshir
BSc in CS, School of Statistics, Mathematics, and CS, U. of Tehran, Tehran, Iran, Supervisor: Professor Hayedeh Ahrabian

Last updated: 25 Aug 2011