Scholar

Johannes Åman Pohjola

Google Scholar ID: wzZBTOUAAAAJ

University of New South Wales

interactive theorem provingprogram verificationconcurrency theory

Citations & Impact

All-time

Citations

191

H-index

i10-index

Publications

Co-authors

Contact

No contact links provided.

Publications

1 items

2025

Cited

Resume (English only)

Academic Achievements

2025: Published paper 'Verifying device drivers with Pancake' on arXiv preprint
2023: Presented paper 'Pancake: verified systems programming made sweeter' at the PLOS workshop
2023: Published paper 'Purecake: A verified compiler for a lazy functional language' in Proc. ACM Program. Lang.
2022: Presented paper 'A verified cyclicity checker: For theories with overloaded constants' at the International Conference on Interactive Theorem Proving
2022: Presented paper 'Kalas: A verified, end-to-end compiler for a choreographic language' at the International Conference on Interactive Theorem Proving
2020: Published paper 'Psi-calculi revisited: Connectivity and compositionality' in Logical Methods in Computer Science
2020: Presented paper 'Do you have space for dessert? A verified space cost semantics for CakeML programs' at OOPSLA
2020: Presented paper 'A mechanised semantics for HOL with ad-hoc overloading' at LPAR23
2020: Presented paper 'Synthesis of verified architectural components for autonomy hosted on a verified microkernel' at the Hawaii International Conference on System Sciences
2019: Best paper award at FORTE/DisCoTeC

Background

Research Interests: Interactive theorem proving, program verification, and concurrency theory, specifically for the Pancake language.

Miscellany

Co-authors

0 total

Co-authors: 0 (list not available)