Interests
Descrete mathematics, clone theory, models of nondeterministic processes, reversible computation
Projects
Cost Action IC1405: Reversible Computation - Extending Horizons of Computing, 2015 - 2019
DART: Dynamically and Autonomously Reconfigurable Types, bilateral project between Italy and Serbia, 2013 - 2015
Cost Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems (BETTY), 2012 - 2016
Representations of logical structures and formal languages and their application in computing, Ministry of Education and Science, Project ON 174026, 2011 - 2020
Forcing, Model Theory and Set-Theoretic Topology 2, Ministry of Science and Environmental Protection, Project No 144001
Activities
Summer and Winter Schools
SSAOS 2014 - Summer School on General Algebra and Ordered Sets, Stara Lesna, Slovakia, September 2014
Third International SAT/SMT Summer School 2013, Espoo, Finland, July 2014
Winter School on Verification, Vienna, Austria, February 2012
DAAD Intensive Course on Neural Networks, Sofia, Bulgaria, November 2004
Conferences and Workshops
AAA102 - 102nd Workshop on General Algebra, Szeged, Hungary, June 2022
AAA101 - 101st Workshop on General Algebra, online, June 2021
ISMVL 2021 - 51st IEEE International Symposium on Multiple-Valued Logic, online, May 2021
AAA94+NSAC 2017 - 94th Workshop on General Algebra & 5th Novi Sad Algebraic Conference, Novi Sad, Serbia, June 2017
ISMVL 2017 - 47th IEEE International Symposium on Multiple-Valued Logic, Novi Sad, Serbia, May 2017
TYPES 2016 - 22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbia, May 2016
LAP 2015 - Logic and Applications, Dubrovnik, Croatia, September 2015
AAA90 - 90th Workshop on General Algebra, Novi Sad, Serbia, June 2015
ISMVL 2015 - 45th IEEE International Symposium on Multiple-Valued Logic, Waterloo, Ontario, Canada, May 2015
MACORS 2014 - 4th Mathematical Conference of the Republic of Srpska, Trebinje, BiH, June 2014
NSAC 2013 - 4th Novi Sad Algebraic Conference, Novi Sad, Serbia, June 2013
Workshop on Progress in Decision Procedures: From Formalizations to Applications, Belgrade, Serbia, March 2013
GAMM 2013 - 84th Annual Meeting of the International Association of Applied Mathematics and Mechanics, Novi Sad, Serbia, March 2013
Conference on Universal Algebra and Lattice Theory, Szeged, Hungary, June 2012
AAA83 - 83rd Workshop on General Algebra, Novi Sad, Serbia, March 2012
5th Workshop on Formal Theorem Proving and Applications, Belgrade, Serbia, February 2012
RDP 2011 – Federated Conference on Rewriting, Deduction and Programming, Novi Sad, Serbia, May-June 2011
NSAC 2009 - 3rd Novi Sad Algebraic Conference, Novi Sad, Serbia, August 2009
Dani logike, Novi Sad, Serbia, December 2007