Ankit Agrawal

I am a non-student researcher in the School of Computing at the University of Utah working on using machine learning to speed up the SMACK software verifier.

Ankit Agrawal
Ankit Agrawal,
MS Student and Non-Student Researcher

School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112