Interests:
- Modal logic
- Temporal logic
- Bisimulation and expressive power
- Hyperproperties
- Formal verification
Research:
My research lies at the intersection of mathematical logic and theoretical computer science, focusing on the verification of concurrent systems. More broadly, I am interested in the development and application of modal logics for reasoning about complex structures.
I am currently working on an asynchronous hyperlogic, building on HyperCTL*. My work investigates questions of expressive power, bisimulation, and invariance under stuttering, with the broader aim of understanding what classes of properties of concurrent systems can be represented and verified using such logics.
Prior to commencing my PhD, I worked on questions concerning the expressive power of inquisitive modal predicate logic, a modal framework motivated by philosophical concerns. Across these areas, my research is united by an interest in how modal logics can be used to model, analyse, and reason about different forms of structure.
Biography:
I am a PhD student in Computer Science at the Australian National University, working on the verification of concurrent systems under the supervision of Dr. Nisansala Yatapanage.
I completed an MA in Logic and Philosophy of Science at the Munich Center for Mathematical Philosophy (Ludwig Maximilian University of Munich), where my thesis studied the expressive power of inquisitive modal predicate logic. I also hold a BSc (Honours) from New York University Abu Dhabi with double majors in Mathematics and Philosophy and a minor in Economics.
Alongside research, I have taught undergraduate courses in logic, critical thinking, and calculus, and have contributed to curriculum development in several contexts, including contributions to ethics curriculum development for senior government officers at the National Management College, Pakistan, and undergraduate programme design at the Lahore University of Management Sciences.
My broader interests concern the development and use of modal logics in philosophy, language, and theoretical computer science.
Teaching:
Lahore University of Management Sciences
-
Adjunct Faculty (2023-2025)
- Introduction to Logic
- Logic & Critical Thinking
- Calculus I
-
Guest Lecturer (2023)
- Introduction to Logic
-
Teaching Assistant (2018-2020)
- Introduction to Logic
- Moral Philosophy
- History of Western Philosophy
- Introduction to Philosophy
- Philosophy Gym
Publications:
Hamed, A. N. & Spitkovsky, I. M. (2018). On the maximal numerical range of some matrices. Electronic Journal of Linear Algebra, 34, 288–303. doi:10.13001/1081-3810.3774