Jubi Taneja

38 Followers
46 Following
4 Posts
Research SDE at Microsoft Research.
Gigantic congratulations to Prof. Dr. @avanhatt, who successfully defended today!!!! She has done a truly awesome series of super-practical applications of formal methods to compilers and things—stuff people will be using and building on for a long time. 🎉👏🦀
We have spots available for undergrads to spend the summer working on "Trust and Reproducibility of Intelligent Computation" at the #UofU. Details at http://paralab.github.io/treu-web/
REU Site: Trust and Reproducibility of Intelligent Computation at Utah

If you know the reviewer and know yourself, you need not fear the result of a hundred submissions. If you know yourself but not the reviewer, for every acceptance gained you will also suffer a rejection. If you know neither the reviewer nor yourself, you will succumb in every PC meeting.

-- Sun Tzu, The Art of Research