Shankara Pailoor
Shankara Pailoor is chief research officer at Veridise, which works on security for smart contracts, blockchain infrastructure and zero-knowledge technology. Pailoor holds a doctorate in computer science from UT Austin, where the focus was programming languages and formal methods.