Pontus Sundqvist

Hej, det här är min hemsida där du kan hitta information om mig och några av mina sidoprojekt. Denna hemsida finns också på engelska.

Jag är en programmerare som gillar att jobba på program på olika abstraktionsnivåer: från lågnivå där varje millisekund gör skillnad, till hög nivå där ett större fokus ligger på att skriva hållbara och robusta program. Några programmeringsspråk jag gillar är Rust, C, C++ och Python.

Jag är också intresserad av matematisk modellering och formalisering, för situationer där mjukvaran måste vara garanterat korrekt. Jag har till exempel formaliserat matematikproblem i Lean 4 åt Numina och Kili Technology.