2025 – present
Software Engineer – Peer-to-Peer Networks
Starkware
Employment History
2022 – 2024
Project Instructor
Yearly Project For Software Engineering
2022 – 2023
Teaching Assistant
Information Storage Systems
2020 – 2022
Student R&D Engineer – Bluetooth Firmware
Apple
Education
2022 – 2025
M.Sc. Computer Science
Technion – Israel Institute of Technology
Thesis: Property Directed Reachability with Extended Resolution
GPA 952017 – 2022
B.Sc. Software Engineering
Technion – Israel Institute of Technology · 4-year degree
GPA 89.3Research Publications
A. 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_13Skills
Coding
Multiple years of experience with C, C++11, Python, and Rust. Large projects in
JavaScript and Go. Deep understanding of procedural, object-oriented, functional,
and logical programming paradigms.
Hardware
Deep understanding of hardware, specifically virtual memory and caching, as well as
experience writing drivers for hardware devices.
Reasoning
Experience with reasoning software such as CBMC and proof assistants such as Coq.
Deep knowledge in writing hardware reasoning software.
Databases
Personal experience with PostgreSQL and MongoDB, as well as teaching a course on
database design.
Web Dev
HTML, CSS, JavaScript, React, Next.js, Flutter, and Go.
Performance
Worked on systems with very high performance demands: firmware for real-time devices
(C), data structures from scratch (C++), and high-performance hardware proof engines
(Rust).
Misc.
Academic research, teaching, instructing, assessing developer performance, and
project management.