Dowland Aiello
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
Stackoverflow
440reputation
128kreached
4answers
11questions
Github Skills (154)
geth10
abi10
p2p10
golang10
proof-of-work10
go10
botnet10
ethereum10
blockchain10
divider9
currency9
distributed-computing9
cryptocurrency9
smart-contracts9
daemon9
Programming languages (12)
Github contributions (5)
SummerCash/summercash-wallet-server
Apr 2019 - Oct 2019
The golang react-summercash webserver and backend.
Contributions:4 releases, 4 PRs, 232 pushes in 6 months
golangreactsummercashbackendwebserver
polaris-project/go-polaris
Feb 2019 - Jun 2020
A distributed computations protocol for the next generation of the web.
Contributions:1 release, 430 commits, 4 PRs in 1 year 3 months
next-generationdistributed-computingdistributed-systemsdistributedcryptocurrency
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.