I am an undergraduate student in the School of Computing at the University of Utah working on the SMACK software verifier.
"No bird soars too high, if he soars with his own wings." W. Blake
Liam Machado
Liam Machado,
Undergraduate Researcher
Contact
liam.machado@utah.edu
School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112