Ettore Aldrovandi's personal page
My research interests include Category Theory, Homotopy Theory, and Algebraic Geometry.
I am also getting interested in Homotopy Type Theory: I taught a graduate course based on some Agda code which I hope to turn into a hopefully useful GitHub repository in a not too-distant future. Current development is happening within TypeTopology.
My Faculty page
M 10:30–11:30am, W 11:30am–12:30pm, and by appointment
- Office: 423 LOV
- email: email@example.com
- Phone: (850) 644-2202
- Mailing Address:
Department of Mathematics
Florida State University
Love Building, Room 208
1017 Academic Way
Tallahassee, FL 32306-4510