World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
34
Citations
3930
World Ranking
12300
National Ranking
4980

Overview

Nick Benton is affiliated with Facebook in the United States. Their academic contributions include work published in the field of computer science.

Their recent publication record includes the following paper:

  • "JUCS - Journal of Universal Computer Science," 2020, published in Zenodo (CERN European Organization for Nuclear Research)

Nick Benton has collaborated with several frequent co-authors in their research activities. These include:

  • Roberto S. Bigonha
  • Martín A. Musicante
  • Alberto Pardo
  • Alex Garcia
  • Alfio Martini

Their research has appeared in the venue:

  • Zenodo (CERN European Organization for Nuclear Research)

The available data does not specify particular main fields or subfields of study, nor does it indicate specific topic areas beyond the general domain of computer science associated with their publications.

Best Publications

  • Simple relational correctness proofs for static analyses and program transformations

    Nick Benton

  • Modern concurrency abstractions for C

    Nick Benton;Luca Cardelli;Cédric Fournet

  • Compiling standard ML to Java bytecodes

    Nick Benton;Andrew Kennedy;George Russell

  • A term calculus for Intuitionistic Linear Logic

    Unknown

  • Monads and Effects

    Nick Benton;John Hughes;Eugenio Moggi

  • Monads and effects

    Nick Benton;John Hughes;Eugenio Moggi

  • Term assignment for intuitionistic linear logic (preliminary report)

    Nick Benton;Gavin Bierman;Valeria de Paiva

  • Linear logic, monads and the lambda calculus

    N. Benton;P. Wadler

  • Biorthogonality, step-indexing and compiler correctness

    Nick Benton;Chung-Kil Hur

  • Term Assignment for Intuitionistic Linear Logic

    Nick Benton;Gavin Bierman;Martin Hyland;Valeria de Paiva

  • Strongly Typed Term Representations in Coq

    Nick Benton;Chung-Kil Hur;Andrew J. Kennedy;Conor Mcbride

  • Ultrametric Semantics of Reactive Programs

    Neelakantan R. Krishnaswami;Nick Benton

  • Relational reasoning in a nominal semantics for storage

    Nick Benton;Benjamin Leperchey

  • Linear λ-calculus and categorical models revisited

    Nick Benton;Gavin Bierman;Valeria de Paiva;Martin Hyland

  • Some Domain Theory and Denotational Semantics in Coq

    Nick Benton;Andrew Kennedy;Carsten Varming

  • Some Domain Theory and Denotational Semantics in Coq

    Nick Benton;Andrew Kennedy;Carsten Varming

  • High-level separation logic for low-level code

    Jonas B. Jensen;Nick Benton;Andrew Kennedy

  • Exceptional syntax

    Nick Benton;Andrew Kennedy

  • Integrating Linear and Dependent Types

    Neelakantan R. Krishnaswami;Pierre Pradic;Nick Benton

  • Semantics of an effect analysis for exceptions

    Nick Benton;Peter Buchlovsky

  • Simple relational correctness proofs for static analyses and program transformations

    Unknown

  • Interlanguage working without tears: blending SML with Java

    Nick Benton;Andrew Kennedy

  • A typed, compositional logic for a stack-based abstract machine

    Nick Benton

Frequent Co-Authors

Martin Hofmann
Martin Hofmann Ludwig-Maximilians-Universität München
Lars Birkedal
Lars Birkedal Aarhus University
John Hughes
John Hughes Chalmers University of Technology
Greg Morrisett
Greg Morrisett Cornell University
Robert Harper
Robert Harper Carnegie Mellon University
Luca Cardelli
Luca Cardelli University of Oxford
Cédric Fournet
Cédric Fournet Microsoft (United States)
Philip Wadler
Philip Wadler University of Edinburgh

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens doors to a wide range of related degrees and career opportunities. Many students choose to complement their studies with fields such as engineering, physics, and data science, all of which have affordable and flexible online options.

Those interested in engineering may consider the cheapest online master's mechanical engineering programs, which offer specialization in applied technologies and innovation. If you lean towards physics, exploring an online theoretical physics degree can provide a strong foundation for research or teaching careers.

The data sector is booming, making a data scientist degree ideal for those interested in analytics, artificial intelligence, and business intelligence roles. Engineering-minded students may also benefit from learning about electrical engineering degree online admissions, which can fast-track careers in robotics, automation, or electronics.

Online programs in these areas make it easier to gain essential skills and credentials—often at a lower cost and with more flexibility—broadening your career prospects in high-demand tech fields.

Best Scientists Citing Nick Benton

Trending Scientists

Recently Published Articles