PRISM Model Checker
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
Highly innovative and entrepreneurial researcher. Three MScs (University of Edinburgh, Oxford University). Interested in adaptive modelling.
London, UK
Kenneth Johnson
kjohnsoncompsci
Senior Lecturer, Auckland University of Technology
Auckland University of Technology Auckland
Christoph Weinhuber
weinhuber
University of Oxford + Technical University of Munich + Masaryk University
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
