Amar Hadzihasanovic

Amar Hadzihasanovic is an Assistant Professor at Tallinn University of Technology, affiliated with the Compositional Systems and Methods group, and a Scientific Advisor at Quantinuum. He specializes in category theory, higher-dimensional algebra, and their applications in quantum computing and formal systems. His recent work includes organizing the 110th Peripatetic Seminar on Sheaves and Logic (PSSL) and completing a book on higher-categorical diagrams with Cambridge University Press. Hadzihasanovic has been awarded grants from ARIA (Safeguarded AI programme) and the Estonian Research Council, supporting his research on diagrammatic rewriting and homotopy theory.

His research interests span categorical foundations, diagrammatic sets, and computational aspects of higher-dimensional structures. Key contributions include model structures for (∞, n)-categories, acyclicity conditions in pasting diagrams, and formal axiomatizations of quantum systems. He has advised PhD students Alkis Ioannidis and Clémence Chanavat, and collaborates widely with institutions like the University of Cambridge and Quantinuum.

Hadzihasanovic has delivered invited talks at conferences such as Category Theory 2024, the Nordic Congress of Mathematicians, and the Geometric and Topological Methods in Computer Science (GETCO). His teaching includes a course on category theory and diagrammatic reasoning at Kyoto University. His software, including the rewalt library, supports topologically sound higher-dimensional diagram rewriting.