What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Algebra
His primary areas of investigation include Programming language, Theoretical computer science, XML, Type safety and Subtyping.
His Programming language research integrates issues from XML validation and Document Structure Description.
The study incorporates disciplines such as Algorithm, Type inference, Scala and Combinatory logic in addition to Theoretical computer science.
His XML study integrates concerns from other disciplines, such as Regular expression and Data structure.
His Type safety research is multidisciplinary, incorporating elements of Java, Reflection, Interface and Type system.
His Subtyping study combines topics from a wide range of disciplines, such as Abstract data type and System F.
His most cited work include:
- Types and Programming Languages (1812 citations)
- Featherweight Java: a minimal core calculus for Java and GJ (862 citations)
- Basic Category Theory for Computer Scientists (399 citations)
What are the main themes of his work throughout his whole career to date?
Benjamin C. Pierce spends much of his time researching Programming language, Theoretical computer science, Subtyping, Algorithm and Discrete mathematics.
His study focuses on the intersection of Programming language and fields such as XML with connections in the field of Regular expression.
His Theoretical computer science research is multidisciplinary, incorporating perspectives in Combinatory logic, Differential privacy, Data structure and Type safety.
His studies deal with areas such as Metatheory and Type as well as Subtyping.
His Discrete mathematics study frequently draws connections to other fields, such as Bounded quantification.
He studies Operational semantics, focusing on Denotational semantics in particular.
He most often published in these fields:
- Programming language (39.15%)
- Theoretical computer science (23.84%)
- Subtyping (11.03%)
What were the highlights of his more recent work (between 2014-2021)?
- Programming language (39.15%)
- Acceptance and commitment therapy (4.27%)
- Theoretical computer science (23.84%)
In recent papers he was focusing on the following fields of study:
Benjamin C. Pierce mainly investigates Programming language, Acceptance and commitment therapy, Theoretical computer science, Clinical psychology and Abstract machine.
He performs multidisciplinary study in Programming language and Random testing in his work.
His Acceptance and commitment therapy research includes elements of Psychotherapist, Mental health, Mindfulness and Medical education.
Benjamin C. Pierce does research in Theoretical computer science, focusing on Functional programming specifically.
His work deals with themes such as Context and Mobile apps, which intersect with Clinical psychology.
His work is dedicated to discovering how Abstract machine, Computer security are connected with Undefined behavior and Component and other disciplines.
Between 2014 and 2021, his most popular works were:
- Web-based Acceptance and Commitment Therapy for Mental Health Problems in College Students: A Randomized Controlled Trial (70 citations)
- Architectural Support for Software-Defined Metadata Processing (58 citations)
- Foundational Property-Based Testing (36 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Algebra
His main research concerns Programming language, Clinical psychology, Formal verification, Mental health and Acceptance and commitment therapy.
His Programming language study frequently draws connections between related disciplines such as Bijection.
His research integrates issues of Compartmentalization, Operational semantics, Operating system, Compiler correctness and Principle of least privilege in his study of Formal verification.
Benjamin C. Pierce combines subjects such as Mindfulness, Generalization, The Internet and Mobile apps with his study of Acceptance and commitment therapy.
His Semantics research incorporates themes from Soundness, Bisimulation, Theoretical computer science and Coinduction.
His Theoretical computer science study frequently links to other fields, such as Security policy.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
