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, R203-06 Download contact card See profile in CRIStin Field of work Formal Methods Research areas Formal Methods