Gary T. Leavens is a prominent computer scientist known for his work in the fields of software engineering, programming languages, and formal methods. He has made significant contributions, particularly in the areas of specification and verification of software systems, as well as research on programming language design and semantics. Leavens is also known for his work on the Java Modeling Language (JML), which is used for specifying the behavior of Java classes and methods.
New to topics? Read the docs here!