|
Jean-Éric Pin
Jean-Éric Pin is a French mathematician and theoretical computer scientist known for his contributions to the algebraic automata theory and semigroup theory. He is a CNRS research director. Biography Pin earned his undergraduate degree from ENS Cachan in 1976 and his doctorate (Doctorat d'état) from the Pierre and Marie Curie University in 1981. Since 1988 he has been a CNRS research director at Paris Diderot University. In the years 1992–2006 he was a professor at École Polytechnique. Pin is a member of the Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ... (2011) and an EATCS fellow (2014). In 2018, Pin became the first recipient of the Salomaa Prize in Automata Theory, Formal Languages, and Related Topics. References External links Personal page ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Language Theory
In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules. The alphabet of a formal language consists of symbols, letters, or tokens that concatenate into strings of the language. Each string concatenated from symbols of this alphabet is called a word, and the words that belong to a particular formal language are sometimes called ''well-formed words'' or ''well-formed formulas''. A formal language is often defined by means of a formal grammar such as a regular grammar or context-free grammar, which consists of its formation rules. In computer science, formal languages are used among others as the basis for defining the grammar of programming languages and formalized versions of subsets of natural languages in which the words of the language represent concepts that are associated with particular meanings or semantics. In computational complexity t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
École Polytechnique , 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 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. See the lis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theoretical Computer Scientists
A theory is a rational type of abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with such processes as observational study or research. Theories may be scientific, belong to a non-scientific discipline, or no discipline at all. Depending on the context, a theory's assertions might, for example, include generalized explanations of how nature works. The word has its roots in ancient Greek, but in modern use it has taken on several related meanings. In modern science, the term "theory" refers to scientific theories, a well-confirmed type of explanation of nature, made in a way consistent with the scientific method, and fulfilling the criteria required by modern science. Such theories are described in such a way that scientific tests should be able to provide empirical support for it, or empirical contradiction (" falsify") of it. Scientific theories are the most reliable, rigorous, and co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
French Computer Scientists
French (french: français(e), link=no) may refer to: * Something of, from, or related to France ** French language, which originated in France, and its various dialects and accents ** French people, a nation and ethnic group identified with France ** French cuisine French cuisine () is the cooking traditions and practices from France. It has been influenced over the centuries by the many surrounding cultures of Spain, Italy, Switzerland, Germany and Belgium, in addition to the food traditions of the re ..., cooking traditions and practices Fortnite French places Arts and media * The French (band), a British rock band * French (episode), "French" (episode), a live-action episode of ''The Super Mario Bros. Super Show!'' * Française (film), ''Française'' (film), 2008 * French Stewart (born 1964), American actor Other uses * French (surname), a surname (including a list of people with the name) * French (tunic), a particular type of military jacket or tunic used in the R ... [...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] |
Arto Salomaa
Arto K. Salomaa (born 6 June 1934) is a Finnish mathematician and computer scientist. His research career, which spans over forty years, is focused on formal languages and automata theory. Early life and education Salomaa was born in Turku, Finland on June 6, 1934. He earned a Bachelor's degree from the University of Turku in 1954 and a PhD from the same university in 1960. Salomaa's father was a professor of philosophy at the University of Turku. Salomaa was introduced to the theory of automata and formal languages during seminars at Berkeley given by John Myhill in 1957. Career In 1965, Salomaa became a professor of mathematics at the University of Turku, a position he retired from in 1999. He also spent two years in the late 1960s at the University of Western Ontario in London, Ontario, Canada, and two years in the 1970s at Aarhus University in Aarhus, Denmark.. Salomaa was president of the European Association for Theoretical Computer Science from 1979 until 1985. Publicat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
EATCS
The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science. The major activities of the EATCS are: * Organization of ICALP, the International Colloquium on Automata, Languages and Programming;Brauer, Ute; Brauer, WilfriedEuropean Association for Theoretical Computer Science / About the Association / Silver Jubilee of EATCS/ref> * Publication of the ''Bulletin of the EATCS''; * Publication of a series of monographs and texts on theoretical computer science; * Publication of the journal ''Theoretical Computer Science''; * Publication of the journal ''Fundamenta Informaticae''. EATCS Award Each year, the EATCS Award is awarded in recognition of a distinguished career in theoretical computer science. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academia Europaea
The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of European interests in national research agencies. History The concept of a 'European Academy of Sciences' was raised at a meeting in Paris of the European Ministers of Science in 1985. The initiative was taken by the Royal Society (United Kingdom) which resulted in a meeting in London in June 1986 of Arnold Burgen (United Kingdom), Hubert Curien (France), Umberto Colombo (Italy), David Magnusson (Sweden), Eugen Seibold (Germany) and Ruurd van Lieshout (the Netherlands) – who agreed to the need for a new body. The two key purposes of Academia Europaea are: * express ideas and opinions of individual scientists from Europe * act as co-ordinator of European interests in national research agencies It does not aim to replace existing national ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paris Diderot University
Paris Diderot University, also known as Paris 7 (french: Université Paris Diderot), was a French university located in Paris, France. It was one of the inheritors of the historic University of Paris, which was split into 13 universities in 1970. Paris Diderot merged with Paris Descartes University in 2019 to form Paris Cité University. With two Nobel Prize laureates, two Fields Medal winners and two former French Ministers of Education among its faculty or former faculty, the university was famous for its teaching in science, especially in mathematics. Many fundamental results of the theory of probability were discovered at one of its research centres, the ''Laboratoire de Probabilités et Modèles Aléatoires'' (Laboratory of Probability and Random Models). History Paris Diderot University was one of the heirs of the old University of Paris, which ceased to exist in 1970. Professors from the faculties of Science, of Medicine and of Humanities chose then to create a new mul ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semigroup Theory
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it. The binary operation of a semigroup is most often denoted multiplicatively: ''x''·''y'', or simply ''xy'', denotes the result of applying the semigroup operation to the ordered pair . Associativity is formally expressed as that for all ''x'', ''y'' and ''z'' in the semigroup. Semigroups may be considered a special case of magmas, where the operation is associative, or as a generalization of groups, without requiring the existence of an identity element or inverses. The closure axiom is implied by the definition of a binary operation on a set. Some authors thus omit it and specify three axioms for a group and only one axiom (associativity) for a semigroup. As in the case of groups or magmas, the semigroup operation need not be commutative, so ''x''·''y'' is not necessarily equal to ''y''·''x''; a well-known example of an operation that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
