Home | Notifications | New Note | Local | Federated | Search | Logout

Carlo Angiuli@carloangiuli@mathstodon.xyz

Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.

Website: https://www.carloangiuli.com
Joined: 2026-09-10 11:27:21
1 notes, 0 following, 0 followers

Reply to @amy@types.pl
Carlo Angiuli@carloangiuli@mathstodon.xyz (2026-09-10 10:42:18)
@amy
---Attachments---
image: https://media.mathstodon.xyz/media_attachments/files/117/244/199/596/953/016/original/4bd66b5f1f77daa1.png