@andrejbauer Thank you. You might hear back from me then. I hesitate to apply for PhD in type theory, because although I've had much interest for it lately (you might have seen me on proofassistants.stackexchange.com), it is not so close to the areas I've had courses and internships in so far — my current internship is about extensions of Presburger arithmetic in word combinatorics.
=> More informations about this toot | View the thread | More toots from jeanas@mastodon.abou-samra.fr
=> View andrejbauer@mathstodon.xyz profile
text/geminiThis content has been proxied by September (3851b).