Gary Leavens | |
---|---|
Academic background | |
Education | University of Michigan (BS) University of Southern California (MS) Massachusetts Institute of Technology (PhD) |
Academic work | |
Discipline | Computer science |
Sub-discipline | Specification language Information assurance Object-oriented programming Type theory Computer science education |
Institutions | Iowa State University University of Central Florida |
Gary T. Leavens [1] is an American academic working as a professor of computer science at the University of Central Florida.
Leavens earned a Bachelor of Science in computer and communication science from the University of Michigan,a Master of Science in computer science from the University of Southern California,and a PhD in philosophy from the Massachusetts Institute of Technology. [2]
From 1977 to 1984,Leavens worked on the technical staff at Bell Labs. From 1989 until 2007,he was a professor of computer science at Iowa State University. His scholarship focuses on behavioral interface specification languages (BISLs) such as Larch/Smalltalk,Larch/C++,and JML. Leavens was the program chair for 2009 OOPSLA.
The University of Freiburg,officially the Albert Ludwig University of Freiburg,is a public research university located in Freiburg im Breisgau,Baden-Württemberg,Germany. The university was founded in 1457 by the Habsburg dynasty as the second university in Austrian-Habsburg territory after the University of Vienna. Today,Freiburg is the fifth-oldest university in Germany,with a long tradition of teaching the humanities,social sciences and natural sciences and technology and enjoys a high academic reputation both nationally and internationally. The university is made up of 11 faculties and attracts students from across Germany as well as from over 120 other countries. Foreign students constitute about 18.2% of total student numbers.
The South China University of Technology is a public university in Guangzhou,Guangdong,China. The university is co-sponsored by the China Ministry of Education and the Guangdong Provincial People's Government.
The Human–Computer Interaction Institute (HCII) is a department within the School of Computer Science at Carnegie Mellon University (CMU) in Pittsburgh,Pennsylvania. It is considered one of the leading centers of human–computer interaction research,and was named one of the top ten most innovative schools in information technology by Computer World in 2008. For the past three decades,the institute has been the predominant publishing force at leading HCI venues,most notably ACM CHI,where it regularly contributes more than 10% of the papers. Research at the institute aims to understand and create technology that harmonizes with and improves human capabilities by integrating aspects of computer science,design,social science,and learning science.
Jeannette Marie Wing is Avanessians Director of the Data Science Institute at Columbia University,where she is also a professor of computer science. Until June 30,2017,she was Corporate Vice President of Microsoft Research with oversight of its core research laboratories around the world and Microsoft Research Connections. Prior to 2013,she was the President's Professor of Computer Science at Carnegie Mellon University,Pittsburgh,Pennsylvania,United States. She also served as assistant director for Computer and Information Science and Engineering at the NSF from 2007 to 2010. She was appointed the Columbia University executive vice president for research in 2021.
The Burnett Honors College is an academic college of the University of Central Florida located in Orlando,Florida,United States. Founded in 1998 as the University Honors Program,it was expanded and renamed in 2002 in response to a $1.5 million gift by Al and Nancy Burnett. The dean of the college is Sheila Amin Gutiérrez de Piñeres,Ph.D.
The University of Central Florida College of Engineering and Computer Science is an academic college of the University of Central Florida located in Orlando,Florida,United States. The college offers degrees in engineering,computer science and management systems,and houses UCF's Department of Electrical Engineering and Computer Science. The dean of the college is Michael Georgiopoulos,Ph.D.
The University of Central Florida College of Optics and Photonics is an academic college of the University of Central Florida located in Orlando,Florida,United States. The dean of the college is David J. Hagan,Ph.D.
The University of Central Florida College of Sciences is the largest academic college of the University of Central Florida located in Orlando,Florida,United States. The dean of the college is Michael Johnson,Ph.D.
The University of Central Florida College of Graduate Studies is an academic college of the University of Central Florida located in Orlando,Florida,United States. The college confers most professional and research master's degrees and doctoral degrees in various fields of study for the university. The departments under which instruction and research take place are housed in UCF's other schools and colleges. The administrative offices for the College of Graduate Studies are located in Millican Hall,on UCF's main campus. The interim dean of the college is Ross Hinkle,Ph.D.
The University of Central Florida is a metropolitan public research university located on a 1,415-acre (5.73 km2) main campus in Orlando,Florida,United States. UCF is a member institution of the State University System of Florida and is the second-largest university in the United States.
Centric is the official student magazine of the University of Central Florida in Orlando,Florida,United States. It is freely available on the university's campuses and online.
Carolina Cruz-Neira is a Spanish-Venezuelan-American computer engineer,researcher,designer,educator,and a pioneer of virtual reality (VR). She is known for inventing the cave automatic virtual environment (CAVE). She previously worked at Iowa State University (ISU),University of Louisiana at Lafayette,University of Arkansas at Little Rock,and she is currently an Agere Chair Professor at University of Central Florida (UCF).
Federal University Gusau,also known by the acronym FUGUS,located in Gusau Zamfara State,Nigeria was one of the last 6 proposed new universities in 2010.
Martin Richardson is a British-American scientist and Professor of Physics. He is best known for the development of high power lasers,and for their use in understanding laser-induced plasma.
Gary M. Olson,Ph.D. is a professor and researcher,specializing in the fields of human-computer interaction and computer supported cooperative work. He has published over 120 research articles and book chapters,and is one of the authors of Working Together Apart:Collaboration over the Internet.
Leavens is a surname. Notable people with the surname include:
Jessica Hullman is a computer scientist and the Ginni Rometty associate professor of Computer Science at Northwestern University. She is known for her research in Information visualization.
Maria Vittoria Salvetti is an Italian aerospace engineer specializing in computational fluid dynamics and especially in the large eddy simulation of turbulence and complex flows. She is a professor of fluid dynamics at the University of Pisa,where she directs the Department of Civil and Industrial Engineering.