Arvid Picciani is a Berlin-based software engineer and founder with 16 years of experience building secure, cloud-native and embedded systems for enterprises and public-sector use. He founded kraud.cloud to deliver private Kubernetes for highly confidential data and now leads platform engineering at Project Q, where he created the open-source hydris project to unify defense and civil security systems. Comfortable across the stack, Arvid contributes low-level tooling such as a symbolic verifier/transpiler to C and markets himself as an "internet connected devices hacker," reflecting deep hands-on expertise in device and compiler-level engineering. His background spans telecommunications, IDE tooling, and SaaS infrastructure at companies like Nokia and The Qt Company, combining product leadership with pragmatic engineering.
16 years of coding experience
18 years of employment as a software developer
Applied Computer Science, Applied Computer Science at Otto-Friedrich-Universität Bamberg
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
Role in this project:
Back-end Developer
Contributions:1 release, 20 reviews, 302 commits in 1 year 10 months
Contributions summary:Arvid primarily contributed to the development of a symbolic verifier and transpiler to bare metal C. Their commits demonstrate the implementation of core functionality, including the creation of a code emitter, parser improvements, and the introduction of language features like macros and enums. The user's work involved interacting with the compilation pipeline, suggesting a focus on code generation and transformation.
secure edge access overlay network for IoT devices
Contributions:27 releases, 261 commits, 5 PRs in 3 years 7 months
secureoverlay-networkiot-devicesedgeoverlay
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.