Muhammad Rizwan Ali
PhD Researcher
Bergen,46
Summary
Innovative technology professional with several years of diverse experience. Skilled in enhancing systems and aligning technical solutions with business objectives. Proven success in leading projects from start to finish and contributing to organizational growth and success.
Overview
11
11
years of professional experience
5
5
Certification
11
11
years of post-secondary education
Work History
PhD Research Fellow
Western Norway University of Applied Sciences
Bergen
01.2019 - Current
Organized professional with expertise in managing resources and optimizing performance. Proficient in providing valuable insights and supporting decision-making processes. Committed to enhancing productivity and contributing to overall success. Contributed to projects focused on business process automation and formal methods.
a) CROFLOW:
- Defined a formal modelling language, Rpl, for cross-organizational workflows.
- Implemented a static analyzer to over-approximate the workflow's execution time.
- Developed a proof of concept tool in Java, RplTool, which includes: 1) Simulator 2) Static Analyzer
- Developed a web-based tool-suite, EasyRpl
b) PiV:
Simulated and analysed the workflow of the pathology department of Haukeland Hospital modelled in Rpl.
Lecturer
University of Central Punjab
Lahore
01.2014 - 01.2019
Delivered lessons in Java and C++ programming courses, supervised student capstone projects, and fulfilled administrative responsibilities.
Education
Ph.D. - Computer Science
Western Norway University of Applied Sciences
Norway 10.2019 - Current
Master of Science - Computer Science
COMSATS University
Pakistan 09.2015 - 02.2018
Bachelor of Science - Computer Science
University of The Punjab
Pakistan 09.2010 - 07.2014
Skills
- Programming Languages: Java, C, Haskell, Python
- Programming Language Development: ANTLR v4, JastAdd Java
- Skilled in JavaScript Frameworks and TypeScript
- Real-Time System Modelling
- Static Analysis
- Simulation Development
- Business Process Automation
- Version Control Proficiency (Git, Github)
- Containerization Expertise (Docker)
- Kubernetes Deployment
- Continuous Integration/Deployment Expertise
- Expertise in Qt/QML Integration
- Object-Oriented Programming
- Concurrent Programming
- Design Patterns
- Teamwork and Collaboration
- Performance Evaluation and Optimization
- Software Testing and Validation
- Creative Problem-Solving
- Data Storage and Retrieval
- Cross-Functional Teamwork
- Cost-benefit analysis
- Enterprise Resource Planning
Certification
- Python for Data Science, AI & Development, IBM
- Introduction to Cloud Computing, IBM
- Introduction to Web Development with HTML, CSS, JavaScript, IBM
- Developing front-end apps with React, IBM
- Getting Started with Git and GitHub, IBM
Residencepermit
Permanent Residence Permit (Norway)
Personal Information
Date of Birth: 11/29/90
Languages
- English, Expert, Fluent
- Norwegian, A2-B1
Publications
- Simulation-Based Decision Support for Cross-Organisational Workflows, Ali, M.R., Lamo, Y., Pun, V.K.I., 2024, In: Castellani, I., Tiezzi, F. (eds) Coordination Models and Languages. COORDINATION 2024. Lecture Notes in Computer Science, vol 14676. Springer, Cham., https://doi.org/10.1007/978-3-031-62697-5_7
- A Static Analyser for Resource Sensitive Workflow Models, Ali, M.R., Pun, V.K.I., 2023, In: David, C., Sun, M. (eds) Theoretical Aspects of Software Engineering. TASE 2023. Lecture Notes in Computer Science, vol 13931. Springer, Cham., https://doi.org/10.1007/978-3-031-35257-7_18
- Cost Analysis for a Resource Sensitive Workflow Modelling Language, Ali, M.R., Lamo, Y., Pun, V. K. I., 2023, Science of Computer Programming, vol 225, 2023., https://doi.org/10.1016/j.scico.2022.102896
- Cost Analysis for an Actor-Based Workflow Modelling Language, Ali, M.R., Pun, V.K.I., 2021, In: Campos, S., Minea, M. (eds) Formal Methods: Foundations and Applications. SBMF 2021. Lecture Notes in Computer Science, vol 13130. Springer, Cham., https://doi.org/10.1007/978-3-030-92137-8_7
- Towards a Resource-Aware Formal Modelling Language for Workflow Planning, Ali, M.R., Pun, V.K.I., 2021, In: Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S., Vain, J. (eds) Advances in Model and Data Engineering in the Digitalization Era. MEDI 2021. Communications in Computer and Information Science, vol 1481. Springer, Cham., https://doi.org/10.1007/978-3-030-87657-9_19
References
- Violet Ka I Pun, Associate Professor, Department of Computer Technology, Electrical Technology and Science, Western Norway University of Applied Sciences, Violet.Ka.I.Pun@hvl.no, +47 55 58 70 84
- Yngve Lamo, Professor, Department of Computer Technology, Electrical Technology and Science, Western Norway University of Applied Sciences, Yngve.Lamo@hvl.no, +47 55 58 75 67
Timeline
Ph.D. - Computer Science
Western Norway University of Applied Sciences
10.2019 - Current
PhD Research Fellow
Western Norway University of Applied Sciences
01.2019 - Current
Master of Science - Computer Science
COMSATS University
09.2015 - 02.2018
Lecturer
University of Central Punjab
01.2014 - 01.2019
Bachelor of Science - Computer Science
University of The Punjab
09.2010 - 07.2014
- Python for Data Science, AI & Development, IBM
- Introduction to Cloud Computing, IBM
- Introduction to Web Development with HTML, CSS, JavaScript, IBM
- Developing front-end apps with React, IBM
- Getting Started with Git and GitHub, IBM
Similar Profiles
Nils Henry Williams RasmussenNils Henry Williams Rasmussen
Associate Professor in Mathematics Education at Western Norway University of Applied SciencesAssociate Professor in Mathematics Education at Western Norway University of Applied Sciences
Sarah Hill, MSSA, LISW-S, LCDC IIISarah Hill, MSSA, LISW-S, LCDC III
Adjunct Faculty at Jack, Joseph and Morton Mandel School of Applied Social Sciences, Case Western Reserve UniversityAdjunct Faculty at Jack, Joseph and Morton Mandel School of Applied Social Sciences, Case Western Reserve University
Minna Makela JulkuMinna Makela Julku
Senior Lecturer at Hamk University of Applied SciencesSenior Lecturer at Hamk University of Applied Sciences