Graduate program An overview of Proof assistants Visit the DU IRMIA++ students' journal Graduate program Dynamical systems and Astrophysics Visit the DU IRMIA++ students' journal Graduate program Ehrhart polynomials and code optimization Visit the DU IRMIA++ students' journal Graduate program Optimal transport and astrophysics Visit the DU IRMIA++ students' journal