![](/websites/_processed_/e/4/csm_VisuAlg-illu1_a9f3db3f8a.png)
Graduate program
Visualization and algebraic geometry
![](/websites/_processed_/f/f/csm_ProofAssist-illu1_9ccec24c4c.png)
Graduate program
An overview of Proof assistants
![](/websites/_processed_/1/e/csm_milky-way_547c4bee01.jpg)
Graduate program
Dynamical systems and Astrophysics
![](/websites/_processed_/b/d/csm_polyillu1_88f9ec4a9c.png)
Graduate program
Ehrhart polynomials and code optimization
![](/websites/_processed_/c/7/csm_f7-2_b1808fa6e2.png)
Graduate program
Optimal transport and astrophysics
![](/websites/_processed_/b/2/csm_illu5-2_14c701210b.png)
New article about discrete geometry for images and point clouds
![](/websites/_processed_/9/b/csm_illu4-2_2a9723b078.png)