liapoidomani

I am a Mathematics graduate with a Master’s degree in Mathematical Logic and Computational Science, with experience in formal methods, decision procedures, and SMT solvers. Currently, I work as a Zero-Knowledge researcher at Universidad Carlos III de Madrid, where I study privacy-preserving protocols and interoperability in blockchain systems. I aim to combine my background in formal verification with my recent experience in cryptography to advance secure and privacy-enhancing technologies.