Summary
Overview
Work History
Education
Skills
Certification
Languages
Timeline
Work Preference
4b
Muhammad Rizwan Ali

Muhammad Rizwan Ali

PhD Researcher
Bergen

Summary

Dedicated Research Fellow with extensive experience in conducting and leading scientific studies. Demonstrated strengths in analytical skills, problem-solving abilities, automation and effective communication of complex concepts. Notable contributions to published research papers and advancements in the field.

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
10.2019 - Current

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

PhD - Computer Science

Western Norway University of Applied Sciences
10.2019 - Current

MSc - Computer Science

COMSATS University
09.2015 - 02.2018

BSc - Computer Science

University of The Punjab
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
  • Automation process design
  • Control system design
  • Theoretical problem-solving skills

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

Languages

English
Bilingual or Proficient (C2)
Urdu
Bilingual or Proficient (C2)
Norwegian
Intermediate (B1)

Timeline

PhD Research Fellow

Western Norway University of Applied Sciences
10.2019 - Current

PhD - Computer Science

Western Norway University of Applied Sciences
10.2019 - Current

MSc - Computer Science

COMSATS University
09.2015 - 02.2018

Lecturer

University of Central Punjab
01.2014 - 01.2019

BSc - Computer Science

University of The Punjab
09.2010 - 07.2014

Work Preference

Work Type

Full TimeContract Work

Work Location

On-SiteRemoteHybrid

Important To Me

Career advancementCompany CulturePersonal development programsTeam Building / Company Retreats
Muhammad Rizwan AliPhD Researcher