I'm Emanuele Civini, a Formal Verification Researcher interested in automated reasoning, formal verification and distributed applications. I'm currently pursuing a Master's Degree in Computer Science, focusing on formal verification, automated reasoning and applied cryptography.

You can contact me via email at hi at emanuelecivini dot com. If you prefer, you can also find me on LinkedIn or Github.

My PGP fingerprint is 68B7 ECBD 5773 0DA3 1694 2507 83C1 A6CD DD7B D775.