Dusko Pavlovic

Kestrel Institute operates as a non-profit computer science research center. It specializes in program synthesis, software engineering, machine intelligence, knowledge-base management, logic, automated reasoning systems, software environments, programming languages and compilers. The company was founded in 1981 and is headquartered in Palo Alto, CA.

Kestrel Institute operates as a non-profit computer science research center. It specializes in program synthesis, software engineering, machine intelligence, knowledge-base management, logic, automated reasoning systems, software environments, programming languages and compilers. The company was founded in 1981 and is headquartered in Palo Alto, CA.

Kestrel Institute operates as a non-profit computer science research center. It specializes in program synthesis, software engineering, machine intelligence, knowledge-base management, logic, automated reasoning systems, software environments, programming languages and compilers. The company was founded in 1981 and is headquartered in Palo Alto, CA.

Kestrel Institute operates as a non-profit computer science research center. It specializes in program synthesis, software engineering, machine intelligence, knowledge-base management, logic, automated reasoning systems, software environments, programming languages and compilers. The company was founded in 1981 and is headquartered in Palo Alto, CA.

Kestrel Institute operates as a non-profit computer science research center. It specializes in program synthesis, software engineering, machine intelligence, knowledge-base management, logic, automated reasoning systems, software environments, programming languages and compilers. The company was founded in 1981 and is headquartered in Palo Alto, CA.