CV

Education

Australian National University  (2025-2029)

• PhD, School of Computing

• Topic: Verification of concurrent systems.

Munich Centre for Mathematical Philosophy, LMU  (2022-2023)

• One year research work in doctoral program.

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

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

• Study Abroad: Shanghai (Jan 2016), London (Spring 2016), Accra (Jan 2017), New York (Spring 2017)

Management Work

Member of Core Curriculum Taskforce, LUMS, Lahore, Pakistan

April 2024 – current

Curriculum Advisor: Philosophy, Politics & Economics, LUMS, Lahore, Pakistan

July 2018 – Feb 2019

Curriculum Advisor: National Management Course, NSPP, Lahore, Pakistan

Sept 2018 – Dec 2018

Employment

Adjunct faculty, LUMS, Lahore, Pakistan

August 2023 – present

Co-lecturer, LUMS, Lahore, Pakistan

May 2023 – June 2023

Research Assistant, LUMS, Lahore, Pakistan

Mar 2022 – May 2022

Teaching Assistant, LUMS, Lahore, Pakistan

Sept 2020 – Dec 2020

Teaching Assistant, LUMS, Lahore, Pakistan

Sept 2018 – Dec 2019

Research Intern, ITU, Lahore, Pakistan

Aug 2018 – Oct 2019

Research Assistant, IDEAS, Lahore, Pakistan

June 2018 – Sept 2018

Research Assistant, NYU Abu Dhabi

June 2018 – August 2018

Research Intern, LUMS, Lahore, Pakistan

May 2018 – August 2018

Actuarial Intern, Munich Re, Dubai, UAE

June 2017 – Aug 2017

Research Intern, IDEAS, Lahore, Pakistan

 July 2016 – Aug 2016

References

Ivano Ciardelli, ivano.ciardelli@lrz.uni-muenchen.de

Norbert Gratzl, Norbert.Gratzl@lrz.uni-muenchen.de 

Shabbir Ahsen, sahsen@lums.edu.pk

Ilya Spitkovsky, ims2@nyu.edu