I am a software engineer turned computer scientist. My interests include formal verification, learning theory, and theoretical computer science in general.
-
University of Antwerp
- Antwerp, Belgium
- https://gaperez64.github.io/
Earned achievements
Public Sponsor
Public Sponsor
Loading
YOLO
YOLO
Loading
Quickdraw
Quickdraw
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
Pull Shark
Loading