Elijah Kagan
Head Of Design at Imandra
Austin, Texas, United States
Summary
👤
Senior🎓
Top SchoolElijah Kagan is a Head of Design based in Austin with eight years of focused experience shaping UX and product design for clients ranging from Honda and Volvo to Ikea and Nokia Siemens Networks. He leads design at Imandra, applying his background in AI, neuro-symbolic systems, and automated reasoning to craft interfaces that make complex technology feel simple and testable. Elijah combines strategic brand work and hands-on UX—having co-founded agencies, led UX for healthcare systems, and taught practical web and design courses to underserved learners. His process emphasizes discovering hidden connections and empirically validating ideas, turning conceptual experiments into actionable product insights. Comfortable both in board-level strategy and pixel-level execution, he has a track record of shipping responsive web and mobile solutions, e-commerce platforms, and design systems. Notably, his cross-disciplinary training—from a master’s blending marketing and computer science to Udacity nanodegrees in AI and Design Sprint—helps him translate technical complexity into clear user experiences.
8 years of coding experience
16 years of employment as a software developer
Nanodegree, AI Programming with Python, Nanodegree, AI Programming with Python at UdacityMaster’s Degree, Marketing and Computer Science, Master’s Degree, Marketing and Computer Science at Uniwersytet Ekonomiczny we Wrocławiu (daw. Akademia Ekonomiczna im. Oskara Langego we Wrocławiu)
Polish, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (23)
bucklescript10
reason-react10
verification10
reasonml10
reason10
financial-markets10
rescript10
react10
sec9
tla9
formal-verification9
formal-methods8
coq8
tlaplus8
trading8
Programming languages (4)
Github contributions (5)
elijahkagan/game-memory
Sep 2017 - Sep 2017
Contributions:8 PRs, 9 pushes, 9 branches in 2 days
elijahkagan/doge
May 2021 - May 2021
Contributions:12 pushes, 1 branch in 3 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.