User ID: 2392510
Member since June 05, 2018
New York, NY
Adjunct Instructor in Computer Science at New Jersey Institute of Technology
I'm into research in formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Lean, Scala and Spark.