PhD Candidate Muhammad Rizwan Ali Department of Computer science, Electrical engineering and Mathematical sciences Tel: +47 55 58 77 88 Email: Send email Bergen FABRIKKGT, R204-09 Download contact card See profile in CRIStin Field of work Formal Methods Research areas Formal Methods