You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
cpradic (Jul 11 2022 at 06:56):Hello,
I'd like to advertise a funded PhD opportunity in the CS theory group at Swansea University, to be supervised by myself. The provisional topic would be exploring connections between (linear) λ-calculi and automata theory, hopefully using semantic methods. The official adverts detailing some possible research directions is there https://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-su-phd-comparing-2022-rs125.php (the deadline for application is July 29th, which is relatively soon)
(The connections to CT here would be mainly via the categorical semantics of linear logic. With @Nguyễn Lê Thành Dũng we had some successes proving some results in this area by freely building up some simple categories via a bunch of free constructions and noticing that we could equip those with a smcc structure and relate this to known transducers models; see in particular https://nguyentito.eu/thesis.pdf chapters 4&6. Among other things to be done that are somewhat related to CT, we think there are similar opportunities to use semantic evaluation arguments based on the non-commutative version of the construction)
(Also I feel I should plug Eike Neumann who has also a call open with the same funding scheme about reachability problems and exact real number computability with the same sort of deadline/arrangement that sounds very interesting :)
https://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-su-phd-robust-2022-rs122.php)
If that sounds enticing, informal enquiries are very welcome! I can be reached via email (c.pradic@swansea.ac.uk), or one can try PMing me here if that is easier (I should also be around at ACT in Glasgow this year).
Also happy to discuss other project ideas I would be suited to supervise (I suppose one can get some idea of what other areas I work in by browsing through my personal webpage https://cs-web.swan.ac.uk/~cpradic/ but I mostly do logic, automata and type theory I guess), and feel free to forward to anyone who might be interested.
cpradic (Jan 29 2023 at 14:13):Hi,
Just to let you know that the position is still open, with the "new" advert being here https://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-su-phd-comparing-2022-rs181.php and the last possible starting date being July 1st. Once again, there are words there about some topics, but happy to discuss whatever thing I might be able to usefully supervise.
Unfortunately, I believe the dreadful UKRI quota on international applicants has long been reached, so only UK applicants are eligible now :/