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:

Research interests: Programming languages, semantics, formal methods


ESEC/FSE 2018General Chair in Organizing Committee
Committee Member in Program Committee within the Journal-First-track
General Chair of Post Town Hall Reception within the Social-track
Session Chair of WASPI workshop (part of WASPI)
Chair of Closing Plenary (closing ceremony) within the Social-track
Committee Member in Organizing Committee within the WASPI-track
Session Chair of Morning Talks (part of WASPI)
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile