Luis Scoccola

Luis Scoccola

I am a Math PhD student in the Department of Mathematics at The University of Western Ontario working under the supervision of Dan Christensen.

My mathematical interests include:

Homotopy Theory, Homotopy Type Theory, Functional Programming, Type Theory, Formalization, and Clustering (in Data Analysis).


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.


Localization in Homotopy Type Theory, arXiv:1807.04155, with D. Christensen, M. Opie, and E. Rijke. (Submitted)


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.


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:, for x = lscoccol


Western Mathematics Home Page
Western Home Page
Find UWO Faculty/Staff
Find UWO Students