Dr. Vesna Marinković is an Associate Professor at the Department of Computer Science, Faculty of Mathematics, University of Belgrade. She is actively involved in teaching courses such as Computer Graphics, Algorithms and Data Structures, Database Programming, and Construction and Analysis of Algorithms (both undergraduate and Master's level). Her research focuses on automated reasoning in geometry and coherent logic. Education: Graduated from Faculty of Mathematics, University of Belgrade (2006, GPA 9.45/10) PhD in Computer Science (2015): Automated solving of construction problems in geometry under Professor Predrag Janičić Her research combines formal theorem proving with automated reasoning, particularly applied to geometric construction problems. She has developed systems like ArgoTriCS for automated triangle construction and contributed to coherent logic frameworks for readable proofs. Her work also extends to algorithm design and educational tools for teaching computational geometry. Recent publications highlight her focus on geometric problem-solving automation, including methods for Wernick's list of problems and constructibility classes in triangle location. Her work bridges theoretical mathematics with practical algorithm implementation. Academic Affiliations: Member of ARGO (Automated Reasoning GrOup) Department of Computer Science, Faculty of Mathematics, University of Belgrade She teaches courses at both undergraduate and graduate levels, including Computer Graphics , Algorithms and Data Structures , and Construction and Analysis of Algorithms . Her teaching emphasizes practical implementation and theoretical foundations.


