Experiences

I proposed model-based methodologies enabling analyzing the impact of cyberattacks on the safety of control systems. I incorporated semi-formal (SysML) and formal (Event-B) modeling languages in our analysis. The work resulted in two conference papers, two workshop papers, and an under-review paper.

Projects include:

• ML Enhanced Interpretation of Failed Test Result
• Modelling and Simulation of Complete Wheel Loader in Modelica
• Machine Learning in Predictive Maintenance of Industrial Robots
• User Access Control Platform Based on Simple IoT Household Devices
• Autonomous Control in Advanced Life Support Systems
• A Holistic Framework for Analyzing the Reliability of IoT Devices

Courses:

• Algorithms and Complexity
• Computer Security
• Logic for Computer Scientists
• Programming Techniques
• Software Safety and Security

I researched some Extremal Combinatorics problems in a group led by my master thesis’s supervisor. The work resulted in my first paper published in the Journal of Combinatorial Designs.

Courses:

• Graph Theory
• Fundamental of Combinatorics

Teaching combinatorial game theory to school children.

A member of the organization team of two international mathematics competitions (A-lympiad and Tournament of Towns) in Iran.

Responsibilities:

• Member of assessment committee
• Member of executive committee
• Member of the translation committee

I was responsible for finding speakers and organizing monthly seminars.