ABOUT ME
Muhammad Rizwan Ali is a passionate software engineer and researcher with expertise in formal methods, domain-specific languages, and business process automation. He holds a PhD in Computer Science from the Western Norway University of Applied Sciences (HVL), where he developed a novel object-oriented formal modelling language for cross-organisational workflows. His research spans workflow semantics, static analysis, and the implementation of simulation tools, contributing to projects such as CROFLOW and PiV. Rizwan has over ten years of hands-on experience in software development, particularly in C++, Java, and Python, with a strong focus on building scalable systems for real-time and distributed environments. He has worked extensively with ANTLR and JastAdd to design and implement custom DSLs and formal analysis tools.
