About me

Profile picture

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

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 Blockchain 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 Blockchain 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
2020/05/06
Fast-Fourier-Forecasting Resource Utilisation in Distributed Systems with Paul Pritz and Kin K. Leung was accepted at ICCCN 2020

Contact information

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