PRISM Model Checker
Blake Edwards
blakete
Graduate Student & Researcher @ MIT
Previously @ Boeing AI
Human on Earth Cambridge, MA
Landon Taylor
mossbiscuits
PhD student researching formal verification at Utah State University.
Utah
Friso
FreesoSaiFared
Organize humanity, within the constraint of active guaranteed equality and physical safety as well as the right to time, by voluntary association.
Voluntaria Amsterdam, The Netherlands
Vishal Lama
vishallama
Software Engineer (Python/Scala/R), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
USA
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
