Tomáš Skřivan
lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.
Guannan Wei
Kraks
Assistant professor at Tufts; programming languages, formal methods, compilers
Tufts University
Adelar da Silva Queiróz
adelarsq
Father
|> Husband
|> Developer
|> Vimmer
|> Theoretical Physicist
🌎🖤💙💛
Spassu Brasil
Matteo Capucci
mattecapu
Independent Researcher.
Applied Category Theory + ε.
Retired web dev.
Glasgow, UK
Perspicuous Computing
Perspicuous-Computing
Efficient and reliable software & hardware with simple formal specifications and machine-checked proofs.
Dan Piponi
dpiponi
Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.
San Anselmo, CA, USA
Kaiyu Yang
yangky11
Research Scientist @ Meta, FAIR
Meta Fundamental AI Research (FAIR) New York, NY
Patrick Bahr
pa-ba
Associate Professor in Programming Languages
IT University of Copenhagen Copenhagen, Denmark
coot
coot
Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.
@input-output-hk
Zachary Tatlock
ztatlock
Associate Professor,
UW Allen School (CSE)
University of Washington Seattle, WA
Hiromi Ishii
konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.
Jij, Inc. @Jij-inc Tokyo
Jean-Michaël Celerier
jcelerier
https://sat.qc.ca tech dir.
@ossia lead dev : https://ossia.io
computer art engineering & research
@ossia Montréal
PreviousNext