Aryan Haddady

Experience

• 

  University of Tehran

  Sept 2018 - Feb 2022

  Formal Methods Lab - While working in this lab, I worked on function modelling & model checking of Java functions using Jayhorn verification tool.Information Retrieval Lab - During my time at this lab, I worked on a Collaborative-Filtering based recommender system model for hotels and restaurants using features like Big Five Personality Traits of users that have rated hotels and restaurants after visiting them.Data Analytics Lab - In this lab, I worked on analyzing book-reading habits of people of different genders, nationalities, and ages to see whether there is a meaningful relation between these phenomena. Show less Database Systems - Fall 2021 & Spring 2021 & Fall 2020Software Testing - Fall 2021Programming Languages and Compilers - Fall 2020Formal Languages and Automata - Spring 2021 & Fall 2020Operating Systems - Fall 2021 & Spring 2021 & Fall 2020Discrete Mathematics - Spring 2021 & Fall 2020Engineering Statistics and Probability - Fall 2021 & Fall 2020Introduction To Computing Systems and Programming - Fall 2020 & Fall 2019 & Fall 2018- Tutored Lab sessions for students, addressing the challenges they face when trying to learn new programming concepts- Designed Assignments and Projects, and held office hours for students at different levels (From 1st year to 4th) Show less

  • Research Assistant

    Jun 2020 - Feb 2022

  • Teaching Assistant

    Sept 2018 - Feb 2022
• 

  Hermes Capital | هرمس کپیتال

  Aug 2019 - Mar 2021

  Full Stack Developer

  I was tasked with the design and implementation of websites, where I took on full responsibility for all aspects, including front-end, back-end, database management, and deployment.

• 

  Formal Methods Lab @ University of Tehran

  Jul 2020 - Sept 2020

  Software Engineer

  - Maintained an Eclipse-Based Integrated Development Environment (IDE) used for Rebecca, an actor-based modelling language designed and implemented by the lab's researchers- Implemented auto-complete and auto-suggestion features to the IDE leveraging the Abstract Syntax Tree (AST) of the written Rebecca code- Implemented block folding capability in the Rebecca source code using the region information of the block tokens

• 

  University of Waterloo

  Sept 2022 - Apr 2024

  - Maintained a dynamically-modelled automatic Android GUI testing tool- Implemented Hierarchical Delta Debugging (HDD) and Balanced Hierarchical Delta Debugging (BHDD) test case reduction algorithms to find the 1-minimal trace that triggers the same crash as the original trace generated by the testing tool- Implemented record and replay feature to replay the reduced event trace, facilitating the debugging procedure of complicated bugs for Android developers- Conducted comprehensive benchmarking of the implemented algorithms to test their effectiveness in reducing traces within real-world Android applications, showing significant reduction and simplification in the event traces Show less CS 240 (Data Structures and Data Management) - Spring 2023CS 486/686 (Introduction to Artificial Intelligence) - Winter 2023 & Fall 2023CS 115 (Introduction to Computer Science) - Fall 2022 & Winter 2024CS 116 (Introduction to Computer Science 2) - Winter 2024My responsibilities as a TA for these courses included grading, holding office hours, and designing assignments and solutions. This experience, along with my previous TA experience, help me to gain substantial experience about teaching, dealing with different types of students (people) with different levels of expertise and passion, designing projects, questions, and solutions, and pitfalls faced during such tasks. Show less

  • Research Assistant

    Sept 2022 - Apr 2024

  • Teaching Assistant

    Sept 2022 - Apr 2024
• 

  Quantum Management Services Ltd.

  Apr 2024 - Nov 2024

  Software Engineer

  Working as a full time contractor through Quantum for Huawei Canada

• 

  Huawei Canada

  Dec 2024 - now

  Software Engineer

  Converted from a contractor to a permanent employee. (Contract was through Quantum)