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/
Block or Report
Block or report gaperez64
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
acacia-bonsai
acacia-bonsai PublicA minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
-
acacia4aiger
acacia4aiger PublicA framework to feed TLSF input into acacia and transform the output to AIGER
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.