Travis Whitaker Email and Phone Number

Director of software engineering for Anduril's electromagnetic warfare programs.

- Developed backend for web-based spreadsheets capable of sharing heap objects between Python, R, and Haskell managed heaps.- Developed Nix-based build and release infrastructure.- Designed and implemented a natural language query processor using applicative universal grammars with type-directed name resolution.- Interviewed users, engaged in engineering sales, managed a global remote team, aided fundraising, and performed various other core business duties.

Corporate-scale data aggregation and analysis, Database Architecture, Automated Formal Verification Systems, Lab and Industrial Systems Integration, Formal Math Model Development and Implementation.