keikun555
My objective is to compute time-intensive algorithms more accurately and efficiently while automatically verifying their correctness.
Cornell UniversityIthaca, NY
keikun555's Following
- olydisNew York City, USA
- MatthewScholefieldSan Francisco
- HackerPoetCodeParade
- orn688@google
- heathermillerCarnegie Mellon University
- MarisaKirisame魔法の森, Gensokyo
- tqchenCMU, OctoML
- gvso@levco
- tpopeBrooklyn, NY
- balloonanimal
- DorildsSwarthmore, PA
- vickraj
- schasins
- JZLBroad Institute
- YYC1997
- FJYang96美国
- daweim0Microsoft
- samuelshihSan Francisco