Ovidiu Damian1 talk by Ovidiu DamianOvidiu Damian - Bringing all the programming languages to Ethereum with Formal Semantics