- Software Engineer
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