IOHK | Team

Radu Ometita

Radu Ometita
  • Functional Compilers Engineer

Cluj-Napoca, Romania

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.

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

Radu Ometita