About me

My name is Daniel Perez. I am a software engineer and researcher based in London. I have been working on backend systems in various companies and I particularly enjoy writing in functional programming languages. More recently, I have been working on diverse machine learning tasks, mostly related to natural language processing.
I am currently a PhD student at
Imperial College London,
supervised by
professor Ben Livshits.
My current 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.
I am sometimes open to freelance work, please feel free to contact me for more information.
News
- 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
- 2020/06/11
- Revisiting Transactional Statistics of High-scalability Blockchains with Jiahua Xu and Ben Livshits was featured on CoinDesk
- 2020/05/25
- The Decentralized Financial Crisis: Attacking DeFi with Lewis Gudgeon and other collaborators was accepted at CVC 2020