Marco Paviotti's Avatar

Marco Paviotti

@gfixme

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

19
Followers
8
Following
3
Posts
22.11.2024
Joined
Posts Following

Latest posts by Marco Paviotti @gfixme

I bet they're going to be there to check you meet your deadlines

18.12.2025 23:42 👍 0 🔁 0 💬 0 📌 0

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