Lars Husted Vadgaard

Software developer with a computer science background, a taste for practical tooling, and an interest in photography.

Software Developer / Europe/Copenhagen

Building reliable systems, tools, and personal infrastructure.

A user-friendly interface from my M.Sc. thesis work on proprietary PKI policy languages.

Haskell

A simplified implementation of two reversible programming languages from my B.Sc. thesis.

Haskell

A programming language for writing Fitch-style first-order logic proofs.

Haskell

Jul 27, 2023 Hello World A first note on the rebuilt homepage.

Visiting Slovakia High Tatras, Slovakia / Mar 2024

Current key pending publication before launch.

Download public key