Zainab Fatmi

Zainab Fatmi

Doctoral Student

E: syyeda.fatmi@cs.ox.ac.uk

S: LinkedIn

Themes:

• Automated Verification

Biography

I am a DPhil student under the supervision of Stefan Kiefer and Dave Parker. Before joining Oxford, I spent two years at IBM on the cryptography performance team. I earned my master's degree in Electrical and Computer Engineering at York University in 2021, supervised by Franck van Breugel, with research focused on probabilistic model checking of randomized Java code. I completed my undergraduate degree in Computer Engineering at York University in 2019.

Activities

• PRISM
• Quantitative Analysis and Verification
• Probabilistic Model Checking

Supervisors