Registered user since Tue 12 Aug 2014
Name:Santiago Cuellar
Country:United States
Affiliation:Galois, Inc
Personal website: http://santiagocuellar.com
Research interests:Programing languages, Compilers, Formal verification, Formal methods, Code modernization,
Contributions
Using general profile