Micky Abir - Software Engineer at Flyby Robotics

Micky Abir

Software Engineer at Flyby Robotics

Los Angeles, California, United States

Join Prog.AI to see contacts

Summary

👤

Senior

🎓

Top School

Micky Abir is a software engineer with 11 years of experience blending systems programming, compilers, and formal methods with cutting-edge quantum computing research. He has shipped production C++ systems for drone payloads, video streaming, and cloud/firmware infrastructure at Flyby Robotics while earlier contributing backend extensions to the widely used K Framework (runtimeverification/k) to add IO and FFI support. His internships at NVIDIA and Sandia involved building modular CuQuantum benchmarking tools and developing E-graph techniques for ZX-diagram simplification, reflecting a rare intersection of practical performance engineering and theoretical program transformation. A strong academic foundation from UIUC (MS, 4.0) and PhD work at UCLA underpin his work, and he routinely bridges research and product: integrating GPU-accelerated quantum kernels into ML pipelines and bringing formal semantics into LLVM backends. Based in Los Angeles, he combines a hacker’s pragmatism with research-grade rigor and an eye for making prototypical ideas production-ready.

11 years of coding experience

2 years of employment as a software developer

Adlai E. Stevenson High School

University of Illinois Urbana-Champaign

PhD - Incomplete, Computer Science, PhD - Incomplete, Computer Science at University of California, Los Angeles

Hebrew, English, Japanese

Github Skills (4)

foreign10

cffi10

ffi10

ocaml9

Programming languages (6)

JavaShellC++CLLVMPython

Github contributions (5)

runtimeverification/k

Mar 2019 - Oct 2019

K Framework Tools 7.0

Role in this project:

Back-end Developer

Contributions:6 commits, 12 PRs, 10 pushes in 7 months

Contributions summary:Micky primarily focused on extending the K Framework, adding functionality related to input/output operations and foreign function interface (FFI) calls. Their work involved defining new syntax for IO errors, implementing FFI types, and creating mechanisms for calling external functions. They also added support for variadic functions within the FFI framework and incorporated system result handling.

edaframeworkdataflow-programmingtlaplus

mdahlin/stackbattles

Sep 2021 - Oct 2024

Contributions:1 PR, 3 pushes, 1 comment in 3 years 1 month

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.

Request Free Trial