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
In 2018 I covered a 2-hour lecture for the following course in Oxford:
- Quantum computer science (a masters-level course)
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: 2019 Applied Category Theory summer school, Workshop on Compositional Approaches for Physics, NLP and Social Sciences, Second Workshop on Open Games
- Programme Committee: Second Workshop on Compositional Structures, 2019 Workshop on Bidirectional Transformations, 2019 Tbilisi Symposium on Logic, Language and Computation
- Edited conference proceedings: Workshop on Compositional Approaches for Physics, NLP and Social Sciences
Selected invited research talks
- November 2018: Shonan seminar on Diagrammatic Methods for Linear and Nonlinear Systems, Japan
- September 2018: First Symposium on Compositional Structures (SYCO), University of Birmingham, UK
- December 2016: Modelling and Analysis of Complex Monetary Economies (MACME), Université Paris 13, France
- July 2016: Workshop on Statistical and Logical Methods of Meaning (SaLMoM), at North American Summer School on Logic, Language and Information (NASSLLI), Rutgers University, USA
- February 2016: Logics for Social Behaviour (LSB), ETH Zürich, Switzerland
- January 2015: Dagstuhl seminar on Coalgebraic Semantics of Reflexive Economics, Germany
Other activities/skills
- 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/)