Dan Marsden

There are just a few days left now to register for the Midlands Graduate School (MGS) in Sheffield, 7-11 April 2025. Eight fantastic courses on category theory, type theory, coalgebra, semantics and more.

Registration closes on Monday 24th March.

tinyurl.com/MGS-2025

YouTube video by Computerphile Finding The Slope Algorithm (Forward Mode Automatic Differentiation) - Computerphile

A great new @computerphile.bsky.social episode from Nottingham FP lab PhD student Mark Williams

www.youtube.com/watch?v=QwFL...

Mostly it's manual TikZ in a text editor. For the book we use lhs2tex and some text inclusion tricks combined with parameterized TikZ diagrams to get a moderate amount of code reuse.

Some of our approach to the TikZ is written up here

stringdiagram.com/wp-content/u...

Back to book writing AKA drawing lots of colourful pictures. This time a proof step relating to the codensity monad transformer, using some new notational tricks and a somewhat angular style.

Hello fellow quantumists. My team want to hire a QEC person to work on adding QEC support to our quantum compilation stack. The job is based in Cambridge.

Please share! Tell your QEC friends!

#job #quantinuum #quantum #qec #quantumcomputing #quantumsoftware
jobs.eu.lever.co/quantinuum/d...

The Midlands Graduate School (MGS) in the Foundations of Computing Science will be held 7-11 April 2025 in Sheffield, UK. Eight fantastic courses on category theory, logic, type theory, coalgebra, semantics, and quantum computing.

www.andreipopescu.uk/MGS_Sheffiel...

Quantum Physics and Logic is in Varna this year:
qpl2025.github.io

We're delighted to publish ten PhD abstracts in this round. Topics range from types to tests, from synthesis to software engineering, from datatypes to differentiation. Have a look!

A large diagram showing 25 different graphical languages and their relationships.

You can't read "A survey of graphical languages for monoidal
categories" by Peter Selinger and then not post the impressive diagram at the end!

The School of Computing at the University of Kent has a PhD scholarship available, and the deadline to apply is February 15th.

We're especially interested in students interested in programming languages, compilers, and systems!

www.kent.ac.uk/scholarships...

The University of Nottingham School of Computer Science just opened applications for 10 fully funded PhD studentships.

For people interested in functional programming, category theory, type theory and other areas of interest to the FP Lab, please see here:

people.cs.nott.ac.uk/pszgmh/10-ph...

UK Computer Scientists: this years Midlands Graduate School Christmas Seminars will be held on the afternoon of Tuesday 17th December at the University of Sheffield.

andreipopescu.uk/MGS_Sheffiel...

Thanks! I'd quite like to write such a textbook at some point. I need to finish my current book project first, which is the sequel to Introducing String Diagrams, jointly with Ralf Hinze.

We're hiring!

strathvacancies.engageats.co.uk/Vacancies/W/...

We're the Mathematically Structured Programming group at the University of Strathclyde.

After finding I'd forgotten a lot of useful stuff, I've finally treated myself to @chrisheunen.bsky.social and Jamie Vicary's excellent book. Great to have so much good stuff in one place, even if that isn't my memory!

JOB AD:
We are looking for someone who can optimise the shit out of quantum circuits. If that is you, then you might consider applying for this job:
jobs.eu.lever.co/quantinuum/9...

#quantinuum #quantum #quantumcomputing #hiring #jobad

Dan Marsden Theoretical computer scientist and lover of of monads and string diagrams

As an introduction, I'm a theoretical computer scientist based at the University of Nottingham, and a former industry programmer.

I'm interested in category theory, logic and the foundations of computer science.

My blog on the theory of monads can be found here:

stringdiagram.com/blog/