Dan Marsden
@stringdiagram.bsky.social
Pinned
Dan Marsden
@stringdiagram.bsky.social
· Nov 18
Dan Marsden
Theoretical computer scientist and lover of of monads and string diagrams
stringdiagram.com
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/
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/
Reposted by Dan Marsden
I have taken over from Yuri Gurevich as the editor of the Logic in Computer Science column in the Bulletin of the EATCS. He has been doing this for 37 years! Big shoes to fill.
For my first column, I've rendered my invited LICS 2025 talk into dialogue form: bulletin.eatcs.org/index.php/be...
For my first column, I've rendered my invited LICS 2025 talk into dialogue form: bulletin.eatcs.org/index.php/be...
Bulletin of EATCS
bulletin.eatcs.org
October 30, 2025 at 5:20 PM
I have taken over from Yuri Gurevich as the editor of the Logic in Computer Science column in the Bulletin of the EATCS. He has been doing this for 37 years! Big shoes to fill.
For my first column, I've rendered my invited LICS 2025 talk into dialogue form: bulletin.eatcs.org/index.php/be...
For my first column, I've rendered my invited LICS 2025 talk into dialogue form: bulletin.eatcs.org/index.php/be...
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
Registration closes on Monday 24th March.
tinyurl.com/MGS-2025
MGS 2025
tinyurl.com
March 18, 2025 at 10:05 AM
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
Registration closes on Monday 24th March.
tinyurl.com/MGS-2025
A great new @computerphile.bsky.social episode from Nottingham FP lab PhD student Mark Williams
www.youtube.com/watch?v=QwFL...
www.youtube.com/watch?v=QwFL...
Finding The Slope Algorithm (Forward Mode Automatic Differentiation) - Computerphile
YouTube video by Computerphile
www.youtube.com
February 14, 2025 at 9:13 PM
A great new @computerphile.bsky.social episode from Nottingham FP lab PhD student Mark Williams
www.youtube.com/watch?v=QwFL...
www.youtube.com/watch?v=QwFL...
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.
February 12, 2025 at 4:37 PM
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.
Reposted by Dan Marsden
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...
Please share! Tell your QEC friends!
#job #quantinuum #quantum #qec #quantumcomputing #quantumsoftware
jobs.eu.lever.co/quantinuum/d...
Quantinuum - Research Software Engineer - Quantum Software
Quantinuum are hiring a research software engineer to work on compilation of fault-tolerant quantum software for the next generation of quantum computers. Quantum software relies on quantum error corr...
jobs.eu.lever.co
January 27, 2025 at 6:58 PM
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...
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...
www.andreipopescu.uk/MGS_Sheffiel...
MGS 2025
www.andreipopescu.uk
January 27, 2025 at 9:37 AM
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...
www.andreipopescu.uk/MGS_Sheffiel...
Reposted by Dan Marsden
Quantum Physics and Logic is in Varna this year:
qpl2025.github.io
qpl2025.github.io
QPL 2025
Official Website for the QPL 2025 Conference
qpl2025.github.io
January 14, 2025 at 1:46 PM
Quantum Physics and Logic is in Varna this year:
qpl2025.github.io
qpl2025.github.io
Reposted by Dan Marsden
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!
PhD Abstracts | Journal of Functional Programming | Cambridge Core
PhD Abstracts - Volume 35
www.cambridge.org
January 13, 2025 at 3:23 AM
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!
Reposted by Dan Marsden
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!
categories" by Peter Selinger and then not post the impressive diagram at the end!
December 10, 2024 at 3:41 PM
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!
categories" by Peter Selinger and then not post the impressive diagram at the end!
Reposted by Dan Marsden
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...
We're especially interested in students interested in programming languages, compilers, and systems!
www.kent.ac.uk/scholarships...
www.kent.ac.uk
December 10, 2024 at 10:42 AM
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...
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...
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...
10 Fully-Funded PhD Studentships
people.cs.nott.ac.uk
December 3, 2024 at 2:23 PM
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...
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...
andreipopescu.uk/MGS_Sheffiel...
Midlands Graduate School Christmas Seminars 2024
andreipopescu.uk
December 2, 2024 at 9:36 AM
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...
andreipopescu.uk/MGS_Sheffiel...
Reposted by Dan Marsden
We're hiring!
strathvacancies.engageats.co.uk/Vacancies/W/...
We're the Mathematically Structured Programming group at the University of Strathclyde.
strathvacancies.engageats.co.uk/Vacancies/W/...
We're the Mathematically Structured Programming group at the University of Strathclyde.
Strathclyde Chancellor’s Fellow in Mathematically Structured Programming (667134)
Strathclyde Chancellor’s Fellow in Mathematically Structured Programming (667134),
Through our Strathclyde Global Talent Programme, we will recruit early career researchers to help us achieve Strathcl...
strathvacancies.engageats.co.uk
November 24, 2024 at 11:25 AM
We're hiring!
strathvacancies.engageats.co.uk/Vacancies/W/...
We're the Mathematically Structured Programming group at the University of Strathclyde.
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!
November 23, 2024 at 3:53 PM
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!
Reposted by Dan Marsden
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
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
Quantinuum - Research Software Engineer - Quantum Software
We are hiring a Research Software Engineer to join our Cambridge-based Quantum Software team. As a member of our Quantum Software R&D team, you will focus on optimising quantum circuits. Your responsi...
jobs.eu.lever.co
November 19, 2024 at 11:17 AM
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
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
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/
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/
Dan Marsden
Theoretical computer scientist and lover of of monads and string diagrams
stringdiagram.com
November 18, 2024 at 9:23 AM
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/
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/