Greg Morrisett
John Gregory Morrisett is a computer science scholar who has been serving as dean and vice provost of Cornell Tech in New York City since June 2019. Previously he served as dean for computing and information science at Cornell University in Ithaca from 2015 to 2019 and director of the Center for Research on Computation and Society at Harvard University from 2012 to 2014. Morrisett received a Bachelor of Science with major in mathematics and computer science from the University of Richmond in Virginia in 1989. From Carnegie Mellon University in Pennsylvania, he received a Master of Science in computer science in 1991 and a Doctor of Philosophy in computer science in 1995. The group he was part of at Cornell University created the Cyclone programming language in 2002. In 2013, he became a Fellow of the Association for Computing Machinery. [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cornell University
Cornell University is a Private university, private Ivy League research university based in Ithaca, New York, United States. The university was co-founded by American philanthropist Ezra Cornell and historian and educator Andrew Dickson White in 1865. Since its founding, Cornell University has been a Mixed-sex education, co-educational and nonsectarian institution. As of fall 2024, the student body included 16,128 undergraduate and 10,665 graduate students from all 50 U.S. states and 130 countries. The university is organized into eight Undergraduate education, undergraduate colleges and seven Postgraduate education, graduate divisions on its main Ithaca campus. Each college and academic division has near autonomy in defining its respective admission standards and academic curriculum. In addition to its primary campus in Ithaca, Cornell University administers three satellite campuses, including two in New York City, the Weill Cornell Medicine, medical school and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Virginia
Virginia, officially the Commonwealth of Virginia, is a U.S. state, state in the Southeastern United States, Southeastern and Mid-Atlantic (United States), Mid-Atlantic regions of the United States between the East Coast of the United States, Atlantic Coast and the Appalachian Mountains. The state's List of capitals in the United States, capital is Richmond, Virginia, Richmond and its most populous city is Virginia Beach, Virginia, Virginia Beach. Its most populous subdivision is Fairfax County, Virginia, Fairfax County, part of Northern Virginia, where slightly over a third of Virginia's population of more than 8.8million live. Eastern Virginia is part of the Atlantic Plain, and the Middle Peninsula forms the mouth of the Chesapeake Bay. Central Virginia lies predominantly in the Piedmont (United States), Piedmont, the foothill region of the Blue Ridge Mountains, which cross the western and southwestern parts of the state. The fertile Shenandoah Valley fosters the state's mo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Living People
Purpose: Because living persons may suffer personal harm from inappropriate information, we should watch their articles carefully. By adding an article to this category, it marks them with a notice about sources whenever someone tries to edit them, to remind them of WP:BLP (biographies of living persons) policy that these articles must maintain a neutral point of view, maintain factual accuracy, and be properly sourced. Recent changes to these articles are listed on Special:RecentChangesLinked/Living people. Organization: This category should not be sub-categorized. Entries are generally sorted by family name In many societies, a surname, family name, or last name is the mostly hereditary portion of one's personal name that indicates one's family. It is typically combined with a given name to form the full name of a person, although several give .... Maintenance: Individuals of advanced age (over 90), for whom there has been no new documentation in the last ten ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
2013 Fellows Of The Association For Computing Machinery
Thirteen or 13 may refer to: * 13 (number) * Any of the years 13 BC, AD 13, 1913, or 2013 Music Albums * ''13'' (Black Sabbath album), 2013 * ''13'' (Blur album), 1999 * ''13'' (Borgeous album), 2016 * ''13'' (Brian Setzer album), 2006 * ''13'' (Die Ärzte album), 1998 * ''13'' (The Doors album), 1970 * ''13'' (Havoc album), 2013 * ''13'' (HLAH album), 1993 * ''13'' (Indochine album), 2017 * ''13'' (Marta Savić album), 2011 * ''13'' (Norman Westberg album), 2015 * ''13'' (Ozark Mountain Daredevils album), 1997 * ''13'' (Six Feet Under album), 2005 * ''13'' (Suicidal Tendencies album), 2013 * ''13'' (Solace album), 2003 * ''13'' (Second Coming album), 2003 * 13 (Timati album), 2013 * ''13'' (Ces Cru EP), 2012 * ''13'' (Denzel Curry EP), 2017 * ''Thirteen'' (CJ & The Satellites album), 2007 * ''Thirteen'' (Emmylou Harris album), 1986 * ''Thirteen'' (Harem Scarem album), 2014 * ''Thirteen'' (James Reyne album), 2012 * ''Thirteen'' (Megadeth album), 2011 * ' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Carnegie Mellon University Alumni
Carnegie may refer to: People * Carnegie (surname), including a list of people with the name ** Andrew Carnegie, Scottish-American industrialist and philanthropist * Clan Carnegie, a lowland Scottish clan Institutions Named for Andrew Carnegie * Carnegie Building (Troy, New York), on the campus of Rensselaer Polytechnic Institute * Carnegie College, in Dunfermline, Scotland, a former further education college * Carnegie Community Centre, in downtown Vancouver, British Columbia * Carnegie Council for Ethics in International Affairs * Carnegie Endowment for International Peace, a global think tank with headquarters in Washington, DC, and four other centers, including: ** Carnegie Middle East Center, in Beirut ** Carnegie Europe, in Brussels ** Carnegie Moscow Center * Carnegie Foundation (other), any of several foundations * Carnegie Hall, a concert hall in New York City * Carnegie Hall, Inc., a regional cultural center in Lewisburg, West Virginia * Carnegie Hero Fund * C ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cornell University Faculty
This list of Cornell University faculty includes notable current and former instructors and administrators of Cornell University, an Ivy League university located in Ithaca, New York. Nobel laureates Chemistry * Peter Debye (Professor of Chemistry, 1940–50; Department Chair) — Chemistry 1936; National Medal of Science (1965) * Manfred Eigen (A.D. White Professor-at-Large, 1965–76) — Chemistry 1967 * Richard R. Ernst (A.D. White Professor-at-Large, 1996-2002) — Chemistry 1991 * Paul Flory (Chemistry faculty, 1948–57) — Chemistry 1974; National Medal of Science (1974) * Otto Hahn (George Fisher Baker Lecturer of Chemistry, 1933) — Chemistry 1944 * Gerhard Herzberg (George Fischer Baker Non-Resident Lecturer in Chemistry 1968) — Chemistry 1971 * Roald Hoffmann (Frank H.T. Rhodes Professor in Humane Letters) — Chemistry 1981; National Medal of Science (1983) * Linus Pauling (George Fischer Baker Non-Resident Lecturer in Chemistry 1937-1938; Messenger Lect ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Programming Language Researchers
Program (American English; also Commonwealth English in terms of computer programming and related activities) or programme (Commonwealth English in all other meanings), programmer, or programming may refer to: Business and management * Program management, the process of managing several related projects * Time management * Program, a part of planning Arts and entertainment Audio * Programming (music), generating music electronically * Radio programming, act of scheduling content for radio * Synthesizer programmer, a person who develops the instrumentation for a piece of music Video or television * Broadcast programming, scheduling content for television * Program music, a type of art music that attempts to render musically an extra-musical narrative * Synthesizer patch or program, a synthesizer setting stored in memory * "Program", an instrumental song by Linkin Park from '' LP Underground Eleven'' * Programmer, a film on the lower half of a double feature bill; see B-movie ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
American Computer Scientists
American(s) may refer to: * American, something of, from, or related to the United States of America, commonly known as the "United States" or "America" ** Americans, citizens and nationals of the United States of America ** American ancestry, people who self-identify their ancestry as "American" ** American English, the set of varieties of the English language native to the United States ** Native Americans in the United States, indigenous peoples of the United States * American, something of, from, or related to the Americas, also known as "America" ** Indigenous peoples of the Americas * American (word), for analysis and history of the meanings in various contexts Organizations * American Airlines, U.S.-based airline headquartered in Fort Worth, Texas * American Athletic Conference, an American college athletic conference * American Recordings (record label), a record label that was previously known as Def American * American University, in Washington, D.C. Sports teams S ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Association For Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, reporting nearly 110,000 student and professional members . Its headquarters are in New York City. The ACM is an umbrella organization for academic and scholarly interests in computer science (informatics). Its motto is "Advancing Computing as a Science & Profession". History In 1947, a notice was sent to various people: On January 10, 1947, at the Symposium on Large-Scale Digital Calculating Machinery at the Harvard computation Laboratory, Professor Samuel H. Caldwell of Massachusetts Institute of Technology spoke of the need for an association of those interested in computing machinery, and of the need for communication between them. ..After making some inquiries during May and June, we believe there is ample interest to ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cyclone (programming Language)
The Cyclone programming language was intended to be a safe dialect of the C language. It avoids buffer overflows and other vulnerabilities that are possible in C programs by design, without losing the power and convenience of C as a tool for system programming. It is no longer supported by its original developers, with the reference tooling not supporting 64-bit platforms. The Rust language is mentioned by the original developers for having integrated many of the same ideas Cyclone had. Cyclone development was started as a joint project of Trevor Jim from AT&T Labs Research and Greg Morrisett's group at Cornell University in 2001. Version 1.0 was released on May 8, 2006. Language features Cyclone attempts to avoid some of the common pitfalls of C, while still maintaining its look and performance. To this end, Cyclone places the following limits on programs: * NULL checks are inserted to prevent segmentation faults * Pointer arithmetic is limited * Pointers must be initialize ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Pennsylvania
Pennsylvania, officially the Commonwealth of Pennsylvania, is a U.S. state, state spanning the Mid-Atlantic (United States), Mid-Atlantic, Northeastern United States, Northeastern, Appalachian, and Great Lakes region, Great Lakes regions of the United States. It borders Delaware to its southeast, Maryland to its south, West Virginia to its southwest, Ohio and the Ohio River to its west, Lake Erie and New York (state), New York to its north, the Delaware River and New Jersey to its east, and the Provinces and territories of Canada, Canadian province of Ontario to its northwest via Lake Erie. Pennsylvania's most populous city is Philadelphia. Pennsylvania was founded in 1681 through a royal land grant to William Penn, the son of William Penn (Royal Navy officer), the state's namesake. Before that, between 1638 and 1655, a southeast portion of the state was part of New Sweden, a Swedish Empire, Swedish colony. Established as a haven for religious and political tolerance, the B ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |