Working on Formal Verification, Data Science, Machine Learning, Blockchain, and Web-related projects. Managing teams to build projects from scratch, making decisions regarding the architecture and technology stack, and delivering projects with challenging deadlines. (MongoDB, ExpressJS, AngularJS, Node.js, ASP.Net Core, Ethereum, Multichain, Hyperledger Fabric, Machine Learning, RStudio Team, Storm Model Checker, Prism Model Checker)o Storm GUICurrently Supervising and developing… Show more Working on Formal Verification, Data Science, Machine Learning, Blockchain, and Web-related projects. Managing teams to build projects from scratch, making decisions regarding the architecture and technology stack, and delivering projects with challenging deadlines. (MongoDB, ExpressJS, AngularJS, Node.js, ASP.Net Core, Ethereum, Multichain, Hyperledger Fabric, Machine Learning, RStudio Team, Storm Model Checker, Prism Model Checker)o Storm GUICurrently Supervising and developing the project. Storm is a command line based model checker and is developed by RWTH Aachen University, Germany. We are providing a web based GUI for model checker. For this project, I am working on translation of web based objects to JANI language, syntax and semantic analyzer of language to run for analysis on the Storm. (Storm, JANI, Python, Angular) o RStudioAcquired RStudio product knowledge and worked on multiple features of RStudio Team Products to build a sandbox environment from scratch. Also incorporated advanced features like load balancing and Launcher Capability with Kubernetes in RStudio Products. (R, Python, RStudio, Docker, Kubernetes, AWS)o Stochastic Verification of Biosensors Worked on formal verification of important bioreceptor measures in a medical sensor like response time, accuracy, precision, sensitivity, etc. using prism & storm model checker. (Prism, Storm)o Reliability Analysis of Fire Alarm & Sprinkler SystemWorked on safety instrumented systems (SIL) analysis of a "Fire alarm & sprinkler system" using dynamic fault trees (DFTs) and storm model-checker and figured out sensitive and non-sensitive components for a cost-effective and reliable system designed.o Pharma Company Data Analytics Apply Logistic Regression, K-Means Clustering, Word embedding Machine Learning & Deep Learning models for quantitative and qualitative analysis on pharmaceutical data to increase the adoption level of the targets. (Storm, DFT, Python) Show less

o E-ServicesE-Services is a web-based civic services system that consolidates various utilities such as storage and management of citizen biodata, medical history, and driving records. E-Services uses third-party biometric hardware for registration and verification of citizen information. In this project, I was responsible for designing and implementing the complete backend architecture. (MongoDB, ExpressJS, Node.js, Multichain)o LoopTodayLoopToday is a web and mobile-based… Show more o E-ServicesE-Services is a web-based civic services system that consolidates various utilities such as storage and management of citizen biodata, medical history, and driving records. E-Services uses third-party biometric hardware for registration and verification of citizen information. In this project, I was responsible for designing and implementing the complete backend architecture. (MongoDB, ExpressJS, Node.js, Multichain)o LoopTodayLoopToday is a web and mobile-based solution where users can add topics and comments in the form of text, audio, and video to discuss the topics in real-time. In this, I was responsible for developing backend architecture. (Asp.Net Core, MS SQL, AMP)o Trust RankTrust Rank is an incentivized information dissemination system which uses a hybrid combination of database and blockchain. The database stores user information, posts, and reviews whereas the blockchain keeps track of user rewards and reputation. I was responsible for both frontend and backend. (MongoDB, ExpressJS, AngularJS, Node.js, Ethereum, Web3.js, Geth) Show less

My task was to assist the teacher, managing students in the classroom and helped students in their course. I prepared and evaluated quizzes as well as assignments. Moreover, I conducted lab and TA sessions for students. I have worked with two different instructors in five different courses.o Data Structures and Algorithms with Dr. Agha Ali Raza Fall 2015 Semestero Microprocessor and Assembly Language with Dr. Agha Ali Raza Spring 2016… Show more My task was to assist the teacher, managing students in the classroom and helped students in their course. I prepared and evaluated quizzes as well as assignments. Moreover, I conducted lab and TA sessions for students. I have worked with two different instructors in five different courses.o Data Structures and Algorithms with Dr. Agha Ali Raza Fall 2015 Semestero Microprocessor and Assembly Language with Dr. Agha Ali Raza Spring 2016 Semestero Compiler Construction with Dr. Falak Sher Fall 2016 Semestero Speech Processing with Dr. Agha Ali Raza Spring 2017 Semestero Compiler Construction with Dr. Falak Sher Fall 2018 Semestero Theory of Automata II with Dr. Falak Sher Spring 2019 Semester Show less

Worked on Blockchain technology. Explored Hyperledger Fabric, setup fabric network for different organization using Dockers containers, write chaincode for energy management use cases and deploy on the network. In addition, I have also worked on Hyperledger Composer and built a solution of acknowledgment lose for a telco company.

Worked on Running Solidity Smart Contracts on Hyperledger Fabric Project. Built a programming language translator for Ethereum smart contract language, Solidity to Hyperledger Fabric smart contract language JavaScript. I have successfully translated approximately 75-80% of solidity components. Gained vast experience in writing Solidity smart contracts for Ethereum and JavaScript smart contracts for Hyperledger Fabric. Publication: Muhammad Ahmad Zafar, Salman Baset, Falak Sher… Show more Worked on Running Solidity Smart Contracts on Hyperledger Fabric Project. Built a programming language translator for Ethereum smart contract language, Solidity to Hyperledger Fabric smart contract language JavaScript. I have successfully translated approximately 75-80% of solidity components. Gained vast experience in writing Solidity smart contracts for Ethereum and JavaScript smart contracts for Hyperledger Fabric. Publication: Muhammad Ahmad Zafar, Salman Baset, Falak Sher, Muhammad Umar Janjua “Sol2js: Translating Solidity Contracts into JavaScript for Hyperledger Fabric” in Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers (SERIAL 2018) Show less

Worked for EAI (Enterprise Application Integration) team. Experience of working with Microsoft BizTalk Server and WCF services on top of .Net framework for developing dis-separate Banking applications and integrating them. As a Software Engineer, my task was to build some new services, to fix the issues and changes in previous services.

o Microsoft BizTalk 2013/.Net WCF Developer Project Domain-Banking SectorA Project for a Large Regional Bank in the Middle East (National Bank of Kuwait), in which we enabled a banking user to pay his bill to multiple telecom companies from his accounts using phone or web interface. My job was to integrate the services exposed by telecom companies into the banking solution, which was done using Microsoft BizTalk Server 2013 and WCF services both.o HPS- Power Card SwitchHPS… Show more o Microsoft BizTalk 2013/.Net WCF Developer Project Domain-Banking SectorA Project for a Large Regional Bank in the Middle East (National Bank of Kuwait), in which we enabled a banking user to pay his bill to multiple telecom companies from his accounts using phone or web interface. My job was to integrate the services exposed by telecom companies into the banking solution, which was done using Microsoft BizTalk Server 2013 and WCF services both.o HPS- Power Card SwitchHPS offers a range of services that can ensure the smooth implementation of new payment systems delivered based on clients own unique business and technical requirements. My job was to integrate the HPS- Power Card services into our banking solution, which was done using Microsoft BizTalk Server 2013 and WCF. Show less