Peter Bock
Software Developer (Seniorrådgiver) at Arbeids- og velferdsdirektoratet
Oslo, Norway
Summary
👤
Senior🎓
Top SchoolPeter Bock is a seasoned software developer with 13 years of experience combining academic rigor from PhD research in type theory with practical engineering in Kotlin, Java, Kubernetes, Kafka, Postgres and TypeScript/React. Currently a senior adviser at Norway’s Arbeids- og velferdsdirektoratet, he focuses on reliable, cloud-native backend systems and has product-grade experience from Microsoft building Java/Spring services. Peter is comfortable across paradigms—functional and object-oriented—and has contributed to notable open-source projects such as the widely used koenkk/zigbee-herdsman library, where he improved locking, type safety and UTF-8 handling. He brings a strong ability to learn complex concepts quickly and to reason about correctness and safety, an asset born from research in proof theory and concurrent systems. Based in Oslo, he blends deep theoretical insight with pragmatic, production-focused problem solving.
12 years of coding experience
2 years of employment as a software developer
Bachelor, Informatics, Bachelor, Informatics at Universitetet i Oslo (UiO) / University of Oslo
Norwegian, English, Danish
Github Skills (7)
typescript10
zigbee10
nodejs10
typescripts10
lib10
typescript-types10
javascript9
Programming languages (12)
Github contributions (5)
Koenkk/zigbee-herdsman
Feb 2021 - Apr 2021
A Node.js Zigbee library
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 review, 8 commits, 10 PRs in 1 month
Contributions summary:Peter made several contributions focused on improving the `koenkk/zigbee-herdsman` library. Their work involved fixing bugs related to missing locking mechanisms, simplifying utility code for efficiency, and narrowing the types used within the buffalo framework for better type safety. Additionally, the user updated the internal buffalo code base to leverage built in number parsing methods from the buffer class and included small refactorings. Furthermore, the user extended the functionality with the ability to read and write UTF8 strings.
node-rednode-jsgoogle-homezigbeenodered
peterbb/uio-print
Jun 2013 - Mar 2016
Contributions:5 commits, 1 push in 2 years 8 months
uioprintingcommandline-toolsshterminal
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.