Radu Ometita

Radu Ometita is studying for a PhD in the area of formal verification of smart contracts at the Alexandru Ioan Cuza University in Romania. He also teaches at Babeș-Bolyai University in Cluj-Napoca, Romania. His areas of interest include formal verification, type theory, programming languages, and compilers. He joined IOHK in 2017 to work on the LLVM backend for the K framework.