
Ph.D. student at Uppsala University. I focus on verification of numerical code. More information on my personal webpage.
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
scyros-tutorial
March 12, 2026 – Present
A tutorial to get started with Scyros: https://github.com/fxpl/scyros
View Projectstainless-user-tests
March 10, 2026 – Present
User tasks for improving the usability of the verification tool Stainless.
View Projectscyros
January 7, 2026 – Present
A framework to design sound, reproducible and scalable mining repository studies on GitHub.
View Projectstainless-float-benchmarks
October 16, 2025 – October 29, 2025
Floating-point benchmarks for Stainless
View Projectchicken-pi
November 23, 2024 – January 18, 2025
A toy proof assistant based on pi-forall and Coq
View Projectlisa
December 15, 2021 – Present
Proof assistant based on first-order logic and set theory
View Projectinox
July 8, 2016 – Present
Solver for higher-order functional programs, used by Stainless
View ProjectCultural Fit Analysis
The candidate's projects are heavily focused on academic, research-oriented, and highly specialized areas (proof assistants, solvers, formal verification). While demonstrating strong technical depth, this might indicate a preference for theoretical work over typical product-driven backend engineering. The lack of team-based projects or contributions to larger open-source initiatives makes it difficult to assess collaboration and cultural alignment with a standard engineering team.
Soft Skills & Operational Fit
Insufficient data to assess soft skills or operational fit. No psychometric test results or interview feedback provided.