Research statement
See home
Academic history
- June 2016 — present: Postdoctoral researcher, University of Oxford, department of computer science
- January 2015 — April 2015: Visiting Ph.D. student, University of Mannheim, department of economics
- September 2012 — May 2016: Ph.D. student, Queen Mary University of London, department of electronic engineering & computer science
- June 2012 — September 2012: Internship, Queen Mary University of London, department of electronic engineering & computer science
- October 2008 — June 2012: Master and BA in mathematics & computer science, University of Oxford
History of research funding
- Currently I am an EPSRC mathematical sciences research fellow, grant ref. EP/N021282/1
- My Ph.D. was funded by an EPSRC doctorial training grant, ref. EP/K50290X/1, awarded to Queen Mary University of London
Publications
See publications
Teaching
I have been a teaching assistant for the following course in Oxford:
- 2016: Quantum computer science (a masters-level course)
and the following courses at QMUL:
- 2012, 2013, 2014, 2015: Functional programming (a masters-level course)
- 2014, 2016: Automata and formal languages (a second-year undergraduate course)
Selected research talks
- February 2017: Research seminar, University of Leicester (invited talk)
- December 2016: Modelling and Analysis of Complex Monetary Economies (MACME), Université Paris 13 (invited talk)
- July 2016: Workshop on Statistical and Logical Methods of Meaning (SaLMoM), at North American Summer School on Logic, Language and Information (NASSLLI), Rutgers University (invited talk)
- February 2016: Logics for Social Behaviour (LSB), ETH Zürich (invited talk)
- June 2015: Research seminar, University of Birmingham (invited talk)
- January 2015: Dagstuhl seminar on Coalgebraic Semantics of Reflexive Economics (invited talk)
- June 2014: Computing in Economics and Finance (CEF), Oslo
Other activities
- I have helped with several events at QMUL involving schoolchildren, including an annual programming competition, and introductory events to university-level computer science
- At QMUL I organised the Theory Lunches, informal internal research seminars in my research group
