Mario M. Alvarez

@ArbixFinance

Research Program Manager at @Offchain. First author of BoLD. Working on formal verification, programming languages and blockchain systems.

Joined October 2024

2 Following

0 Followers

0 Posts

This account doesn’t have any tweet

Try searching for another.