Dr Milad Ketabi
Academic and research departments
Computer Science Research Centre, Surrey Centre for Cyber Security.About
Biography
Overview:
My expertise is formal verification and engineering verified software, which I have applied to address security and functional correctness challenges in large scale academic and industrial projects.
Background:
I completed my PhD at the Australian National University, department of computer science in December 2019. Afterwards, I joined the seL4 microkernel team at UNSW where I worked on formal verification of the microkernel scheduler and importantly contributed significantly to the closing of twelve-year old verification gap in seL4 by verifying the bootloader of the microkernel. Subsequently, I completed a short-term postdoctoral position at UNSW working on formal verification of adversarial neural networks for biometric authentication of children in online environments. Finally, prior to joining Surrey, I worked in the blockchain industry as an applied researcher for crafting a software framework to formally reason about smart contracts bytecode.
Before turning to computer science, I was (and still am) a math lover studying at Sharif University of Technology and the University of Tehran. Also I have received formal training in cybersecurity at Monash University.