Ebrahim Ardeshir
PhD student
Department of Computer Science & DIMAP Centre

University of Warwick

CV

Education:

2007-2008 Master of Research in Logic and Computation, Swansea University, GB. (Supervisor: Dr.Arnold Beckmann)

Thesis: On the provability of consistency of PV

2003-2007 Bachelor of Science in Applied Mathematics, University of Tehran, I.R. Iran.

Bsc. Project: Parallel Hermite Interpolation on the Pyramid

Research Interests:

Model Checking , Verification, Game Theory, Complexity Theory, Proof Theory, Proof Complexity, Bounded Arithmetic, Mathematical Logic, Parallel processing, Applied Mathematics.

Teaching:

Fall 2009 : Mathematics for Computer Scientists I (CS130)

Spring 2010: Formal Specification and Verification ( CS242)

Contacts:

Room 3.27 Formal Methods and Quantum Computation Lab
Phone:++44 24 765 73801
University of Warwick
Email: eardeshir at dcs dot warwick dot ac dot uk