Osnovnu školu “Nikola Tesla” završio je u Dublju, a srednju školu “Mačvanska srednja škola” završio je u Bogatiću. Osnovne i master studije matematike završio je 2012. i 2014. godine na Prirodno-matematičkom faklutetu u Novom Sadu. Doktorsku disertaciju “Formal modeling and analysis of resource usage and sharing in distributed software systems” odbranio je u januaru 2020. godine na Fakultetu-tehničkih nauka u Novom Sadu, pod mentorstvom prof. Jovanke Pantović i prof. Hugo Torres Vieira.

Od 2014. godine zaposlen je na Fakultetu tehničkih nauka u zvanjima: saradnik u nastavi (2014-2015), asistent master (2015-2020), asistent sa doktoratom (2020-2021), docent (2021- ).
Držao je vežbe i predavanja iz različitih matematičkih predmeta, na različitim odsecima Fakulteta tehničkih nauka. Autor je jedne zbirke zadataka i jednog udžbenika.

Oblast njegovih naučnih istraživanja obuhvata teorijsko računarstvo, preciznije fomalne metode i tipske sisteme, kao i njihovu primenu u konkuretnom i distribuiranom računarstvu. Rezultate svojih istraživanja predstavljao je na vodećim međunarodnim konferencijama iz oblasti programskih jezika i formalnih metoda, kao što su POPL, FORTE, ICE, ISMVL, i publikovao u vodećim međunarodnim časopisima, kao što su TOCL, IEEE ACCESS, JLAMP, JMVL-SC.

Aktivan je kao istraživač na HorizonEurope projektu TaRDIS, kao i COST akciji EuroProofNet. Prethodno je bio učesnik i na COST projektima BETTY, Reversible computation, EUTYPES, projektu Fonda za nauku ALADDIN, kao i projektu Ministarstva prosvete, nauke i tehnološkog razvoja Reprezentacije logičkih struktura i formalnih jezika i njihove primene u računarstvu.