PRISM Model Checker
Landon Taylor
mossbiscuits
PhD student researching formal verification at Utah State University.
Utah
Friso
FreesoSaiFared
Life philosophy and writings as software project. Wave one.
The AI State. A implementation of the state through AI. Legal Status of a Religion.
StateOfAI Amsterdam, The Netherlands
Vishal Lama
vishallama
Software Engineer (Scala/ZIO/Rust), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
USA
Mattia Bradascio
bredamatt
Three MScs (University of Edinburgh, Oxford University). Multi-agent systems, category theory, cybernetics, AI safety and security.
@permaweb @autopoiesis-ltd London, UK
Kenneth Johnson
kjohnsoncompsci
Senior Lecturer, Auckland University of Technology
Auckland University of Technology Auckland
Patrick Smith
RoyalIcing
I am working on WebAssembly and Edge cloud stuff @cool-calm and I write @ComponentsGuide
@team-alembic @cool-calm @ComponentsGuide @JavaScriptRegenerated Melbourne, Australia
