About Kookamara

I'm Jared Davis — Kookamara is my company for freelance consulting.

I specialize in formal hardware and software verification, usually with ACL2.

I would be excited to help with your verification efforts.

Qualifications

I have 11 years of ACL2 experience including

I am a primary author of ACL2 libraries including

I am a primary author of the ACL2(h) extension including

I am a leader in the ACL2 community

I have broad experience beyond ACL2, including

Let's Get Started

If this sounds like a good fit for your projects, let's chat.

Email
jared@kookamara.com
Phone
1-512-758-9967
Mail
11410 Windermere Meadows
Austin, TX 78759