APSEC 2024 (series) / Gary T. Leavens
![Gary T. Leavens](https://conf.researchr.org/getProfileImage/garytleavens/dfa2c000-4f7d-43b5-9d2b-38e6edd6002c/small.jpg?1711471987000)
Registered user since Tue 27 Jan 2015
Name:Gary T. 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
Using general profile