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. |
x@msu.edu, for x = scoccola
Pronoun: he