|
Patrick Cousot
Patrick Cousot (born 3 December 1948) is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA. Before he was Professor at the École Normale Supérieure (ENS), Paris, France, the École Polytechnique, Palaiseau, France and the University of Metz, France and a Research Scientist at the French National Center for Scientific Research (CNRS) at the Joseph Fourier University, Grenoble, France. Together with his wife Radhia Cousot (1947–2014), Patrick Cousot is the originator of abstract interpretation, an influential technique in formal methods. In the 2000s, he has worked on practical methods of static analysis for critical embedded software ( Astrée), such as found in avionics. In 1999 he received the CNRS Silver Medal and in 2006 the great prize of the EADS Foundation. In 2001, he was bestowed an honorary doctorate by Saarland University, Germany. With Radhia Cousot, he receiv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
New York City
New York, often called New York City or NYC, is the List of United States cities by population, most populous city in the United States. With a 2020 population of 8,804,190 distributed over , New York City is also the List of United States cities by population density, most densely populated major city in the United States, and is more than twice as populous as second-place Los Angeles. New York City lies at the southern tip of New York (state), New York State, and constitutes the geographical and demographic center of both the Northeast megalopolis and the New York metropolitan area, the largest metropolitan area in the world by urban area, urban landmass. With over 20.1 million people in its metropolitan statistical area and 23.5 million in its combined statistical area as of 2020, New York is one of the world's most populous Megacity, megacities, and over 58 million people live within of the city. New York City is a global city, global Culture of New ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
École Normale Supérieure , a Japanese video-games developer/publisher
{{disambiguation, geo ...
École may refer to: * an elementary school in the French educational stages normally followed by secondary education establishments (collège and lycée) * École (river), a tributary of the Seine flowing in région Île-de-France * École, Savoie, a French commune * École-Valentin, a French commune in the Doubs département * Grandes écoles, higher education establishments in France * The École, a French-American bilingual school in New York City Ecole may refer to: * Ecole Software This is a list of Notability, notable video game companies that have made games for either computers (like PC or Mac), video game consoles, handheld or mobile devices, and includes companies that currently exist as well as now-defunct companies. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IEEE John Von Neumann Medal
The IEEE John von Neumann Medal was established by the IEEE Board of Directors in 1990 and may be presented annually "for outstanding achievements in computer-related science and technology." The achievements may be theoretical, technological, or entrepreneurial, and need not have been made immediately prior to the date of the award. The medal is named after John von Neumann. Recipients The following people have received the IEEE John von Neumann Medal: See also * List of computer science awards * John von Neumann Theory Prize awarded by the Institute for Operations Research and the Management Sciences (INFORMS). * Prizes named after people References Computer science awards John von Neumann Medal The IEEE John von Neumann Medal was established by the IEEE Board of Directors in 1990 and may be presented annually "for outstanding achievements in computer-related science and technology." The achievements may be theoretical, technological, or ... Awards established ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Humboldt Research Award
The Humboldt Prize, the Humboldt-Forschungspreis in German, also known as the Humboldt Research Award, is an award given by the Alexander von Humboldt Foundation of Germany to internationally renowned scientists and scholars who work outside of Germany in recognition of their lifetime's research achievements. Recipients are "academics whose fundamental discoveries, new theories or insights have had a significant impact on their own discipline and who are expected to continue producing cutting-edge academic achievements in the future". The prize is currently valued at €60,000 with the possibility of further support during the prize winner's life. Up to one hundred such awards are granted each year. Nominations must be submitted by established academics in Germany. The award is named after the Prussian naturalist and explorer Alexander von Humboldt. Past winners Biology Günter Blobel, Serge Daan, Aaron M. Ellison, Eberhard Fetz, Daniel Gianola, Hendrikus Granzier, Dan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harlan Mills
Harlan D. Mills (May 14, 1919 – January 8, 1996) was Professor of Computer Science at the Florida Institute of Technology and founder of Software Engineering Technology, Inc. of Vero Beach, Florida (since acquired by Q-Labs). Mills' contributions to software engineering have had a profound and enduring effect on education and industrial practice. Since earning his Ph.D. in Mathematics at Iowa State University in 1952, Mills led a distinguished career. As an IBM research fellow, Mills adapted existing ideas from engineering and computer science to software development. These included automata theory, the structured programming theory of Edsger Dijkstra, Robert W. Floyd, and others, and Markov chain-driven software testing. His Cleanroom software development process emphasized top-down design and formal specification. Mills contributed his ideas to the profession in six books and over fifty refereed articles in technical journals. Mills was termed a "super-programmer", a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Germany
Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated between the Baltic and North seas to the north, and the Alps to the south; it covers an area of , with a population of almost 84 million within its 16 constituent states. Germany borders Denmark to the north, Poland and the Czech Republic to the east, Austria and Switzerland to the south, and France, Luxembourg, Belgium, and the Netherlands to the west. The nation's capital and most populous city is Berlin and its financial centre is Frankfurt; the largest urban area is the Ruhr. Various Germanic tribes have inhabited the northern parts of modern Germany since classical antiquity. A region named Germania was documented before AD 100. In 962, the Kingdom of Germany formed the bulk of the Holy Roman Empire. During the 16th ce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Avionics
Avionics (a blend word, blend of ''aviation'' and ''electronics'') are the Electronics, electronic systems used on aircraft. Avionic systems include communications, Air navigation, navigation, the display and management of multiple systems, and the hundreds of systems that are fitted to aircraft to perform individual functions. These can be as simple as a searchlight for a police helicopter or as complicated as the tactical system for an airborne early warning platform. History The term "avionics" was coined in 1949 by Philip J. Klass, senior editor at ''Aviation Week & Space Technology'' magazine as a portmanteau of "aviation electronics". Radio communication was first used in aircraft just prior to World War I. The first Airborne radio relay, airborne radios were in zeppelins, but the military sparked development of light radio sets that could be carried by heavier-than-air craft, so that aerial reconnaissance biplanes could report their observations immediately in case ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Astrée (static Analysis)
Astrée ("Analyseur statique de logiciels temps-réel embarqués") is a static analysis, static analyzer based on abstract interpretation. It analyzes programs written in C (programming language), the C programming language and outputs an exhaustive list of possible runtime errors and assertion (programming), assertion violations. The defect classes covered include division by zero, divisions by zero, buffer overflows, dereferences of null pointer, null or dangling pointers, data races, deadlocks, etc. Astrée includes a static taint checking, taint checker and helps finding Vulnerability (computing), cybersecurity vulnerabilities, such as Spectre (security vulnerability), Spectre. The tool is tailored towards safety-critical embedded code: specific analysis techniques are used for common control theory constructs (finite state machines, digital filters, rate limiters...) and floating-point numbers. Concurrent code is analyzed with a sound interleaving semantics that is aware of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Static Code Analysis
In computer science, static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution. The term is usually applied to analysis performed by an automated tool, with human analysis typically being called "program understanding", program comprehension, or code review. In the last of these, software inspection and software walkthroughs are also used. In most cases the analysis is performed on some version of a program's source code, and, in other cases, on some form of its object code. Rationale The sophistication of the analysis performed by tools varies from those that only consider the behaviour of individual statements and declarations, to those that include the complete source code of a program in their analysis. The uses of the information obtained from the analysis vary from highlighting possible coding errors (e.g., the lint t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. Background Semi-Formal Methods are formalisms and languages that are not considered fully “formal”. It defers the task of completing the semantics to a later stage, which is then done either by human interpretation or by interpretation through software like code or test case generators. Taxonomy Formal methods can be used at a number of levels: Level 0: Formal specification may ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstract Interpretation
In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g., control-flow, data-flow) without performing all the calculations. Its main concrete application is formal static analysis, the automatic extraction of information about the possible executions of computer programs; such analyses have two main usages: * inside compilers, to analyse programs to decide whether certain optimizations or transformations are applicable; * for debugging or even the certification of programs against classes of bugs. Abstract interpretation was formalized by the French computer scientist working couple Patrick Cousot and Radhia Cousot in the late 1970s. Intuition This section illustrates abstract interpretation by means of real-world, non-computing example ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joseph Fourier University
Joseph Fourier University (UJF, french: Université Joseph Fourier, also known as Grenoble I) was a French university situated in the city of Grenoble and focused on the fields of sciences, technologies and health. It is now part of the Université Grenoble Alpes. Importance According to the 2009 ARWU, Joseph Fourier University is the sixth best university in France. Joseph Fourier University is also the fourth best university in Engineering & IT nationally and 115th globally in QS World University Rankings. The origins of this scientific university can be traced all the way back to 1811 when the scientist Joseph Fourier established a faculty of science in Grenoble. Nowadays, more than 18,000 undergraduate and graduate students participate to the life of this university. More than 2,000 are international or exchange students. Joseph Fourier University is not only famous for its alumni, but also for its commitment to fundamental as well as applied research and innovation. Part o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
