Research activities

Some of the group's research activities are in the form of clearly defined projects. NICTA projects especially are of this sort. Other activities are less heavily managed. The links on this page go to descriptions of a range of activities, some long-term and some short, some highly collaborative and some more individual. More detail of our research may be found on the home pages of group members. Most maintain lists of publications and other data.

• CPP (aka G12): Constraint Programming Platform (NICTA project)
• Formal Methods Applied to Electronic Voting Systems
• L4-Verified (NICTA project)
• VNS: Validating Network Semantics (NICTA project)
• Automatic Theorem Proving
  • Instance-based methods (the DARWIN system)
  • Model-Guided Proof Search (the SCOTT and SOS systems)
  • Geometric Resolution (the GEO system)
  • The Tableaux Workbench: a general framework for implementing tableau calculi
• Proof Assistants
  • Higher Order Logic (HOL) development
  • Contribution to development of Isabelle
• Propositional Satisfiability (SAT)
  • Solver based on Clause Learning (Tinisat)
  • Solver based on Lookahead (Satz)
  • Solvers based on Stochastic Local Search