About

I'm Thobias Melfjord Knudsen, a systems programmer from Trondheim, Norway, and I design and build Logos.

In March 2026 I won Norway's first national AI championship, NM i AI, placing first ahead of more than 1,100 teams and 3,100 participants. I did not win by writing everything by hand, but by understanding the problems deeply and orchestrating fleets of AI agents with precision. That is the same way I build Logos.

In the subject Algorithms and Data Structures at NTNU, one of the hardest subjects with 900 students, I made the fastest algorithm most times through the fall of 2025.

My background is close to the metal: hash tables in Zig, logging and concurrency libraries in C, systems work in Rust. That history is why Logos insists on being a serious systems language first, with a borrow checker and native compilation, even as it reaches for proofs, reflection, and the unification the vision describes.

Ever since I learned programming in 2020 I've always wanted a programming language where the language itself has no boundaries of expressiveness. I wanted something where you could express anything logical in the programming language, just like English. Mathematics is its own language, but in nearly all math problems there is English text to explain and answer the maths involved. That means math itself is an incomplete language in terms of expressiveness. English is more expressive. Since Logos aims to have no restrictions on expressiveness, Logos should be able to express all languages (linguistic, programmatic, Rust, Python, C, WASM, GPU languages, HDL, proof systems, Verilog, etc.) and it should be able to read all aspects of itself. But Logos also needs to have some sort of restrictions so that it catches errors, just like Rust. And since Logos should be able to express anything and can host a proof system, it should be able to go way beyond Rust when it comes to safety long term.

Find me on GitHub, LinkedIn, and X.