Gary T. Leavens is affiliated with the University of Central Florida in the United States and primarily conducts research in the field of Computer Science. Their work spans multiple subfields including Software, Information Systems, Artificial Intelligence, Computer Vision and Pattern Recognition, and Computer Networks and Communications.
The scientist's research focuses on diverse topics such as Software Engineering Research, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Advanced Malware Detection Techniques, Logic, Programming, and Type Systems, Formal Methods in Verification, and Distributed Systems and Fault Tolerance.
Gary T. Leavens has contributed to several publications across a variety of venues. Notable recent papers include:
Frequent collaborators in their work include Amirfarhad Nilizadeh, David R. Cok, Corina S. Păsăreanu, Samantha Syeda Khairunnesa, and Shibbir Ahmed. The number of collaborations varies with these coauthors, indicating ongoing partnerships in research projects.
Gary T. Leavens' publications are often found in the following venues:
In recognition of their contributions to the computing field, Gary T. Leavens was named an ACM Senior Member in 2006.
Lilian Burdy;Yoonsik Cheon;David Cok;Michael D. Ernst
Gary T. Leavens;Albert L. Baker;Clyde Ruby
Lilian Burdy;Yoonsik Cheon;David R. Cok;Michael D. Ernst
Yoonsik Cheon;Gary T. Leavens
Gary T. Leavens;Albert L. Baker;Clyde Ruby
Curtis Clifton;Gary T. Leavens;Craig Chambers;Todd Millstein
Kim Bruce;Luca Cardelli;Giuseppe Castagna;Gary T. Leavens
Patrice Chalin;Joseph R. Kiniry;Gary T. Leavens;Erik Poll
Patrice Chalin;Joseph R. Kiniry;Gary T. Leavens;Erik Poll
Krishna Kishore Dhara;Gary T. Leavens
Gary T. Leavens;Yoonsik Cheon
Gary T. Leavens;Murali Sitaraman
Gary T. Leavens;Clyde Ruby;K. Rustan M. Leino;Erik Poll
Gary T. Leavens;Clyde Ruby;K. Rustan;M. Leino
John Hatcliff;Gary T. Leavens;K. Rustan M. Leino;Peter Müller
Shin Hwei Tan;Darko Marinov;Lin Tan;Gary T. Leavens
Peter Müller;Arnd Poetzsch-Heffter;Gary T. Leavens
Gary T. Leavens;K. Rustan M. Leino;Peter Müller
Gary T. Leavens;Yoonsik Cheon;Curtis Clifton;Clyde Ruby
Yoonsik Cheon;Gary T. Leavens;Murali Sitaraman;Stephen H. Edwards
If you think any of the details on this page are incorrect, let us know.
If you’re considering studying Computer Science in the USA, exploring related online degrees and career pathways can significantly expand your professional options. Many universities now offer flexible learning options, including the computer science accelerated program, which enables motivated students to earn their degree faster and begin their careers sooner.
Beyond Computer Science, fields like environmental science and engineering also offer strong online programs. For example, combining technology with sustainability skills can prepare you for jobs with elementary education and environmental science degree, addressing the growing need for environmental educators and policymakers.
For those interested in engineering, affordable online options in specialized fields are available. You can find programs such as the environmental engineering degrees online or explore the mechanical engineering cost of education to compare tuition and potential return on investment. Evaluating these related degrees can help you choose the educational and career path that best aligns with your interests and aspirations.
Agricultural Research Service
Max Planck Institute for Gravitational Physics
University of California, Santa Barbara
University of St Andrews
Virginia Tech
Langley Research Center
Niadyne Pharma (United States)
University of Southern California
University of Oxford
Microsoft (United States)
French Institute for Research in Computer Science and Automation - INRIA
University of Cincinnati
Chonnam National University
Lyon College
University of Oxford
University of Cambridge
