Starkware
Co-architected and engineered Propeller, a high-throughput Rust-based P2P broadcast protocol. Developed robust node discovery mechanisms and DoS prevention strategies for high-performance, untrusted distributed environments powering the Starknet blockchain.
Yearly Project For Software Engineering – Technion
Spearheaded three year-long projects, managing teams of 7 to deliver production-ready solutions ranging from specialized CMS systems to custom cryptographic protocols.
Information Storage Systems – Technion
Delivered weekly tutorials and co-authored exams on advanced database internals, including LSM trees, WAL, query optimization, and distributed synchronization.
Apple
Engineered low-level hardware drivers and RTOS features in C, optimizing firmware stability and power-efficient performance.
Technion – Israel Institute of Technology
Thesis: Property Directed Reachability with Extended Resolution
GPA 95Technion – Israel Institute of Technology · 4-year degree
GPA 89.3Co-designed and implemented a high-throughput P2P broadcast protocol in Rust for distributed networks as part of work at Starkware.
Designed and implemented a highly optimized hardware model checker in Rust; work was published in CAV, a top-tier conference in the field.
CodeImplemented various deep learning and classical ML models to predict container resource usage for Operate First pods in collaboration with Red Hat.
CodeDesigned, physically constructed, and programmed the firmware for an IoT-based Persistence of Vision (PoV) display.
GitHubA. Luka and Y. Vizel, "Property directed reachability with extended resolution," in Computer Aided Verification – 37th International Conference, CAV 2025, Zagreb, Croatia, July 23–25, 2025, Proceedings, Part I, R. Piskac and Z. Rakamaric, Eds., ser. Lecture Notes in Computer Science, vol. 15931, Springer, 2025, pp. 258–280.
DOI: 10.1007/978-3-031-98668-0_13