Formal methods and numerics.
-
Cornell University
- Ithaca, NY
- https://ak-2485.github.io/
Earned achievements
Quickdraw
Quickdraw
Loading
Pull Shark
x2
Pull Shark
x2
Loading