|
Kristin Yvonne Rozier
Kristin Yvonne Rozier is an American aerospace engineer and computer scientist whose research investigates formal methods including temporal logic and model checking for the formal verification of safety-critical systems, especially those involving air transport, unmanned aerial vehicles, and air traffic control. She is Black & Veatch Associate Professor of Aerospace Engineering, Computer Science, Electrical and Computer Engineering, and Mathematics at Iowa State University, where she heads the Laboratory for Temporal Logic. Education and career Rozier studied computer science at the College of William & Mary, graduating in 2000. After earning a master's degree there in 2001, supervised by Paul K. Stockmeyer, she went to Rice University for doctoral study in computer science. She completed her Ph.D. in 2012, with the dissertation ''Explicit or Symbolic Translation of Linear Temporal Logic to Automata''. Her doctoral advisor was Moshe Vardi, with Stockmeyer as co-advisor. She join ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aerospace Engineering
Aerospace engineering is the primary field of engineering concerned with the development of aircraft and spacecraft. It has two major and overlapping branches: aeronautical engineering and astronautical engineering. Avionics engineering is similar, but deals with the electronics side of aerospace engineering. "Aeronautical engineering" was the original term for the field. As flight technology advanced to include vehicles operating in outer space, the broader term "aerospace engineering" has come into use. Aerospace engineering, particularly the astronautics branch, is often colloquially referred to as "rocket science". Overview Flight vehicles are subjected to demanding conditions such as those caused by changes in atmospheric pressure and temperature, with structural loads applied upon vehicle components. Consequently, they are usually the products of various technological and engineering disciplines including aerodynamics, Air propulsion, avionics, materials science, stru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ames Research Center
The Ames Research Center (ARC), also known as NASA Ames, is a major NASA research center at Moffett Federal Airfield in California's Silicon Valley. It was founded in 1939 as the second National Advisory Committee for Aeronautics (NACA) laboratory. That agency was dissolved and its assets and personnel transferred to the newly created National Aeronautics and Space Administration (NASA) on October 1, 1958. NASA Ames is named in honor of Joseph Sweetman Ames, a physicist and one of the founding members of NACA. At last estimate NASA Ames had over US$3 billion in capital equipment, 2,300 research personnel and a US$860 million annual budget. Ames was founded to conduct wind-tunnel research on the aerodynamics of propeller-driven aircraft; however, its role has expanded to encompass spaceflight and information technology. Ames plays a role in many NASA missions. It provides leadership in astrobiology; small satellites; robotic lunar exploration; the search for habitable planets; s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rice University Alumni
Rice is the seed of the grass species ''Oryza sativa'' (Asian rice) or less commonly ''Oryza glaberrima'' (African rice). The name wild rice is usually used for species of the genera ''Zizania'' and ''Porteresia'', both wild and domesticated, although the term may also be used for primitive or uncultivated varieties of ''Oryza''. As a cereal grain, domesticated rice is the most widely consumed staple food for over half of the world's human population,Abstract, "Rice feeds more than half the world's population." especially in Asia and Africa. It is the agricultural commodity with the third-highest worldwide production, after sugarcane and maize. Since sizable portions of sugarcane and maize crops are used for purposes other than human consumption, rice is the most important food crop with regard to human nutrition and caloric intake, providing more than one-fifth of the calories consumed worldwide by humans. There are many varieties of rice and culinary preferences tend to vary ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
College Of William & Mary Alumni
A college (Latin: ''collegium'') is an educational institution or a constituent part of one. A college may be a degree-awarding tertiary educational institution, a part of a collegiate or federal university, an institution offering vocational education, or a secondary school. In most of the world, a college may be a high school or secondary school, a college of further education, a training institution that awards trade qualifications, a higher-education provider that does not have university status (often without its own degree-awarding powers), or a constituent part of a university. In the United States, a college may offer undergraduate programs – either as an independent institution or as the undergraduate program of a university – or it may be a residential college of a university or a community college, referring to (primarily public) higher education institutions that aim to provide affordable and accessible education, usually limited to two-year associ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Women Engineers
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 previously known as Def American * American University, in Washington, D.C. Sports teams Soccer * B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Aerospace Engineers
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 previously known as Def American * American University, in Washington, D.C. Sports teams Soccer * B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Women 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 previously known as Def American * American University, in Washington, D.C. Sports teams Soccer * B ... [...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 previously known as Def American * American University, in Washington, D.C. Sports teams Soccer * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Year Of Birth Missing (living People)
A year or annus is the orbital period of a planetary body, for example, the Earth, moving in its orbit around the Sun. Due to the Earth's axial tilt, the course of a year sees the passing of the seasons, marked by change in weather, the hours of daylight, and, consequently, vegetation and soil fertility. In temperate and subpolar regions around the planet, four seasons are generally recognized: spring, summer, autumn and winter. In tropical and subtropical regions, several geographical sectors do not present defined seasons; but in the seasonal tropics, the annual wet and dry seasons are recognized and tracked. A calendar year is an approximation of the number of days of the Earth's orbital period, as counted in a given calendar. The Gregorian calendar, or modern calendar, presents its calendar year to be either a common year of 365 days or a leap year of 366 days, as do the Julian calendars. For the Gregorian calendar, the average length of the calendar year (the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
National Science Foundation CAREER Award
The National Science Foundation CAREER awards, presented by the National Science Foundation (NSF), are in support of junior faculty who exemplify the role of teacher-scholars through research and education, and the integration of these endeavors in the context of their organizations' missions. The awards, presented once each year, include a federal grant for research and education activities for five consecutive years. History The Presidential Young Investigators (PYI) program was initiated in 1983, and remained active until the NSF New Young Investigators (NYI) program replaced it in 1992. Both programs were research-oriented, and funded an average of 200 faculty members per year. Another, more selective program began in 1992, when the White House asked NSF to institute the Presidential Faculty Fellows (PFF) program. It awarded young faculty up to $100,000 per year for five years, with no matching-fund option, and put more emphasis on education and outreach. In 1994, the Faculty ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Institute Of Aeronautics And Astronautics
The American Institute of Aeronautics and Astronautics (AIAA) is a professional society for the field of aerospace engineering. The AIAA is the U.S. representative on the International Astronautical Federation and the International Council of the Aeronautical Sciences. In 2015, it had more than 30,000 members among aerospace professionals worldwide (a majority are American and/or live in the United States). History The AIAA was founded in 1963 from the merger of two earlier societies: the American Rocket Society (ARS), founded in 1930 as the American Interplanetary Society (AIS), and the Institute of the Aerospace Sciences (IAS), founded in 1932 as the Institute of the Aeronautical Sciences. Paul Johnston was the first executive director of the organization. Jim Harford took his seat after 18 months. The newly-formed structure gathered 47 technical committees and one broad technical publication, the ''AIAA Journal''. The ''AIAA Student Journal'' was also launched in 1963. T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
