Australian National University (2025-current)
PhD, School of Computing
Topic: Verification of concurrent systems.
Supervisor: Dr. Nisansala Yatapanage.
Munich Centre for Mathematical Philosophy, LMU (2019-2021)
Masters in Logic and Philosophy of Science
Thesis: On the expressive power of inquisitive modal predicate logic.
Supervisor: Dr. Ivano Ciardelli
New York University Abu Dhabi (2014-2018)
Bachelor of Science – Double major in Mathematics and Philosophy, minor in Economics
Capstone Project: On the maximal numerical range of some matrices.
Supervisor: Prof. Ilya Spitkovsky
Study Abroad: Shanghai (Jan 2016), London (Spring 2016), Accra (Jan 2017), New York (Spring 2017)
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)
Current
Asynchronous hyperlogics for verification, under the supervision of Dr. Nisansala Yatapanage, ANU (2025–present)
Expressive power of inquisitive modal predicate logic, with Dr. Ivano Ciardelli and Dr. Gianluca Grilletti (2021–present)
Co-authoring Introduction to the Reconstruction: Major themes in Iqbal with Dr. Shabbir Ahsen (2026–present)
Past
Assisted Dr. Shabbir Ahsen in research and editing for A Confluence Between Iqbal and Leibniz (2022–2025)
Various projects on Nietzsche, Rumi, Locke, and process philosophy, Dr. Abubakar Khan, ITU (2018–2019)
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)
The Universe of Logic, SundarSTEM, Lahore, September 2023
The Exam Prep Network (October 2025)
Introduction to Logic
Essay Writing
Lahore University of Management Sciences
Adjunct Faculty (2023–2025):
Introduction to Logic (Fall 2023, Spring 2024, Spring 2025)
Logic & Critical Thinking (Fall 2023, Spring 2024, Spring 2025)
Calculus I (Fall 2024)
Guest Lecturer (Summer 2023):
Introduction to Logic
Teaching Assistant (2018–2020):
History of Western Philosophy (Spring 2019, Fall 2019, Fall 2020)
Moral Philosophy (Fall 2020)
Introduction to Logic (Fall 2018, Spring 2019, Fall 2019)
Philosophy Gym (Spring 2019, Fall 2019)
Introduction to Philosophy (Fall 2018)
Member, Core Curriculum Taskforce, LUMS (May – Dec 2024)
Curriculum Advisor, Philosophy, Politics & Economics programme, LUMS (July 2018 – Feb 2019)
Curriculum Advisor, National Management Course, National School of Public Policy (August – December 2018)
Private Tutor, Self-employed (April 2026–present) — Online tutoring in logic, philosophy and mathematics.
Research Assistant, LUMS (Mar 2022 – Oct 2025, with gaps) — Research and editorial assistance on A Confluence Between Iqbal and Leibniz by Dr. Shabbir Ahsen, published by Routledge (2026)
Research Intern, ITU, Lahore (Aug 2018 – Sept 2019) — Research projects on Nietzsche, Rumi, Locke, and process philosophy with Dr. Abubakr Khan
Research Assistant, IDEAS (June – Sept 2018) — Local Government Capacity project with Dr. Ali Cheema
Research Assistant, NYU Abu Dhabi (June – July 2018) — Analysis of Public Education in Pakistan with Dr. Samreen Malik
Actuarial Intern, Munich Re, Dubai (June – Aug 2017)
Research Intern, IDEAS (July – Aug 2016) — Dynastic Politics project with Dr. Ali Cheema and Dr. Adnan Qadir Khan
English — native or bilingual proficiency
Urdu — native or bilingual proficiency
Punjabi — limited working proficiency
German — elementary
Pashto — elementary
Dr. Nisansala Yatapanage, Senior Lecturer, Australian National University nisansala.yatapanage@anu.edu.au
Dr. Shabbir Ahsen, Associate Professor, Lahore University of Management Sciences sahsen@lums.edu.pk
Dr. Ivano Ciardelli, Associate Professor, University of Padua ivano.ciardelli@unipd.it
Prof. Ilya Spitkovsky, Professor, New York University Abu Dhabi ims2@nyu.edu