@de-jong-tom.mathstodon.xyz.ap.brid.gyBenedikt Ahrens, who co-supervised my PhD, has funding for a PhD position at TU Delft 🙂️ I'm copying his ad below. I highly recommend both Delft and Benedikt!
#TypeTheory #Agda #CategoryTheory #PhD
----------
I am looking for a PhD candidate for a 4-year position in the Department of Software […]
@abuseofnotation.mathstodon.xyz.ap.brid.gyToday's random #categorytheory / #typetheory fact:
The "if... else" function is the "fold" of the Boolean type.
@ranaldclouston.fediscience.org.ap.brid.gyI've been on Mastodon for a year, so it's time for a new pinned #introduction post with an updated dog pic! I'm a lecturer in #computerScience at Australian National University #ANU in #Canberra , #Ngunnawal / #Ngambri country. I research #typeTheory , #logic […]
@ranaldclouston.fediscience.org.ap.brid.gyI've been on Mastodon for a year, so it's time for a new pinned #introduction post with an updated dog pic! I'm a lecturer in #computerScience at Australian National University #ANU in #Canberra , #Ngunnawal / #Ngambri country. I research #typeTheory , #logic […]