Coq
Landon Taylor
mossbiscuits
PhD student researching formal verification at Utah State University.
Utah
XhernoPhys CA77
FlowerCA77
A harmony of Light awaits you in a lost world of musical Conflict ...
Huazhong University of Science and Technology Wuhan, China
ZZZping
Graduate student at Fujian Agriculture and Forestry University
Fujian Agriculture and Forestry University Nanjing
Robert Culling
SyntakticSugar
Mathematics teacher interested in type theory and functional programming 👨💻
Christchurch, New Zealand
Bulhwi Cha
chabulhwi
I aim to create video games and other media for learning STEM disciplines.
Semmalgil Seoul, Republic of Korea (South Korea)
FermiQ
FermiQ
Im an intergalactic dust particle; hanging on a limited lifespan; anticipating a lightYr. old ray of luv 2 consummate with QFT; QT; Statistical Probabilistic QC
Neutrino
Max Ole Elliger
motrellin
Studying Computer Science and Mathematics for Education at FAU, focussing towards theoretical computer science and formalizing stuff with Coq.
Erlangen
Brian Abbott
briancabbott
Software Engineer. I currently live in Bellevue, WA. My focuses are on Systems Programming, Mathematics and Deep Learning.
Bellevue, WA
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Vegard Fjellbo
Fencekeeper
Mathematician (topologist) working as a Senior Consultant at the Insight & Analytics Dept of Webstep. Based in Oslo.
Webstep Norway
He1pa
He1pa
Rustacean, Program Language, Compiler, IDE/LSP, Web3, Smart Contract, AI, Formal Verification
Ant Group Hangzhou, China
PreviousNext