PhD Candidate Muhammad Rizwan Ali PhD Candidates Email: Send email Bergen FABRIKKGT, R204-09 Download contact card See profile in CRIStin Field of work Formal MethodsResearch areas Formal Methods