Company Profile

Deductive Solutions
Profile last edited on: 8/7/06      CAGE: 3YVM2      UEI:

Business Identifier: NO Business Identifier is currently available for this company.
Year Founded
2004
First Award
2005
Latest Award
2005
Program Status
Inactive
Popularity Index
Is this YOUR Company?
Ensure accuracy and completeness of YOUR Company Profile by completing the brief Survey Instrument attached
Do you know about this Awardees?
Let us encourage you to provide any data which would enhance the completeness of this firm's profile.

Location Information

4903 Regina Drive
Annandale, VA 22003
Location: Single
Congr. District: 11
County: Fairfax

Public Profile

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!

Extent of SBIR involvement

User Avatar

Synopsis: Awardee Business Condition

Employee Range
1-4
Revenue Range
Less than .5M
VC funded?
No
Public/Private
Privately Held
Stock Info
----
IP Holdings
N/A

Awards Distribution by Agency

Most Recent SBIR Projects

Year Phase Agency Total Amount
2005 1 DARPA $100,000
Project Title: Deductive Spreadsheets

Key People / Management

  Iliano Cervesato -- Founder and Chief Research Scientis

  Jeff Polakow -- Research Scientist

Company News

There are no news available.