Carlo Angiuli
Joined: 10/10/2024
About Carlo Angiuli
Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.
Lists
carloangiuli has no public lists
Timeline
carloangiuli has no activity yet
Joined: 10/10/2024
Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.
carloangiuli has no public lists
carloangiuli has no activity yet