I studied Math and Computer Science at the University of Buenos Aires, and got my PhD from the University of Western Ontario, under the supervision of Dan Christensen.
I am interested in applications of topology, homotopy theory, and category theory.
|January 16th, 2021||Locally persistent categories and metric properties of interleaving distances (contributed talk) [slides] [recording], ATMCS hosted by AATRN.|
|December 5th, 2020||Homotopy coherence in applied topology (invited talk) [slides] [recording], Canadian Mathematical Society Winter Meeting.|
|November 4th, 2020||Locally persistent categories and approximate homotopy theory (invited talk) [slides] [recording], New York City Category Theory Seminar.|
|June 18th, 2020||Universality of the Gromov–Hausdorff distance (invited talk) [slides][recording], Workshop on Topological Data Analysis, The Fields Institute.|
|January 31st, 2020||Quotient interleaving distances (invited talk) [slides], University of Florida Topological Data Analysis conference.|
|June 11th, 2019||Congruence in Univalent Type Theory (contributed talk) [extended abstract][slides], TYPES, Oslo.|
|January 11th, 2018||Localization in Homotopy Type Theory (invited talk) [slides], AMS Special Session on Homotopy Type Theory, Joint Mathematics Meetings, San Diego.|
|⟼ The Integers as a Higher Inductive Type.
Formalization of the homonymous article, above. [Git]
|⟼ A visualization tool for parameter selection in cluster analysis.
With A. Rolle. [Git]
|Spring 2021||Instructor for Calculus II, MTH 133 at MSU. If you are a student for this course, please go to the course website.|
|Fall 2019||Instructor for Calculus I, Math 1000 at UWO.|
|Summer 2020||I was awarded the Robert and Ruth Lumsden Scholarship In Science at UWO.|
|Spring 2020||I mentored a Directed Reading Project for an undergraduate student at UWO, on Deep Learning.|
|Fall 2019||I mentored a Directed Reading Project for an undergraduate student at UWO, on Category Theory.|
|Summer 2019||MITACS grant to visit the University of Nottingham and collaborate with Thorsten Altenkirch.|
|May 7-11, 2018||Mathematics Research Communities collaboration grant to visit Carnegie Mellon University and collaborate with Egbert Rijke.|
|December 11-15, 2017||I contributed to the development of coinductive types in UniMath library, during the UniMath School, 2017.|
|Fall 2017 to Spring 2019||I co-organized the math graduate seminar at UWO.|
|March to October 2014||I co-organized the seminar on functional programming at the Universidad de Buenos Aires.|
firstname.lastname@example.org, for x = scoccola