Arfeen Khalid

I am a computer science PhD candidate at University of Central Florida working under the supervision of Dr. Sumit Kumar Jha since Spring 2016. I received my Bachelor's degree in Computer Engineering from University of Engineering and Technology Lahore (UET Lahore), Pakistan in 2010. I completed my Masters in Computer Science from Lahore University of Management Sciences (LUMS), Pakistan in 2013. My research interests include automated verification and parameter synthesis of stochastic systems.