My mathematical interests include Homotopy Theory, Homotopy Type Theory, Functional Programming, Type Theory and Formalization.
Talks |
Winter 2018 | Localization and completion, Homotopy Theory Reading Seminar: Localization. |
Jan 11th, 2018 | Localization in Homotopy Type Theory [slides], AMS Special Session on Homotopy Type Theory, JMM, San Diego. |
May 10th, 2017 | Introduction to Stable ∞-Categories [notes], Reading Seminar on Stable ∞-Categories, UWO. |
November 10th, 2016 | Yoneda embedding for quasicategories [notes], Higher Category Theory Reading Seminar, UWO. |
November 3rd, 2016 | Adjoint functors between quasicategories [notes], Higher Category Theory Reading Seminar, UWO. |
June 19th and 26th, 2015 | Introduction to Homotopy Type Theory, Topology Seminar, Universidad de Buenos Aires. |
Teaching |
Winter 2018 | TA for: Linear Algebra, Math 1600b. |
Fall 2017 | TA for: Mathematical Structures, Math 2155f. |
Summer 2017 | TA for: Calculus I, Math 1000a. |
Winter 2017 | TA for: Introduction to Cryptography, Math 3159b/9145b. |
Fall 2016 | TA for: Calculus I, Math 1000a. |
Other |
I'm currently co-organizing the math graduate seminar at UWO. |
I co-organized the seminar on functional programming at the Universidad de Buenos Aires, from March to October 2014. At that time it focused mainly on Homotopy Type Theory. |
Contact information |
E-mail: x@uwo.ca, for x = lscoccol