Guillaume Claret
clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲
Formal Land Paris
David Valdman
dmvaldman
Self-studying AI and language. Prev: Co-founder at Standard.ai, Mapzen and Famo.us
SF
Abram Hindle
abramhindle
* Software Engineering
* Mining Software Repositories
* Software Energy Consumption
* Intersection with Computer Music
Associate Professor at University of Alberta Edmonton, Alberta
Tim Thompson
nosuchtim
Software engineer, musician, interactive installation artist.
NoSuch Media San Jose