Gary Leavens
Professor at University of Central Florida
Orlando, Florida, United States
Summary
👤
Senior🎓
Top SchoolGary Leavens is a professor emeritus of computer science with a decades-long academic career focused on programming language design, semantics, and formal methods, notably as a leader of the JML specification effort and the MultiJava multiple-dispatch project. He has held long-term faculty positions at Iowa State and the University of Central Florida, where he also served a decade as department chair and steered the CS division through a period of structural change. His research blends theoretical work—behavioral subtyping and specification language design—with practical tool-building and international collaboration around JML and related tools. Trained at MIT under the Programming Methodology Group and with early industry experience at Bell Labs, he combines deep formal expertise with real-world systems thinking. Colleagues know him for translating formal methods into usable languages and tools that influence both teaching and software verification practice.
16 years of coding experience
20 years of employment as a software developer
M.S., Computer Science, M.S., Computer Science at University of Southern CaliforniaPh.D., Computer Science, Ph.D., Computer Science at Massachusetts Institute of TechnologyB.S., Computer and Communication Sciences, B.S., Computer and Communication Sciences at University of Michigan
Github Skills (16)
science10
computer-science10
react10
ranking10
unit-testing9
scales8
testing8
java8
python8
pytest8
functional-testing7
openjdk5
alfresco3
alloy3
maven3
Programming languages (4)
Github contributions (5)
leavens/WhileLang
Jan 2018 - Jan 2024
Contributions:94 pushes, 2 branches in 6 years 1 month
leavens/texmf
Nov 2021 - Feb 2025
Contributions:72 pushes, 1 branch in 3 years 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.