William DeMeo
@williamdemeo
Personal projects
View all- Loading
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
8:15 AM
Member since June 05, 2018