Research
Research
My current research, supervised by Dr. Nisansala Yatapanage, focuses on temporal logics for the verification of concurrent systems. I am studying how logical frameworks can capture asynchronous behaviour, branching time, and hyperproperties.
Developing a modal logic for asynchronous hyperproperties, building on HyperCTL*
Comparing its expressive power with related logics
Defining suitable notions of bisimulation and equivalence
Investigating invariance under stuttering
I am collaborating with Dr. Ivano Ciardelli and Dr. Gianluca Grilletti on the expressive power of inquisitive modal predicate logic.
Developing model-theoretic games to characterise expressive power
State and world properties
Hamed, A., & Spitkovsky, I. (2018). On the maximal numerical range of some matrices. The Electronic Journal of Linear Algebra, 34, 288–303. DOI | PDF
Asynchronous Hyperlogics, Formal Methods Workshop, University of Queensland, Brisbane, June 2026 (Slides)
Current
Co-authoring a book-length project with Dr. Shabbir Ahsen that aims to make Muhammad Iqbal’s The Reconstruction of Religious Thought in Islam more accessible to contemporary readers.
Past
Contributed research and editorial work to Dr. Shabbir Ahsen’s A Confluence Between Iqbal and Leibniz, a Routledge monograph published in 2026.
Previous research experience spans philosophy, intellectual history, public education, local governance, and political economy.