Kei Shirakizawa
Software Engineer at diza.
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolKei Shirakizawa is a seasoned IIoT software engineer with 10 years of hands-on experience spanning field-level protocol bridging, embedded systems, and cloud-native applications. Based in Copenhagen, he has driven end-to-end projects from prototyping to product release—building gateways that unify Z-Wave, Bluetooth, Zigbee, Matter and MQTT, and translating industrial protocols like Modbus, S7 and OPC-UA into interoperable systems. A co-founder and former founder-in-residence, Kei blends product-minded entrepreneurship with rigorous engineering practices, championing TDD, Agile, DevOps and CI/CD to streamline team delivery. His background includes GMP-focused automation for pharma and academic work in information science, giving him a rare mix of regulatory awareness and formal analytical training. Proficient with Git and embedded toolchains, he accelerates collaboration across hardware-software boundaries while shipping robust, auditable industrial solutions.
10 years of coding experience
7 years of employment as a software developer
Master of Science - MS, Information Science, Master of Science - MS, Information Science at Japan Advanced Institute of Science and TechnologyComputer Science, Computer Science at Leopold-Franzens Universität Innsbruck
Github Skills (35)
wifi8
psl8
driver8
embedded7
rust7
induction6
formal-verification6
isabelle6
hol6
async6
arm5
tcp5
hardware5
proof5
proof-assistant4
Programming languages (5)
Github contributions (5)
keisrk/morning_routine
Aug 2020 - Mar 2026
My morning routine
Contributions:5 PRs, 212 pushes, 70 branches in 5 years 8 months
routinemorning
keisrk/automatic
Jul 2018 - Jan 2019
Automatic FOL Prover
Contributions:41 commits, 2 PRs, 28 pushes in 6 months
pythonprover
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.