Jun Li

Assistant Professor (tenure track) at the University of Dayton.
Previously, I was Postdoctoral Assistant Professor at the University of Michigan-Ann Arbor.
I completed my Ph.D (advisor: Tian-Jun Li) at the University of Minnesota.

Address: 300 College Park, Science center 129E, Dayton, OH 45469.
Office Hour: MWF 11:00am -12:00pm, or by appointment, Zoom link
Email: jli004 at udayton dot edu.

Research: ➤ Here is a link to my publications and preprints.

My general research interest is symplectic geometry, differential topology, dynamics and their applications. See my publication page for more details.
My research is partially supported by an NSF LEAPS grant DMS 2418927

Workshop & Conferences Organizing

AMS Central meeting, the special session on quantitative symplectic topology, Apr 2023, at Cincinnati, with Olguta Buse and Richard Hind.
AMS Central meeting, the special session on computational aspects of symplectic topology, Apr 2020, at Purdue University, with Olguta Buse and Richard Hind.
FRG Workshop on symplectic isotopy and packing, May 2019, at U Michigan-Ann Arbor, with Tian-Jun Li and Yongbin Ruan.

Teaching

2024-, I founded the Experimental Math Lab at UD. (Projects with computations and LEAN prover)
Spring 2023, MTH 342, Set theory and logic. (With an introduction to LEAN)
Fall 2022, MTH 168, Calculus for Engineering; MTH 129 Calculus for Business.
Spring 2021, Math 590, Introduction to topology.
Spring 2021, Math 217, Linear Algebra and Intro to Proofs.
Fall 2020, Math 214, Applied Linear Algebra.
Here is the link to the code page, supported by the Tech Innovation grant from Univerisity of Michigan.
Fall 2019, Math 636, Topics in Differential Geometry-Symplectic Geometry and Quantization.
Fall 2019, Math 217, Linear Algebra and Intro to Proofs. I'm currently managing the joint Canvas page of 217.
Spring 2019, Math 433, Intro to Differential Geometry.
Fall 2018, Math 217, Linear Algebra and Intro to Proofs.
Spring 2018, Math 433, Intro to Differential Geometry.
Fall 2017, Math 115, Calculus I.

Undergraduate research mentoring,

At UD: Lean, auto Math Prover, a poster at Stander Synposium.

At UMich: Python implement/visualization and other progress of our F2019 project and the final posters.

At the University of Michigan, I had the opportunity to get involved with mentoring undergraduate research. In Fall 2019, I co-mentored the team
Anthony Morales, Zijian Rong, Wendy Wang
in a research project about in a project Curves in surfaces and mapping class group through LOG(M) about constructing pseudo-Anosov maps,
with Becca Winarski and Grad student mentor Bradley Zykoski.
See the Laboratory of Geometry at Michigan's website (LOG(M)) for short) for more information.