A printer-friendly version of my CV can be downloaded here.
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
- 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
Supervision
- I am a co-supervisor of D.Phil. (Oxford Ph.D.) student Josef Bolt, with Bob Coecke and Michael Wooldridge
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)
Community activities
- Reviewing for journals: Mathematical Structures in Computer Science, Foundations of Physics, Studia Logica
- Reviewing for conferences with formal proceedings: Formal Structures for Computation and Deduction, Mathematical Foundations of Programming Semantics, Quantum Physics and Logic, Computer Science Logic
- Organiser: Workshop on Compositional Approaches for Physics, NLP and Social Sciences, Second Workshop on Open Games
- Programme Committee: 2019 Tbilisi Symposium on Logic, Language and Computation
Selected invited research talks
- September 2018: First Symposium on Compositional Structures (SYCO), University of Birmingham
- December 2016: Modelling and Analysis of Complex Monetary Economies (MACME), Université Paris 13
- July 2016: Workshop on Statistical and Logical Methods of Meaning (SaLMoM), at North American Summer School on Logic, Language and Information (NASSLLI), Rutgers University
- February 2016: Logics for Social Behaviour (LSB), ETH Zürich
- January 2015: Dagstuhl seminar on Coalgebraic Semantics of Reflexive Economics
Other activities
- I am passionate about science communication and am active on Twitter in a professional capacity (twitter.com/_julesh_), as well as using my website and blog for nontechnical writing related to my research (julesh.com/blog/)
