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 runs an a home router.