My mathematical interests include:
Homotopy Theory, Homotopy Type Theory, Functional Programming, Type Theory, Formalization, and Clustering (in Data Analysis).
Talks |
July 19th, 2018 | Introduction to TDA in R [slides][code], Summer School on Topological Data Analysis for Banking and Finance. |
May 26th, 2018 | Congruence Closure in Intentional Type Theory [slides], Midwest Homotopy Type Theory Seminar. |
May 11th, 2018 | Localization, completion, fracture squares and nilpotent types, Homotopy Type Theory seminar, Carnegie Mellon University.. |
Winter 2018 | Localization and completion, Homotopy Theory Reading Seminar: Localization. |
January 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. |
Preprints |
Localization in Homotopy Type Theory, arXiv:1807.04155, with D. Christensen, M. Opie, and E. Rijke. (Submitted) |
Teaching |
Fall 2018 | TA for: Linear Algebra, Math 1600, and Methods of Finite Mathematics, Math 1228. |
Summer 2018 | TA for: Linear Algebra, Math 1600. |
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