The Scala Workshop 2025
Mon 13 - Tue 14 October 2025 Singapore
co-located with ICFP/SPLASH 2025
ICFP/SPLASH 2025 (series) / The Scala Workshop 2025 (series) / Santiago Cuellar
Santiago Cuellar

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

Show activities from other conferences

ICFP/SPLASH 2025-profile
View general profile