Elliot Swart
Staff Engineer at Verily
Palo Alto, California, United States
Summary
👤
Senior🎓
Top SchoolElliot Swart is a Staff Engineer and seasoned technology leader with over a decade building high-security, scalable AI and healthcare platforms from embedded firmware to multi-cloud services. He co-founded 3Derm Systems and served as CTO and Chief Architect through acquisition, designing HIPAA-compliant imaging hardware and cloud diagnostics that proved clinically equivalent to in-person dermatology triage. At Amazon he led performance engineering for online advertising and big data, driving multi-million dollar revenue gains and cost reductions through profiling, concurrency fixes, and Spark/Flink optimizations. Elliot blends deep research roots in AI and robotics with hands-on production experience in firmware, camera systems, and serverless architectures, and he holds the highest AWS architect certification obtained during a major infrastructure refactor. He’s passionate about reliability, testability, and practical best practices—advocating team certification and continuous learning while keeping designs as simple as possible but no simpler. Based in Palo Alto, he now focuses on high-performance, data-driven application design and translational research to bridge research innovations into reliable products.
11 years of coding experience
15 years of employment as a software developer
Electrical Engineering and Computer Science, Electrical Engineering and Computer Science at Yale University
Stackoverflow
429reputation
27kreached
15answers
2questions
Github Skills (42)
tla10
verification10
model-checking9
toolbox9
tlc9
java9
model-state9
checker9
specification9
high-performance9
text-based8
ide8
validation8
tlaplus8
algorithms8
Programming languages (3)
Github contributions (5)
ElliotSwart/tlaplus
Jun 2022 - Aug 2022
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Contributions:128 pushes, 17 branches in 2 months
model-checkermodel-checkingmodel-statecheckertoolbox
ElliotSwart/pragmaticformalmodeling
Jun 2022 - Jul 2022
Contributions:14 commits, 15 pushes, 3 branches in 27 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.