Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science
-
University of Vermont
- Burlington, Vermont, USA
- https://dorais.org/
Highlights
- Pro
Alok Singh
alok
If you’re a smooth operator, you can infinitely differentiate yourself.
Berkeley, CA
Clifford Fajardo
cliffordfajardo
Ultra Marathons & Endurance sports🏃, Tacos nourish my soul 🌮
@linkedin Bay Area, California
psilospore
psilospore
Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.
Acima Burlington, Vermont
Marcos Benevides
mtrsk
I'm a prototype of a much larger system. @MMagueta's nemesis.
@Divisions-Maintenance-Group @schonfinkel @Tarski-Labs São Luis, MA - Brazil
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
Jose A. Alonso
jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Universidad de Sevilla Sevilla (España)