mkazeminn@gmail.com

Master's degree in Computer Science and Ph.D. in Applied Mathematics (Dynamical Systems)
Significant hands-on experience with modern programming languages such as Python and C
Knowledge of CS fundamentals including object-oriented design, data structures, algorithm design, and complexity analysis
Experienced with various software and project management practices such as agile, scrum, code testing and source code management
Knowledge of using DevOps practices: CI/CD pipelines, cloud, micro services, API systems
Experience building large-scale complex softwares (Linux/Windows-based) that have been successfully delivered to customers
Experience in handling Machine Learning projects
Excellent communication, writing, and presentation skills
Previous technical internships

CIBC, Toronto, ON

June 20222 - Present

Bell Canada, Toronto, ON

Developed software to automate process of provisioning network devices supporting various network protocols
Created software designs operating in a cloud-based architecture
Tested, maintained and recommended software improvements to ensure strong functionality and optimization
Developed technical specifications and plans
Created technical documentation for reference and reporting
Proposed solutions and strategies to business challenges

April 2021 - June 2022

Ryerson University, Toronto, ON

March 2021

Maplesoft, Waterloo, ON

Explored the design and underlying source code of a rule-based software, written in Wolfram language, by performing reverse engineering
Handled pattern recognition of large and complex datasets by implementing algorithms employing string processing/symbolic manipulation, and pattern matching techniques
Designed and implemented a rule-based platform to compute the optimal antiderivative of large classes of mathematical expressions

June 2020 - October 2020

Western University, London, ON

Designed and Implemented (in C) the power series arithmetic along with complex tools to analyze the structure of nonlinear systems in the BPAS library
Analyzed/optimized credit risk associated with financial datasets by applying ML tools
Integrated the latest features of the RegularChains (RC) library into Maple 2020 via

Testing (bug fixing, performance, optimization, profiling), maintaining the RC library
Optimizing code by specifying data types to the input arguments of the functions
Creating test files and documentation for each new feature
Replacing table data structures with modules in the RC library

Developed a Python library for handling power series-based computation
Improved the performance of the Python codes at run time by utilizing optimization techniques
Provided a comprehensive review on Google PageRank algorithms

September 2018 - July 2020

Maplesoft, Waterloo, ON

Merged two different (Maplesoft and ORCCA lab ) versions of the RC library (http://www.regularchains.org/) by designing and developing shell scripts using lexical and syntactic analysis
Experienced with PLY (Python Lex-Yacc), JIRA, CBAT, Confluence, Perforce, Swarm
Worked with the project manager to find optimal technical solutions to project challenges and report to the Maplesoft group

May 2019 - September 2019

Isfahan University of Technology, Isfahan, Iran

Conducted advanced research correlating topics in Dynamical Systems with computational tools in Computer Science
Designed and developed scalable software called Singularity (https://doi.org/10.1115/1.4045286) to analyze, control, and predict dynamics of real world problems represented by mathematical models
Provided results, criteria, and algorithms with rigorous proofs for scientific computations and also for the implementation of the concepts from bifurcation theory
The library can be used by researchers in various engineering disciplines and it is helpful in providing modeling and simulation for singular phenomena in the real world
The theory supporting the development of the library offers effective tools for the analysis of routines in advanced numerical analysis, optimization problems, neurobiological, biological and ecological systems
Built infrastructure to handle bifurcation control of real world applications modeled by parametric and multi-dimensional singular dynamical systems
Developed the theory of parametric standard bases and its implementation to automatize computations of applications in catastrophe theory, singularity theory, and automated geometric theorem discovery

September 2012 - June 2018

Education

Publications