• Sign in
  • Sign up
conf.researchr.org / Jonathan Sterling
  • ICFP 2019 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • POPL 2024 profile
Jonathan Sterling

Registered user since Thu 26 Aug 2021

Name:Jonathan Sterling
Bio:

I am an Associate Professor in Logical Foundations and Formal Methods at University of Cambridge. I study programming languages and semantics using type theory, category theory, domain theory, and topos theory as a guide

Country:United Kingdom
Affiliation:University of Cambridge
Personal website: http://www.jonmsterling.com/
GitHub: https://github.com/jonsterling
Research interests:semantics, type theory, category theory, topos theory

Contributions

2025

SPLASH

  • Committee Member in OOPSLA Review Committee within the OOPSLA-track

2024

POPL

  • Author of The Essence of Generalized Algebraic Data Types within the POPL-track
  • Author of Decalf: A Directed, Effectful Cost-Aware Logical Framework within the POPL-track

2023

ICFP

  • Committee Member in Program Committee within the ICFP Papers and Events-track

POPL

  • Committee Member in Program Committee within the POPL-track

2022

TyDe

  • Committee Member in Program Committee within the TyDe 2022-track

POPL

  • Author of A Cost-Aware Logical Framework within the POPL-track

WITS

  • Invited Speaker of Make Three To Throw Away: Frontiers in Homotopical Proof Assistants within the WITS 2022-track

2021

ML

  • Author of A metalanguage for multi-phase modularity within the ML 2021-track

2019

ICFP

  • Author of Implementing a Modal Dependent Type Theory within the Research Papers-track
Share
xMon 12 May 08:49
using conf.researchr.org (v1.69.0)
Support page
Sign Up