Summary
Lera Perelman is a senior software engineer based in Haifa with four years of professional experience focused on embedded real-time systems and mobile/network stacks, currently driving network stack optimizations for Android/Linux at Qualcomm. She combines hands-on implementation skills in C/C++ and Java with formal research credentials—a Ph.D.-level background in system verification and design—and practical modeling expertise using UML, SysML and ERDs. Lera has a strong tooling and scripting repertoire (CShell, bash, wireshark, tcpdump) and applied verification experience with SAT solvers like nuSMV, which she leverages to improve reliability in low-level systems. As a former teaching assistant at Technion, she also mentors junior engineers and bridges academic rigor with production engineering. Notably, she plans to publish a blog detailing her network optimization work, signaling a commitment to sharing practical deep technical insights.
4 years of coding experience
B.Sc., Computer Science, B.Sc., Computer Science at Technion - Israel Institute of Technology