I'm into formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Scala and Spark.
- Boulder, CO, USA
-
07:24
(UTC -06:00) - williamdemeo.org
- https://orcid.org/0000-0003-1832-5690
Highlights
Block or Report
Block or report williamdemeo
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseEarned achievements
Pair Extraordinaire
x2
Pair Extraordinaire
x2
Loading
YOLO
YOLO
Loading
Quickdraw
Quickdraw
Loading
Pull Shark
x3
Pull Shark
x3
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Starstruck
x2
Starstruck
x2
Loading