Pontus Sundqvist

Hi, this is my website where you can find information about me and some of my side-projects. This website is also available in Swedish.

I'm a programmer who likes to work on software across the whole range of abstraction levels: from low level code where every millisecond matters, to the high level where a larger focus is on creating maintainable and robust software. Some programming languages I like are Rust, C, C++ and Python.

I'm also interested in mathematical modeling and formalization, for situations where guaranteed correctness is a requirement. I've for example formalized math problems in Lean 4 for Numina and Kili Technology.