I am an assistant professor of logic at the University of Zagreb (Dept. of Croatian Studies/Division for Philosophy). My research area is Logic and Artificial Intelligence.
I am a member of the Association for Symbolic Logic (ASL), the Association for the Advancement of Artificial Intelligence (AAAI) and the Croatian Philosophical Society (HrFD). I am serving as a permanent reviewer for Mathematical Reviews and the IEEE Transactions on Neural Networks and Learning Systems, and an occasional reviewer for several other journals. A paper derived from my PhD research was cited by Carl Hewitt.
Before my current academic position, I worked as a software developer and data scientist, eventually becoming an advanced analytics manager in A1 Telecom. I was also a lecturer in Computer Science at the University College Algebra Zagreb until 2019, and will continue in 2020 as a senior lecturer in computer science at the University College for Information Technologies Zagreb. My main languages are Lisp and Python, and I also use SQL. On very rare occasions I code in Prolog, JS (d3.js, jQuery, Angular) and C#. My favorite text editor is Vi(m). I dislike (and do not use) anything by Microsoft.
My publications can be found here and my course materials here. My detailed CV (in Croatian, English version coming soon) can be found here. My academic genealogy can be found here. My research program (a list of my future papers with pseudo-abstracts) can be found here.