About me

Profile picture

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 TLX, a leveraged token protocol, and Gyroscope, a non-custodial stablecoin.

Before that, I did a PhD at Imperial College London, supervised by professor Ben Livshits and sponsored by the Ethereum Foundation. My research theme was about how to secure distributed ledgers and their ecosystem. I focused mostly on using programming language techniques to improve the security of blockchains' virtual machines, as well as the applications running on top of them. Even 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.

News

2023/06/14
I officially graduated from my PhD at Imperial College London
2022/05/03
Dissimilar Redundancy in DeFi with Lewis Gudgeon was accepted at MARBLE 2022
2021/01/25
Liquidations: DeFi on a Knife-edge with Sam Werner, Jiahua Xu and Ben Livshits was accepted at FC 2021
2020/08/14
Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited with Ben Livshits was accepted at USENIX Security 2021
2020/08/12
Revisiting Transactional Statistics of High-scalability Blockchains with Jiahua Xu and Ben Livshits was accepted at ACM IMC 2020
2020/08/07
DeFi Protocols for Loanable Funds with Lewis Gudgeon, Sam Werner and William Knottenbelt was accepted at ACM AFT 2020

Contact information

[first]@[last].sh
GitHub
LinkedIn
Google Scholar
Facebook
Twitter
PGP key