Luis Scoccola

About me

I am a postdoc at the Math department at Northeastern University, working with Jose Perea.

I studied Math and Computer Science at the University of Buenos Aires, and got a PhD in Mathematics from the University of Western Ontario, under the supervision of Dan Christensen.

Research interests

Computational Topology, connections to Algebra, Geometry, and Statistics, and applications to Machine Learning and Data Analysis. I have also worked on Formalization and Type Theory.

Publications and preprints [Google scholar]

8. Approximate and discrete Euclidean vector bundles.: With J. A. Perea. [arXiv]
7. Rectification of interleavings and a persistent Whitehead theorem.: With E. Lanari. [arXiv]
6. Stable and consistent density-based clustering.: With A. Rolle. [arXiv]
5. Locally persistent categories and metric properties of interleaving distances.: PhD dissertation. [thesis]
4. The Hurewicz Theorem in Homotopy Type Theory.: With D. Christensen. [arXiv]
3. Nilpotent Types and Fracture Squares in Homotopy Type Theory.: Mathematical Structures in Computer Science, 30(5):511–544, 2020. [MSCS]
2. Localization in Homotopy Type Theory.: With D. Christensen, M. Opie, and E. Rijke.
Higher Structures, 4(1):1–32, 2020. [HS]
1. The Integers as a Higher Inductive Type.: With T. Altenkirch.
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 67–73), 2020. [LICS]

Code

4. gamma-linkage clustering algorithm.

With A. Rolle.
From "Stable and consistent density-based clustering", above. [Git]

3. Approximate and discrete Euclidean vector bundles.

Computational examples of the homonymous article, above. [Git]

2. The Integers as a Higher Inductive Type.

Formalization of the homonymous article, above. [Git]

1. A visualization tool for parameter selection in cluster analysis.

With A. Rolle. [Git]

Recent talks

July 21st, 2021	Density-based clustering and multiparameter persistence [slides], Metrics in Multiparameter Persistence workshop, Lorentz Center.
April 16th - April 28th - May 3rd, 2021	Approximate and discrete vector bundles in theory and applications [recording], Applied Topology in Albany seminar - IMSI TDA workshop - TDA, Theory and Applications TUTTE Institute and Western University

Recent teaching

Spring 2021	Instructor for Calculus II, MTH 133 at MSU.
Fall 2019	Instructor for Calculus I, Math 1000 at UWO.

Contact information

x@northeastern.edu, for x = l.scoccola

Pronoun: he