- Prague, Czech Republic
- https://linksta.cc/@filip.bartek
- https://orcid.org/0000-0002-1822-2651
Highlights
- Pro
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