Benjamin C. Pierce (original) (raw)
- بنجامين س. بيرس (بالإنجليزية: Benjamin C. Pierce) هو عالم حاسوب ومهندس أمريكي، ولد في 1963. (ar)
- Benjamin Crawford Pierce is the Henry Salvatori Professor of computer science at the University of Pennsylvania. Pierce joined Penn in 1998 from Indiana University and held research positions at the University of Cambridge and the University of Edinburgh. He received his Ph.D. from Carnegie Mellon University in 1991. His research includes work on programming languages, static type systems, distributed programming, mobile agents, process calculi, and differential privacy. As part of his research, Pierce has led development on several open-source software projects, including the Unison file synchronization utility. In 2012 Pierce became an ACM Fellow for "contributions to the theory and practice of programming languages and their type systems". In 2015 Pierce and co-authors received the award for the most influential Principles of Programming Languages paper, which was described as "instrumental in bringing the view-update problem to the attention of the programming languages community and demonstrating the broad relevance of the problem beyond databases. [...] More broadly, the paper sparked a great deal of follow-on work in the area of BX (“bidirectional transformations”), leading to a fruitful collaboration between the worlds of databases, programming languages, and software engineering." (en)
- 1381961 (xsd:integer)
- 3532 (xsd:nonNegativeInteger)
- 1122685724 (xsd:integer)
- dbr:Carnegie_Mellon_University
- dbc:Programming_language_researchers
- dbr:University_of_Cambridge
- dbr:University_of_Edinburgh
- dbr:University_of_Pennsylvania
- dbc:Living_people
- dbc:Year_of_birth_missing_(living_people)
- dbr:Process_calculi
- dbr:Computer_science
- dbr:Programming_language_theory
- dbr:Types_and_Programming_Languages
- dbc:American_computer_scientists
- dbc:University_of_Pennsylvania_faculty
- dbr:ACM_Fellow
- dbr:POPLmark_challenge
- dbr:Differential_privacy
- dbr:John_C._Reynolds
- dbr:Bidirectional_transformation
- dbr:Mobile_agent
- dbr:File_synchronization
- dbr:Indiana_University_Bloomington
- dbr:Open-source_software
- dbr:Category_theory
- dbr:Robert_Harper_(computer_scientist)
- dbr:Distributed_programming
- dbr:Static_type_system
- dbr:Principles_of_Programming_Languages
- dbr:Type_systems
- dbr:Mathematical_Foundations_of_Programming_Semantics
- Mathematical Foundations of Programming Semantics 24 (en)
- Programming with Intersection Types and Bounded Polymorphism (en)
- 1991 (xsd:integer)
- dbt:Compu-bio-stub
- dbt:DBLP
- dbt:Authority_control
- dbt:ISBN
- dbt:Short_description
- dbt:MathGenealogy
- dbt:Infobox_scientist
- dbc:Programming_language_researchers
- dbc:Living_people
- dbc:Year_of_birth_missing_(living_people)
- dbc:American_computer_scientists
- dbc:University_of_Pennsylvania_faculty
- owl:Thing
- foaf:Person
- dbo:Person
- dul:NaturalPerson
- wikidata:Q19088
- wikidata:Q215627
- wikidata:Q5
- wikidata:Q729
- yago:WikicatAmericanComputerScientists
- dbo:Animal
- dbo:Eukaryote
- dbo:Scientist
- dbo:Species
- schema:Person
- yago:WikicatLivingPeople
- wikidata:Q901
- yago:CausalAgent100007347
- yago:ComputerScientist109951070
- yago:ComputerUser109951274
- yago:LivingThing100004258
- yago:Object100002684
- yago:Organism100004475
- yago:Person100007846
- yago:PhysicalEntity100001930
- yago:ResearchWorker110523076
- yago:YagoLegalActor
- yago:YagoLegalActorGeo
- yago:Scientist110560637
- yago:Whole100003553
- yago:WikicatProgrammingLanguageResearchers
- بنجامين س. بيرس (بالإنجليزية: Benjamin C. Pierce) هو عالم حاسوب ومهندس أمريكي، ولد في 1963. (ar)
- Benjamin Crawford Pierce is the Henry Salvatori Professor of computer science at the University of Pennsylvania. Pierce joined Penn in 1998 from Indiana University and held research positions at the University of Cambridge and the University of Edinburgh. He received his Ph.D. from Carnegie Mellon University in 1991. His research includes work on programming languages, static type systems, distributed programming, mobile agents, process calculi, and differential privacy. (en)
- بنجامين س. بيرس (ar)
- Benjamin C. Pierce (en)
- freebase:Benjamin C. Pierce
- http://viaf.org/viaf/37023814
- yago-res:Benjamin C. Pierce
- http://d-nb.info/gnd/137449976
- https://dblp.org/pid/p/BenjaminCPierce
- wikidata:Benjamin C. Pierce
- http://data.bibliotheken.nl/id/thes/p111859417
- dbpedia-ar:Benjamin C. Pierce
- http://mg.dbpedia.org/resource/Benjamin_C._Pierce
- https://global.dbpedia.org/id/4XZkC
is dbo:developer of
is dbo:doctoralStudent of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
- dbr:School_of_Informatics,_University_of_Edinburgh
- dbr:List_of_fellows_of_the_Association_for_Computing_Machinery
- dbr:Dependent_ML
- dbr:List_of_University_of_Edinburgh_people
- dbr:International_Conference_on_Concurrency_Theory
- dbr:List_of_programming_language_researchers
- dbr:Coq
- dbr:Symposium_on_Logic_in_Computer_Science
- dbr:Bounded_quantification
- dbr:Fundamental_Concepts_in_Programming_Languages
- dbr:Partial_application
- dbr:Pict_(programming_language)
- dbr:Pierce_(surname)
- dbr:Programming_language_theory
- dbr:Typed_assembly_language
- dbr:Types_and_Programming_Languages
- dbr:Garbage_(computer_science)
- dbr:POPLmark_challenge
- dbr:Benjamin_Pierce
- dbr:Robert_Goldblatt
- dbr:Abstraction_principle_(computer_programming)
- dbr:John_C._Reynolds
- dbr:IFIP_Working_Group_2.3
- dbr:Programming_language
- dbr:SIGPLAN
- dbr:AATaPL
- dbr:Advanced_Topics_in_Types_and_Programming_Languages
is dbp:doctoralStudents of
is foaf:primaryTopic of