Journal articles
On the maximal numerical range of some matrices, Electronic Journal of Linear Algebra, Volume 34, pp. 288-303 (2018). Co-authored with Prof. Ilya Spitkovsky.
Editorial contributions
Ahsen, S. (2026). A Confluence Between Iqbal and Leibniz. Routledge. (Editorial and research assistance)
Asynchronous hyperlogics for verification, under the supervision of Dr. Nisansala Yatapanage.
Developing an asynchronous modal logic for hyperproperties in branching-time temporal logic, building on HyperCTL*.
Investigating its expressive power, defining an appropriate bisimulation relation, and studying invariance under stuttering.
Developing results from my masters thesis for publication, under the guidance of Dr. Ivano Ciardelli and Dr. Gianluca Grilletti.
Introducing games to study the expressive power of Inquisitive Predicate Modal logic (InqBQM).
Studying state and world properties in InqBQM.
Co-authoring 'Introduction to the Reconstruction: Major themes in Iqbal' with Dr. Shabbir Ahsen.
A book-length project on making Iqbal's Reconstruction more accessible.
'A Confluence Between Iqbal and Leibniz' (published by Routledge in 2026), Dr. Shabbir Ahsen, LUMS (2022-25)
Assisted Dr. Abubakar Khan in various projects on Nietzsche, Rumi, Locke, and process philosophy, ITU (2018-19)
'Local Government Capacity', Dr. Ali Cheema, IDEAS (2018)
'Democrameter: Measuring the Demand for Democracy', Usman Khan, LUMS (2018)
'A Study of the Public School System of Pakistan', Dr. Samreen Malik, NYU Abu Dhabi (2018)
'Dynastic Politics', Dr. Ali Cheema, IDEAS (2016)