Jamie Tanna
jamietanna
Backend developer building tools for analysing dependency data, working with Go and on GNU/Linux, promoting the IndieWeb and Free and Open Source
@elastic Nottingham
David Sancho
davesnx
Software engineer hooked into functional programing and Reason. Now writing UIs and tools for it at @ahrefs
@ahrefs Barcelona
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@coq-community Vietnam
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)
Gregor Feierabend
g-regex
I am a student of mathematics and computer science, interested in the bridging of these two sciences.
Elliot Wright
seeruk
Go. Head of Software Engineering @ Icelolly Marketing Limited
@icelolly Leeds, UK
Łukasz Czajka
lukaszcz
compiler construction, programming language design, proof automation, computational logic
Andrew Helwer
ahelwer
Formal methods, distributed systems, quantum computing. Independent software engineering contractor. TLA⁺ enthusiast & Canadian!
Disjunctive Consulting LLC Atlanta, Georgia
David Baker Effendi
DavidBakerEffendi
PhD Candidate: Computer Science @ Stellenbosch University.
@whirlylabs Cape Town
PreviousNext