Marco Paviotti

@gfixme.bsky.social

gfixme : (▷ X -> X) -> X Lecturer. Category Theory, Semantics and Type Theory.

16 Followers | 6 Following | 2 Posts | Joined: 22.11.2024 | 1.6071

Latest posts by gfixme.bsky.social on Bluesky

lol, let me know if it works!

10.12.2024 17:06 — 👍 0 🔁 0 💬 1 📌 0

Dear all,

I am looking for a #PhD student to work on (any subset of) these topics:
#semantics, #domaintheory, #categorytheory #typetheory and #functional programming.

Deadline for application is 15th of February 2025.

Please get in touch if interested. Link: www.kent.ac.uk/scholarships...

10.12.2024 16:48 — 👍 2 🔁 0 💬 0 📌 0

@gfixme is following 6 prominent accounts

Simon Thompson
@simonjthompson

Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.

Michael Vollmer
@vollmerm

Lecturer in the School of Computing at University of Kent. Compilers and programming languages.

Martin Escardo
@martinescardo.mathstodon.xyz.ap.brid.gy

Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory […] [bridged from https://mathstodon.xyz/@MartinEscardo on the fediverse by https://fed.brid.gy/ ]

Stefan Marr
@stefan-marr.de

Interpreters, compilation, concurrency, and debugging tools.

Dominic Orchard
@dorchard

Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io

Bluesky
@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app