Input Output

Radu Ometita

Functional Compilers Engineer


Cluj-Napoca, Romania


Radu is currently studying for a PhD in the area of formal verification of smart contracts at the Alexandru Ioan Cuza University. He also teaches at Babes Bolyai University in Cluj-Napoca. His areas of interest include formal verification, type theory, programming languages, and compilers.


02C7 71C4 8CA4 22B3 9709 37AE 2C79 BBB4 D82C E70A