About Me

I'm currently a full-time software engineer.
In a previous life, I pursued a PhD in theoretical computer science at Queen Mary, University of London. My research involved formal verification of software, and more specifically, the application of SAT-based methods in the verification of concurrent software.

Contact Details

– ahmd DOT rasekh AT gmail DOT com
– PGP key

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.

teaching

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

awards

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

volunteering

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
Formal Semantics
The Spin Model Checker
Promela
Functional Programming
OCaml
Haskell
TypeScript
AWS

Hobbies

Photography

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

Music

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