WordPress.org
Get WordPress

Profiles

Image

Boro Sitnikovski

Code Wrangler at Automattic

@bor0 Skopje, MK joined Jan 2017

refl.blog github.com/bor0 Slack: @bor0
    Languages mk

    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
    2 badges
    bbPress Contributor '26 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
    325contributions
    high166
    medium159
    score657
    Last 90 days
    782contributions
    high349
    medium433
    score1480
    Last 12 months
    909contributions
    high394
    medium515
    score1697

    WordPress releases

    Contributed to 11 releases
    • 7.1
    • 7.0
    • 6.9
    • 6.8
    • 6.4
    • 6.3
    • 5.3
    • 5.1
    • 4.9
    • 4.8
    • 4.7

    Contributions

    Type
    October 2026
    Oct 30 Fri · 16:06
    Community high
    Merged pull request #2282 into WordPress/wordcamp.org:
    CampTix Badge Generator: Add WordPress.org username, hometown, website, and company to badges
    Oct 30 Fri · 16:06
    Community med
    Closed issue #2279 on the WordPress/wordcamp.org repository:
    CampTix Badge Generator: InDesign CSV escapes the @QRCode and @Gravatar columns
    Oct 30 Fri · 16:06
    Community high
    Merged pull request #2280 into WordPress/wordcamp.org:
    CampTix Badge Generator: Keep InDesign's image columns, and clean up failed exports
    Oct 30 Fri · 15:57
    Community med
    Submitted pull request #2282 to WordPress/wordcamp.org:
    CampTix Badge Generator: Add WordPress.org username, hometown, website, and company to badges
    Oct 30 Fri · 14:33
    Community med
    Submitted pull request #2280 to WordPress/wordcamp.org:
    CampTix Badge Generator: Keep InDesign's image columns, and clean up failed exports
    Oct 30 Fri · 14:32
    Community med
    Created issue #2279 in the WordPress/wordcamp.org repository:
    CampTix Badge Generator: InDesign CSV escapes the @QRCode and @Gravatar columns
    Oct 30 Fri · 11:38
    Community med
    Submitted pull request #2278 to WordPress/wordcamp.org:
    CampTix Badge Generator: Add badge fields and a Canva export
    Oct 30 Fri · 11:13
    GitHub med
    Submitted pull request #1120 to WordPress/wordpress.org:
    Official WordPress Events: Import events from WordPress Groups
    Oct 30 Fri · 11:02
    GitHub high
    Merged pull request #602 into WordPress/wporg-developer:
    Breadcrumbs: Avoid warning when the search queried object is not a post…
    Oct 30 Fri · 11:02
    GitHub high
    Merged pull request #603 into WordPress/wporg-developer:
    User Notes: Reject non-string input in the note preview AJAX handler

    Contributor

    8 plugins

    Plugins

    1 favorite

    Translations

    1 locale
    mk_MK Македонски јазик (Macedonian) Translation Contributor

    Contributed translations to 6 projects.

    WordPress 4.9.x WordPress 5.0.x WordPress 5.1.x WordPress 5.2.x WordPress 5.3.x WordPress 7.1.x - Development

    View all on translate.wordpress.org