Boro Sitnikovski (@bor0) – WordPress user profile

Bio

Hi there!

My name is Boro Sitnikovski. I have a Master’s degree in Informatics and work professionally as a Software Engineer.

I work at Automattic. I contribute to a lot of open-source projects. That is because I am a strong believer in open source. I am happy to do this, knowing that the code I write runs on millions of machines and has a positive impact. I also learn a lot on the way to doing this.

Author of:
– Introducing Software Verification with Dafny Language
– Introduction to Dependent Types with Idris
– Introducing Blockchain with Lisp
– The Mirrors In Us

Interests

life, psychology, mathematics

Badges

CODE

3 badges

Core Contributor '17 Meta Contributor '26 Plugin Developer

CONTENT

1 badge

Documentation Contributor '17

COMMUNITY

1 badge

WordCamp Speaker '23

POLYGLOTS

1 badge

Translation Contributor '18

Current Job

Code Wrangler

Jan 2017 – Present

Automattic · Full-time

DevEx: Designing and contributing to projects aimed at enhancing the engineering culture, which includes hiring, mentoring, conducting workshops, tooling, and refining processes. WooCommerce: Improvements, bug fixes, architecture, and tooling for core, extensions, and woo.com. Technologies: PHP, SQL, JS, C (php-src), Lua, Docker, Claude/Codex.

Key Accomplishments

Certificate: EMC E20-120 Content Management Foundations u2013 PearsonVUE OIC, 2011

Certificate: Introduction to Philosophy u2013 The University of Edinburgh (Coursera), 2022

Certificate: META101x: Philosophy and Critical Thinking u2013 The University of Queensland (edX), 2023

Certificate: Introduction to Psychology u2013 Yale University (Coursera), 2023

Acquired 3rd place at XVII State Programming Contest u2013 ZIM/PMF, Berovo, 2006

Acquired 4th place at the 1st Republic Informatics Contest u2013 Alexandria, Skopje, 2007

Acquired 1st place (harder group) at XV Regional Programming Contest u2013 ZIM/PMF, Skopje, 2007

Bachelor's degree in Informatics, FON University, 2015/2022. Theses: Programming in Haskell using algebraic data structures; Implementing a programming language and a theorem prover

Master's degree in Informatics (Software Engineering), University of Skopje, 2020. Thesis: Formal verification of Instruction Sets in Virtual Machines

Published paper: PubSub implementation in Haskell with formal verification in Coq, 17th International Conference on Informatics and Information Technologies, 2020

Published paper: Implementing virtual organizations in the Western Balkan Countries (WB6), International Journal of Humanities, Art and Social Studies, 2020

Published paper: Formalizing line editors in Coq, arXiv:2006.03525, 2020

Published paper: Models for software verification: Proving program correctness, ICONBEST, 2020

Published paper: Tutorial implementation of Hoare logic in Haskell, arXiv:2101.11320, 2021

Published paper: Integrating a Virtual Machine on a system-on-a-chip, ICEST u2013 IEEE, 2022 (also featured on Hackaday magazine)

Published paper: Budge: A programming language and a theorem prover, Central Asian Journal of Mathematical Theory and Computer Sciences, 4(4), 41-45, 2023

Authored book: Introduction to Dependent Types with Idris, Amazon KDP, 2018; re-published with Apress, 2023

Authored book: Introducing Blockchain with Lisp, Apress (Springer), 2021

Authored book: Introducing Software Verification with Dafny Language, Apress (Springer), 2022

Authored book: The Mirrors in Us, Lulu Press, 2025

Recent impact

Score weights high-impact work (commits, releases, approved translations, props) at 3x routine activity.

Last 30 days

46contributions

high9

medium37

score64

Last 90 days

66contributions

high19

medium47

score104

Last 12 months

98contributions

high40

medium58

score178

WordPress releases

Contributed to 10 releases

Contributions

Type

July 2026

Jul 24 Fri · 12:26

Community med

Created issue #1810 in the WordPress/wordcamp.org repository:
Groups: my-events block shows nothing for users who created events but haven't…

Jul 24 Fri · 12:21

Community med

Closed issue #1809 on the WordPress/wordcamp.org repository:
Groups: consider gatherpress-relations for the event-speakers block

Jul 24 Fri · 12:17

Community med

Created issue #1809 in the WordPress/wordcamp.org repository:
Groups: consider gatherpress-relations for the event-speakers block

Jul 24 Fri · 10:46

Community med

Created issue #1808 in the WordPress/wordcamp.org repository:
Groups: expose GatherPress's online-event support in the custom event form (physical +…

Jul 24 Fri · 09:51

Community med

Created issue #1807 in the WordPress/wordcamp.org repository:
Groups: reconsider what /members REST endpoint exposes publicly

Jul 24 Fri · 09:51

Community med

Created issue #1806 in the WordPress/wordcamp.org repository:
Groups: wporg/event-manage block is registered but unused (dead code)

Jul 24 Fri · 09:51

Community med

Created issue #1805 in the WordPress/wordcamp.org repository:
Groups: Group Settings "About" tab fails for Organisers — /wp/v2/settings requires manage_options

Jul 24 Fri · 09:51

Community med

Created issue #1804 in the WordPress/wordcamp.org repository:
Groups: Leave/Join group always fails — REST calls send an empty X-WP-Nonce

Jul 23 Thu · 15:00

Community med

Created issue #1803 in the WordPress/wordcamp.org repository:
Groups: venue post data leaks via REST API despite non-public lockdown

Jul 23 Thu · 14:57

Community med

Created issue #1802 in the WordPress/wordcamp.org repository:
Groups: consider relation-based event speakers instead of flat post_meta