====== Hello, I am Dominik Wójt! ======

This is my personal site. I intend to share my ideas here. I am a physicist and currently work as a C++ developer. My interest include formal proofs and their application to computer algebra systems and software source code verification.

Here is a list of my [[projects]].

Here are my notes on [[formal methods]].

Interesting fact is that [[this_site|this site]] runs an a home router.