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

Past Education

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 – 2016 / 2017

Program Specifications
Teaching Assistant – Spring Term – 2017 / 2018

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

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

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

Graph Theory
Boolean Satisfiability
Linear Temporal Logic
Computational Tree Logic
(Bounded) Model Checking
The Spin Model Checker
C – C++
Functional Programming
Formal Semantics

Miscellaneous Hobbies


I've loved photography from an early age, but it's only been during the last decade that I've been able to pursue it at an above-amateur level. I specially enjoy the anticipation of shooting and developing film. Check out a few of my shots on my public isntagram page.


In my spare time I learn & play the Kurdish Tanbour.