Samuel Grahn
Samuel Grahn Samuel Grahn

PhD Student

Uppsala University

About Me

This page is currently under construction!

I am a PhD student at Uppsala University, working on formal verification of concurrent systems. I have mainly focused on weak memory models and linearizability.

Interests
  • Formal Verification
  • Concurrency Theory
  • Logic
  • Automated and Interactive Theorem Proving
  • Formalizing Mathematics
Education

  • PhD Computer Science

    Uppsala University

  • MSc Computer Science

    Uppsala University

  • BSc Computer Science

    Uppsala University

  • BSc Mathematics

    Uppsala University

📚 My Research

I am currently employed as a PhD student at Uppsala University, where I am working on formal verification of concurrent systems with my supervisors Parosh Abdulla, Bengt Jonsson and Mohamed Faouzi Atig.

I am interested in formal and automated verification of software, systems and concurrency. I also have a strong interest in interactive and automated theorem proving, using tools such as Lean, Coq, and Isabelle.

As my PhD draws to an end, I am looking for employment as a postdoctoral researcher in one of the above mentioned areas.

Recent Publications
Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra (2025). Efficient Linearizability Monitoring. Proc. ACM Program. Lang..
Cite DOI URL
Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam (2025). Checking Consistency of Event-driven Traces.
Cite arXiv URL
Parosh Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn (2025). Verification of the Release-Acquire Semantics.
Cite arXiv URL
Awards
Third place in the ASPLOS 2025 contest on Intra-Operator Parallelism for Distributed Deep Learning

In collaboration with Stephan Spengler

Apr 1, 2025

Recent & Upcoming Talks