Please select the name from the list. If the name is not there, means it is not connected with a GND -ID?
GND: 1234420422
Click on the author name for her/his data, if available
List of co-authors associated with the respective author. The font size represents the frequency of co-authorship.
Click on a term to reduce result list
The result list below will be reduced to the selected search terms. The terms are generated from the titles, abstracts and STW thesaurus of publications by the respective author.
b
Match by:
Sort by:
Records:
The information on the author is retrieved from: Entity Facts (by DNB = German National Library data service), DBPedia and Wikidata
Boro Sitnikovski
Biblio: Boro Sitnikovski has over 10 years of experience working professionally as a software engineer. He started programming using the Assembly programming language on an Intel x86 at the age of 10. While in high school, he won several prizes for competitive programming, varying from fourth, third, and first 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 papers on software verification. Other research interests 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.