Denisa Diaconescu
Associate Professor at the Faculty of Mathematics and Computer Science, University of Bucharest, working on formal methods, consensus protocols and decentralized systems. Diaconescu's industry research includes formalization of the Casper consensus protocol and verification of layer 2 protocols.