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.
"No bird soars too high, if he soars with his own wings." W. Blake
Ankit Agrawal
Ankit Agrawal,
MS Student and Non-Student Researcher
Contact
ankit@cs.utah.edu
School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112