I'm a software engineer who solves real-world problems by using formal methods to build safe and elegant programs as much as possible.
This is a page not in the menu. You can use markdown in this page.