About Me

I'm currently a Ph.D. student in computer science at Queen Mary University of London. My research involves formal verification of software (read more), and more specifically, the application of SAT-based methods (read more) in the verification of concurrent software. My supervisor is Dr. Michael Tautschnig, and we're based within the Theory Group of the CS department.

Contact Details

– Office CS438
– a DOT rasekh AT qmul DOT ac DOT uk
PGP key


School of Electronic Engineering and Computer Science
Queen Mary University of London
Peter Landin Building
10 Godward Square
London E1 4FZ


Technische Universität Wien
Semmering, Austria — 10–12 July 2014
SAT/SMT Summer School.

Queen Mary University of London
London, UK — 2012 – 2013
M.Sc. in Computer Science (with distinction).
Project Title: Exploring Bounded Model Checking for Python.
Project Supervisor(s): Prof. Pasquale Malacaria, Dr. Michael Tautschnig.

Queen Mary University of London
London, UK — 2009 – 2012
B.Sc. in Computer Science and Mathematics (with honours).
Project Title: Automated Tree Proof Generator for Formulae of Propositional Logic.
Project Supervisor(s): Dr. Paulo Oliva.

Allame Tabatabaei University
Tehran, Iran — 2003 – 2008
B.A. in French Translation.



Software Analysis and Verification
Teaching Assistant – Autumn Term – 2017

Program Specifications
Teaching Assistant – Spring Term – 2016

Automata and Formal Languages
Teaching Assistant – Spring Term – 2015 / 2016 / 2017

Logic and Discrete Structures
Teaching Assistant – Autumn Term – 2014 / 2015 / 2016

Electronic Engineering Mathematics I
Teaching Assistant – Autumn Term – 2015

Language and Communication
Teaching Assistant – Spring Term – 2014


Doctoral Scholarship
Queen Mary University of London

Student Grant – SAT/SMT Summer School 2014
Technische Universität Wein

Second Place – 2013 EECS Programming Competition
Queen Mary University of London


St Paul's Way Trust School
London, UK — 25 August 2015
Lego Robot Activity Workshop

Queen Mary University of London
London, Uk — 11–18 April 2015
ETAPS 2015

Interests & Skills

SAT– OCaml – Graph Theory – Model Checking
Functional Programming