Program: Milestone Prize for Foundational Work in Formal Verification - American Mathematical Society, AMS Prizes and Awards - US, RhodeIsland, Providence. #MathPrograms1916 mathprograms.org/db/programs/19…
New program or grant opportunities on MathPrograms.org - a service sponsored by the American Mathematical Society. See more at ams.org/programs
Joined August 2013
- Program: GIRAFFE Faculty/Student Undergraduate Research Workshop in Graph Theory and Data Science - Winston-Salem State University, Department of Mathematics - US, North ... #MathPrograms1912 mathprograms.org/db/programs/19…
- Program: Teaching Assistant Positions — 2026 Yau Mathcamp - Shanghai Institute for Mathematics and Interdisciplinary Sciences, SIMIS - CN, Shanghai, Shanghai. #MathPrograms1910 mathprograms.org/db/programs/19…
- Program: 2026 Yau Mathcamp - Shanghai Institute for Mathematics and Interdisciplinary Sciences, SIMIS - CN, Shanghai, Shanghai. #MathPrograms1908 mathprograms.org/db/programs/19…
- Program: AxIOM: Singularities & PDEs representing Natural Phenomena - Simons Laufer Mathematical Sciences Institute (formerly MSRI), - US, California, Berkeley. #MathPrograms1909 mathprograms.org/db/programs/19…

