PRISM Model Checker
Users following prismmodelchecker
Marco Túlio S. M.
marcotulio956
MSc. of CS @ UFMG - Nanocomp Lab.
Belo Horizonte, Minas Gerais, Brazil
Émerson Silva
SilvaEmerson
Software Engineer @gympass & Functional enthusiast
@gympass Alagoas, Brazil
Victor Smirnov
vityaman
Programming Languages and DBMS enjoyer, xxson. Like anything related to program analysis and transformation, even if a program is a database query.
ITMO University Russia, St. Petersburg
Sebastian Junges
sjunges
Assistant Professor at the Radboud University Nijmegen. Previously at Berkeley @BerkeleyLearnVerify and RWTH Aachen University @moves-rwth
Radboud University Nijmegen
Iulisloi Zacarias
izacarias
Nothing special here ;-)
Computer networks, protocols, standards, mobile networks...
Blake Edwards
blakete
AI × Robots × Aerospace @ MIT,
Previously AI + Autonomous Vehicles @ Boeing, DARPA
MIT Earth
Landon Taylor
mossbiscuits
PhD student researching formal verification at Utah State University.
Utah
Gerson
FreesoSaiFared
Scatterbrain designing a laser to focus thoughtlight with adhd - ai laser.
Voluntaria Amsterdam, The Netherlands
Vishal Lama
vishallama
Software Engineer (Scala/Python/R), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
USA
Kenneth Johnson
kjohnsoncompsci
Associate Professor, Auckland University of Technology
Auckland University of Technology Auckland
Patrick George Wyndham Smith
patrickgwsmith
I work on WebAssembly components at https://qip.dev
Melbourne, Australia
