jared@kookamara.com
(512) 758-9967

Kookamara LLC
11410 Windermere Meadows
Austin, TX 78759 USA

About Kookamara

I'm Jared Davis — Kookamara is my company for freelance consulting. I specialize in formal hardware and software verification, usually with ACL2.

Kookamara is not currently operating and cannot accept new clients in the forseeable future.