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.