Lexi Aiello
Research Co-Lead at UW Math AI lab
Seattle, Washington, United States
Summary
👤
Senior🎓
Top SchoolLexi Aiello is a Research Co-Lead and UW computer science undergraduate with eight years of hands-on experience bridging formal methods and production software. She leads a lab project formalizing strong normalization and the Church–Rosser theorem for a custom dependent type theory in combinatory logic, and implemented a sound inference and reduction algorithm in Lean 4. Previously she built autonomous cross-chain arbitrage systems in Rust for Cosmos, taught algorithms and web frameworks, and served as a CTO and software lead in robotics and startup contexts. Comfortable across theorem proving, systems programming, and teaching, she combines rigorous proof engineering with practical deployment experience. An unusual strength is shipping mechanically verified algorithms (Lean 4) alongside real-world trading infrastructure, demonstrating both deep theory and production instincts.
8 years of coding experience
3 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at University of Washington
Github Skills (119)
geth10
p2p10
proof-of-work10
botnet10
go10
ethereum10
blockchain10
decentralized-applications10
divider9
distributed-computing9
cryptocurrency9
smart-contracts9
iot-platform9
daemon9
driver9
Programming languages (12)
Github contributions (5)
dowlandaiello/go-indigo
May 2018 - Dec 2018
Core go implementation of the Indigo protocol.
Contributions:29 PRs, 215 pushes, 26 branches in 6 months
go
timewave-computer/localic-utils
Jun 2024 - Sep 2024
Utilities for writing tests with local-interchain.
Contributions:32 reviews, 26 PRs, 132 pushes in 2 months
interchain
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.