William DeMeo
@williamdemeo
Personal projects
View allLoading
Loading
About
I'm into research in formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Lean, Scala and Spark.
Info
Adjunct Instructor in Computer Science at New Jersey Institute of Technology
New York, NY
10:02 AM
Member since June 05, 2018