Andrei Marinica

Country: Romania

BIO

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.

ICO'S

Elrond Network

Elrond Network

Team
Software Engineer

Goal: 5,000,000

NO STARTED