About

Hello! My name is Daniel and I like programming languages.

• I’ve been working with formal verfication since december of 2021
• Befor that I worked with Python, C#, Ruby and JS doing web development (mostly backend).
• I worked with embedded Linux, C, Kernel Development, and JNI interfaces up to 2017

You can find me in github and on twitter

About this blog? Well I just post what comes to my mind and use it as a knowledge base. The posts from 2013 and before were migrated from blogspot