Address

Contact Information

Arfeen Khalid

PhD Candidate

Arfeen is a computer science PhD candidate in the Jha lab. She received her Masters in Computer Science from Lahore University of Management Sciences (LUMS), Pakistan and joined the Jha lab in 2016. Her research interests include automated verification and parameter synthesis of stochastic systems. She defended her doctoral dissertation in April 2019. In a short period of 3 years, she published 4 papers related to an unusually challenging project in the Jha lab.

Publications

    • A. Khalid and S. K. Jha, ” Parameter estimation of stochastic biochemical models against multiple temporal logic behavioral specifications,” BMC Bioinformatics, 2019 (invited paper, accepted with minor changes).
    • A. Khalid and S. K. Jha, ” Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking,” International Conference on Bioinformatics and Biomedicine (BIBM), 2018.
    • A. Khalid and S. K. Jha, ” Parameter Estimation of Stochastic Biochemical Models using Multiple Hypothesis Testing,” in 8th IEEE International Conference on Computational Advances in Bio and medical Sciences (ICCABS), 2018.
    • S. K. Jha and A. Khalid, ” Calibration of stochastic biochemical models against behavioral temporal logic specifications ,” in 7th IEEE International Conference on Computational Advances in Bio and medical Sciences (ICCABS), 2017.