About Us
Mission
Our mission is to ensure that distributed intelligent systems are worthy of human trust, by providing tools that enable such systems to be developed to the highest levels of assurance that their specifications capture intent, that they meet their specifications, and and that they are secure and resilient to failures,
Areas of Focus
Multi-agent Systems
Blockchain
Smart Contracts
Verification tools
Reasoning about Uncertainty
Expertise
Formal Methods
Declarative Programming
Knowledge Representation
Cybersecurity
Team
Founder & CEO
Ron van der Meyden is Professor of Computer Science at UNSW Sydney. He was a member of the founding teams of the Smart Internet CRC and National ICT Australia (now part of Data61). At NICTA, he established the Formal Methods Program, whose outcomes included the SeL4 micro-kernel verification project and the startup Red Lizard Software (acquired by Synopsys). He received the ACM Distinguished Scientist award in 2009.
Products
MCK Epistemic Model Checker
We have a license from UNSW to develop and commercialise the MCK model checker, which conducts automated analyses of multi-agent systems with respect to specifications describing how the knowledge and beliefs of agents may vary over time. Applications include reasoning about distributed systems protocols, information flow security, autonomous system diagnosis, and mission planning including pursuit-evasion games, and Bayesian reasoning. For publications and a trial web app of an earlier version of MCK, see the MCK Website.
Smart Contract Languages and Verification Tools
We are conducting research to develop better programming languages, development and verification tools for smart contracts and blockchain-based systems.