| dbo:abstract
|
- جيرار بيري (بالفرنسية: Gérard Berry) هو مهندس وعالم حاسوب فرنسي، ولد في 25 ديسمبر 1948. (ar)
- Gérard Berry (* 25. Dezember 1948) ist ein französischer Informatiker und Professor am Collège de France. Berry studierte ab 1967 an der École polytechnique und ab 1970 an der École des Mines in Paris. Ab 1977 war er an der Zweigstelle der École des Mines in Sophia Antipolis. 1976 wurde er an der Universität Paris VII in Informatik promoviert (Thèse de 3eme cycle: Calculs Ascendants des Programmes Récursifs) und 1979 habilitiert (Thèse de Doctorat: Modèles complètement adéquats et stables des lambda-calculs typés). Er befasst sich mit Programmiersprachen, dem Lambda-Kalkül, Programmverifikation, Echtzeit- und Parallel-Programmiersprachen und Sprachen zum Entwurf logischer Schaltkreise. In den 1970er Jahren war er einer der ursprünglichen Entwickler der Echtzeit-Programmiersprache Esterel, die er ab 2000 als Chef-Wissenschaftler der Firma Esterel Technologies entwickelte. Er war bis 2009 Chefwissenschaftler bei Esterel. Ab 2008 lehrte er auch am College de France, zunächst auf dem Technology Innovation Chair Liliane Bettencourt, dort war er 2009 bis 2010 und ab 2012 Professor. Dazwischen war er Forschungsdirektor für die INRIA in Sophia Antipolis. Das Berry-Sethi-Verfahren ist nach ihm und benannt. Er ist Mitglied der Academia Europaea (1993), der Académie des sciences (2002) und der Académie des technologies (2005). 2014 erhielt er die Médaille d’or du CNRS. Er ist Ritter des Ordre des palmes académiques, ab 2008 des Ordre du mérite und ab 2012 der Ehrenlegion. Er gehört zu den Pataphysikern. (de)
- Gérard BERRY, kiu naskiĝis la 25-an de decembro 1948, estas instruisto pri informadiko en la Kolegio de Francio. Pro la multaj aplikoj de siaj laboroj en la industrio, li akiris multfoje distingojn, el kiuj la oran medalon de CNRS li ricevis en 2014. (eo)
- Gérard Philippe Berry (n. 1948) es un informático teórico francés, miembro de la Academia de las Ciencias francesa, la y la Academia Europæa. Fue Chief Scientist Officer del entre 2000 y 2009. Actualmente es Director de Investigación de INRIA y trabaja en el Collège de France. El trabajo de Berry, a lo largo de tres décadas, incluye importantes contribuciones especialmente en los siguientes campos.
* Cálculo lambda y programación funcional;
* lenguajes de programación paralela y en tiempo real;
* Automatización de diseño electrónico para circuitos digitales sincrónicos. Berry es conocido también por su crucial participación en el desarrollo del lenguaje de programación . (es)
- Gérard Philippe Berry (born 25 December 1948) is a French computer scientist, member of the French Academy of Sciences (Académie des sciences), French Academy of Technologies (Académie des technologies), and Academia Europaea. He was the Chief Scientist Officer of Esterel Technologies from 2000 to 2009. He held the 2007-2008 yearly Liliane Bettencourt chair of Technological Innovation at the Collège de France. He was Director of Research at INRIA Sophia-Antipolis and held the 2009-2010 yearly Informatics and Digital Sciences chair at the Collège de France. Berry's work, which spans over more than 30 years, brought important contributions to three main fields:
* lambda calculus and functional programming
* parallel and real-time programming languages
* design automation for synchronous digital circuits Berry is known for the Esterel programming language. (en)
- Gérard Berry, né le 25 décembre 1948, est un informaticien français, professeur au Collège de France, membre de l'Académie des sciences française (depuis 2002), de l'Académie des technologies (depuis 2005), et de l'Academia Europaea (depuis 1993). (fr)
- Gérard Philippe Berry (25 de dezembro de 1948) é um cientista da computação francês. É membro da Académie des Sciences, da e da Academia Europaea. Foi cientista chefe oficial da , de 2000 a 2009. Deteve a cadeira anual Liliane Bettencourt 2007-2008 de inovação tecnológica do Collège de France. É atualmente diretor de pesquisa do INRIA. Seu trabalho contribui em três principais campos:
* Cálculo lambda e programação funcional;
* Linguagens de programação paralela e em tempo real, e
* Projeto de automação de . Berry é mais conhecido por ter concebido a linguagem de programação . (pt)
|
| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:birthDate
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3739 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:birthDate
| |
| dbp:caption
|
- Gérard Berry in 2008 (en)
|
| dbp:field
| |
| dbp:name
| |
| dbp:nationality
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workInstitutions
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- جيرار بيري (بالفرنسية: Gérard Berry) هو مهندس وعالم حاسوب فرنسي، ولد في 25 ديسمبر 1948. (ar)
- Gérard BERRY, kiu naskiĝis la 25-an de decembro 1948, estas instruisto pri informadiko en la Kolegio de Francio. Pro la multaj aplikoj de siaj laboroj en la industrio, li akiris multfoje distingojn, el kiuj la oran medalon de CNRS li ricevis en 2014. (eo)
- Gérard Berry, né le 25 décembre 1948, est un informaticien français, professeur au Collège de France, membre de l'Académie des sciences française (depuis 2002), de l'Académie des technologies (depuis 2005), et de l'Academia Europaea (depuis 1993). (fr)
- Gérard Philippe Berry (25 de dezembro de 1948) é um cientista da computação francês. É membro da Académie des Sciences, da e da Academia Europaea. Foi cientista chefe oficial da , de 2000 a 2009. Deteve a cadeira anual Liliane Bettencourt 2007-2008 de inovação tecnológica do Collège de France. É atualmente diretor de pesquisa do INRIA. Seu trabalho contribui em três principais campos:
* Cálculo lambda e programação funcional;
* Linguagens de programação paralela e em tempo real, e
* Projeto de automação de . Berry é mais conhecido por ter concebido a linguagem de programação . (pt)
- Gérard Berry (* 25. Dezember 1948) ist ein französischer Informatiker und Professor am Collège de France. Berry studierte ab 1967 an der École polytechnique und ab 1970 an der École des Mines in Paris. Ab 1977 war er an der Zweigstelle der École des Mines in Sophia Antipolis. 1976 wurde er an der Universität Paris VII in Informatik promoviert (Thèse de 3eme cycle: Calculs Ascendants des Programmes Récursifs) und 1979 habilitiert (Thèse de Doctorat: Modèles complètement adéquats et stables des lambda-calculs typés). Das Berry-Sethi-Verfahren ist nach ihm und benannt. (de)
- Gérard Philippe Berry (born 25 December 1948) is a French computer scientist, member of the French Academy of Sciences (Académie des sciences), French Academy of Technologies (Académie des technologies), and Academia Europaea. He was the Chief Scientist Officer of Esterel Technologies from 2000 to 2009. He held the 2007-2008 yearly Liliane Bettencourt chair of Technological Innovation at the Collège de France. He was Director of Research at INRIA Sophia-Antipolis and held the 2009-2010 yearly Informatics and Digital Sciences chair at the Collège de France. Berry's work, which spans over more than 30 years, brought important contributions to three main fields: (en)
- Gérard Philippe Berry (n. 1948) es un informático teórico francés, miembro de la Academia de las Ciencias francesa, la y la Academia Europæa. Fue Chief Scientist Officer del entre 2000 y 2009. Actualmente es Director de Investigación de INRIA y trabaja en el Collège de France. El trabajo de Berry, a lo largo de tres décadas, incluye importantes contribuciones especialmente en los siguientes campos.
* Cálculo lambda y programación funcional;
* lenguajes de programación paralela y en tiempo real;
* Automatización de diseño electrónico para circuitos digitales sincrónicos. (es)
|
| rdfs:label
|
- جيرار بيري (ar)
- Gérard Berry (de)
- Gérard Berry (eo)
- Gérard Berry (es)
- Gérard Berry (en)
- Gérard Berry (fr)
- Gérard Berry (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:person
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:leaderName
of | |
| is dbp:name
of | |
| is foaf:primaryTopic
of | |
