Maciej Szreter is a software engineer with over 10 years of experience combining academic research in automatic composition of web services and formal software verification with hands-on systems development in C++, Java, and Scala. He has built embedded systems and Android apps, and specializes in UAV platforms based on Atmega and ARM processors鈥攈aving constructed a multirotor drone with dual remote-controlled gimbals for full-sphere 360x180 panoramas. Based in Warsaw, he brings research-grade rigor from long tenure at the Polish Academy of Sciences to industry roles at UnderAnt and GMV, delivering reliable, verifiable software for both cloud and constrained hardware. A practical tinkerer as well as developer, he publishes early panorama work from his drone experiments online, reflecting a strong blend of formal methods, low-level engineering, and creative field deployment.
Find and Hire Top DevelopersWe鈥檝e 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.