About me

Profile picture

My name is Daniel Perez. I am a software engineer and researcher based in London. These days, I am mostly working in the blockchain space, and more specifically on payment infrastructure. Previously, I co-founded TLX, a decentralised leveraged token protocol that was acquired by Synthetix, 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

2024/12/10
TLX was acquired by Synthetix.
2023/06/14
I 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

Contact information

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