Boro Sitnikovski

Die Suchergebnisse bei Legimi sind auf die vom Nutzer angegebenen Suchkriterien zugeschnitten. Wir versuchen Titel, die für unsere Nutzer von besonderem Interesse sein könnten, durch die Bezeichnung "Bestseller" oder "Neuheit" hervorzuheben. Titel in der Liste der Suchergebnisse können auch sortiert werden - die Sortierauswahl hat Vorrang vor anderen Ergebnissen."

Boro Sitnikovski has over ten years of experience working professionally as a software engineer. He started programming with assembly on an Intel x86 at the age of ten. While in high school, he won several prizes in competitive programming, varying from 4th, 3rd, and 1st place. He is an informatics graduate - his bachelor’s thesis was titled “Programming in Haskell using algebraic data structures”, and his master’s thesis was titled “Formal verification of Instruction Sets in Virtual Machines”. He has also published a few papers on software verification. Other research interests of his include programming languages, mathematics, logic, algorithms, and writing correct software. He is a strong believer in the open-source philosophy and contributes to various open-source projects. In his spare time, he enjoys some time off with his family.