Differences

This shows you the differences between two versions of the page.

--- start [2021/12/06 15:33] – created domin144
+++ start [2024/06/08 12:34] (current) – domin144
@@ Line 1: / Line 1: @@
 ====== 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 program source code verification.
+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.