SPLASH 2020 (series) / Gary Leavens

Registered user since Tue 27 Jan 2015
Name: Gary Leavens
Bio: The long term goal of my research is to better understand how to solve programming problems: how to specify such problems, methods for thinking about such problems, notations for expressing solutions, and ways to check that the solutions are correct. In pursuing this goal, I have worked in two main areas: formal methods and programming languages. formal methods and programming languages.
Country: United States
Affiliation: University of Central Florida
Personal website: http://www.cs.ucf.edu/~leavens
Research interests: Programming languages, semantics, formal methods
Contributions
FTfJP 2020 | Steering Committee Member in Steering Commitee within the FTfJP-track | ||||||||||||||||||||||||||||||||||||||||
COP | Committee Member in Program Committee within the COP-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2020-profile
View general profile
View general profile