My name is Daniel Perez. I am a software engineer and researcher based in London. These days, I have mostly been working on blockchain systems and smart contracts. I am the co-founder of Backd, a yield farming protocol allowing for reactive liquidity, and Gyroscope, an all-weather algorithmic stablecoin.
I am also finishing PhD at Imperial College London, supervised by professor Ben Livshits and sponsored by the Ethereum Foundation. My research theme is about how to secure distributed ledgers and their ecosystem. I focus mostly on using programming language techniques to improve the security of blockchains' virtual machines, as well as the applications running on top of them. Before that, I received my Master's in Computer Science from The University of Tokyo under the supervision of professor Shigeru Chiba, during which I worked on applying machine learning techniques to programming languages.
- Dissimilar Redundancy in DeFi with Lewis Gudgeon was accepted at MARBLE 2022
- Liquidations: DeFi on a Knife-edge with Sam Werner, Jiahua Xu and Ben Livshits was accepted at FC 2021
- Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited with Ben Livshits was accepted at USENIX Security 2021
- Revisiting Transactional Statistics of High-scalability Blockchains with Jiahua Xu and Ben Livshits was accepted at ACM IMC 2020
- DeFi Protocols for Loanable Funds with Lewis Gudgeon, Sam Werner and William Knottenbelt was accepted at ACM AFT 2020
- Revisiting Transactional Statistics of High-scalability Blockchains with Jiahua Xu and Ben Livshits was featured on CoinDesk