Go home

Challenges That Inspire Me

• Compiler Verification

  Ensuring correctness of compilers via formal verification. More on this →

• Navier–Stokes Existence and Uniqueness

  One of the Millennium Prize Problems in fluid dynamics. More on this →