Maryam Kamali

I am a research associate at the University of Liverpool working with Prof. Michael Fisher. Currently I am involved in the Verifiable Autonomy project. I am also a member of the Logic and Computation research group.

I received a Ph.D. in Computer Science from Abo Akademi University, Finland in September 2013. My research focus was on formal specification and verification of networked systems, using theorem prover and model checker.