jist
george0st
The architect with an overlap into development and analysis. "Almost everything is possible, it's just a matter of time⌚, resources💰 and quality⭐"
Europe, Czech Republic, Prague
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