Registered user since Mon 8 Jun 2026
Name:Thomas Gilray
Country:United States
Affiliation:Washington State University
Personal website: https://thomas.gilray.org/
X (Twitter): https://x.com/tomgilray
Research interests:Declarative Programming, Functional Programming, Program Analysis, Sound Reasoning, Parallel Programming
Contributions
Using general profile