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 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

 

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