-
DeepOrigin
- Paris
William DeMeo
williamdemeo
I do formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Lean, Scala and Spark.
IO @input-output-hk Boulder, CO, USA
Alexandre Gramfort
agramfort
Machine Learning researcher @ Meta Reality Labs, scikit-learn core dev, pythonista interested in neuroscience applications
Meta Paris, France