Toots for carloangiuli@mathstodon.xyz account

Written by Carlo Angiuli on 2024-11-22 at 21:15

tfw you extend the context

=> More informations about this toot | View the thread

Written by Carlo Angiuli on 2024-11-22 at 20:43

tfw they come out with a new type theory

=> View attached media

=> More informations about this toot | View the thread

Written by Carlo Angiuli on 2024-11-04 at 00:51

❓

=> View attached media

=> More informations about this toot | View the thread

Written by Carlo Angiuli on 2024-10-23 at 20:08

P.S. I don't have concrete plans for a postdoc position right now, but if you or someone you know might be interested (on these or related topics), please get in touch!

=> More informations about this toot | View the thread

Written by Carlo Angiuli on 2024-10-23 at 19:53

Do you love and/or hate HoTT or dependent type theory? Come do a Ph.D. with me to develop applications of HoTT to verified functional programming and/or think outside the box about how we can make dependent type theory work better.

I recently received a grant to study the Univalent Verification of Parameterized Structures, and I need Ph.D. students to spend that money on. Application deadline December 15 to start Fall 2025. Lots more info here: https://www.carloangiuli.com/pages/phd-recruiting-2024.html

=> More informations about this toot | View the thread

Written by Carlo Angiuli on 2024-10-18 at 19:29

Question I got in a local seminar talk today: "What is Animorphs?"

=> More informations about this toot | View the thread

Written by Carlo Angiuli on 2024-10-15 at 00:46

(-1)-truncation = witness protection program?

=> More informations about this toot | View the thread

Written by Carlo Angiuli on 2024-10-10 at 18:35

Hello! I've finally joined the Some Things App. 👋 I made a halfhearted attempt to follow some people I know, but I'm sure I've missed a lot. Please follow and/or say hi!

=> More informations about this toot | View the thread

=> This profile with reblog | Go to carloangiuli@mathstodon.xyz account