Deductive Solutions was founded to promote logically-based methods and tools for the practical solution of real-world computing problems. The firm specializes in analysis, design, implementation and verification of systems ranging from security devices to large scale applications. Provided services include: * Analysis: Whether dealing with a simple programming task or the design of a complex system, our first step is to unravel the logical structure underlying a problem to extract the mathematical properties that will lead to its solution. * Design: We specialize in the design of methodologies and tools that incorporate logic to solve common problems. We know that, properly packaged, logic can be a powerful tool to assist end-users in their daily tasks. We also offer logic-guided designs of solutions for individual problems. * Implementation: Whenever implementing software, whether a design prototype or a deployable system, we try to adopt the programming language that is most appropriate for the inner logic of the problem. This often means basing our coding on high-level languages such as Prolog, Haskell or OCaml rather than one-size-fits-all implementation media such as C or Java. * Verification: We employ the most sophisticated tools and methodologies to ascertain that an information artifact, for example an algorithm, a piece of software or even a hardware device, behaves as described in its specification documents. We are particularly excited about synergistically combining approaches and even inventing new ones when warranted. One area where a logical approach to each of these steps is critical is computer security: because they must withstand active and tenacious adversaries, security-critical algorithms and systems must support the highest levels of assurance. We have multiple years of experience using logic-based approaches to design, build and verify such systems. At Deductive Solutions, we know that logic can provide simple and elegant solutions to many design, programming and analysis problems. By exposing the mathematical structure underlying a problem, we harness its computational properties to automate aspects of its solution. We are always actively seeking projects that incorporate logic Moreover, exposing the logical structure of a problem, using innovative tools, and inventing new logics is a lot of fun!