Andrei Marinica

Country: Romania


Professionally, I am primarily interested in finding ways to use formal models and mathematics to manage the complexities of large software systems. I am currently studying the Coq interactive theorem prover, while diving into the mathematical foundations of programming.My belief is that we have come to a moment when we have to rethink the way we create software, and to place its security and reliability firmly on mathematical foundations.


Elrond Network

Elrond Network

Software Engineer

Goal: 5,000,000