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:00 am–noon, T 11:30 am–12:50 pm, and by appointment
- Office: 423 LOV
- email: firstname.lastname@example.org
- Phone: (850) 644-2202
- Mailing Address:
Department of Mathematics
Florida State University
Love Building, Room 208
1017 Academic Way
Tallahassee, FL 32306-4510