MSc Theses

Capability-Bounded Code Evolution with Large Language Models: A Cross-Family Study of Adaptive Heuristic Search by Fabio Cozzuto, August 2026 (supervisor: Russell Butler)

AdaptVITS: A Parameter-Efficient Fine-Tuning Approach for Limited Target Speaker Data in End-to-End Voice Cloning by Adil Ahmed Chowdhury, July 2026 (supervisors: Mohammed Ayoub Alaoui Mhamdi and Madjid Allili)

The Influence of Interval Structure on Neurophysiological and Perceptual Responses to High-Intensity Interval Training (HIIT): A Comparison of Fixed vs. Individualized Bouts by Arsalan Ghofrani, May 2026 (supervisor: Russell Butler)

Efficient Plant Disease Detection Using Hybrid Deep Learning Models by Emmanuel O. Udoh, May 2026 (supervisors: Mohammed Ayoub Alaoui Mhamdi and Madjid Allili)

Network Inference And Graph Learning in Characterizing Seizure Dynamics from EEG Signals by Wei Cao, January 2026 (supervisor: Rachid Hedjam)

Detecting Interprocedural Software Vulnerabilities Using Causal Deep Learning by Md Iqbal Hossain Shuvo, January 2026 (supervisor: Yasir Malik)

Distinct Spatial and Functional Dynamics for Alpha and Gamma Oscillations in Human Visual Cortex by Sanaz Ghaffari Sarvar Maleki, January 2026 (supervisor: Russell Butler)

Prediction of Resource Demand for Virtual Machines in Clouds by Mitra Khezli, December 2025 (supervisors: Mohammed Ayoub Alaoui Mhamdi and Madjid Allili)

Enhancing Key Press Motor Task Classification in Brain-Computer Interfaces Using an Integrated Hybrid Deep Learning Model for EEG Signal Processing by Abass Zakari, September 2025 (supervisor: Russell Butler)

Heroes Arena: A Low-Latency Architecture for Fully On-Chain Card Battle Games by Haoqing Hu, September 2025 (supervisor: Russell Butler)

An Empirical Evaluation of Model Design and Code Representation for Deep Learning-Based Source Code Vulnerability Detection by Abdullah Khan, September 2025 (supervisor: Yasir Malik)

A Novel Approach to Time Series Forecasting: BKA Optimization of XGBoost by Yang Ming, August 2025 (supervisor: Russell Butler)

Enhancing Data Center Reliability through Deep Learning-Based Disk Failure Prediction by Yassaman Mardan, July 2025 (supervisors: Mohammed Ayoub Alaoui Mhamdi and Madjid Allili)

On the Equivalence between Must-Test Specifications and the Linear Temporal Logic by Atefeh Farhadi, July 2025 (supervisor: Stefan Bruda)

A Novel Deep Learning Based Approach to Solve KRP for Autonomous Mobile Robots Relocalization Within Indoor Known Maps (2D Lidar) by Belkacem Bekkour, June 2025 (supervisors: Mohammed Ayoub Alaoui Mhamdi and Madjid Allili)

Single-Trial ERSP Classification of EEG Data Across Multiple Axes Using Deep and Machine Learning: Spectrograms vs. Frequency- and Subject-Level Analysis by Arian Yavari, May 2025 (supervisor: Russell Butler)

On TorXakis Correctness as an ioco Implementation: An Empirical Model-Based Evaluation by Reza Ghasemi, May 2025 (supervisor: Stefan Bruda)

Meta-Unsupervised Learning: Application to Non-Negative Matrix Factorization by Ameer Ahmed Khan, March 2025 (supervisor: Rachid Hedjam)

Human Action Decoding Analysis from Neurophysiological Time Series by Raana Nouri, March 2025 (supervisor: Russell Butler)

Physiological Correlates of Gray Matter by Mohammad SohrabiGharehtappeh, January 2025 (supervisor: Russell Butler)

Time-Series Forecasting of ECG and EOG signals in EEG Recordings: A Multivariable Time Series Approach by Nima Moradi, December 2024 (supervisor: Russell Butler)

Algebraic/Logical Verification for Real-Time Reactive Systems by Christian Onyeukwu, December 2024 (supervisor: Stefan D. Bruda)

Pupillary Response Function to Spontaneous Fluctuations in EEG Alpha Power by Masoud Majidi, September 2024 (supervisor: Russell Butler)

Finite State Machine Modeling of Human Brain Resting State Transitions by Masoumeh Goudarzi, August 2024 (supervisors: Madjid Allili and Russell Butler)

Analysis of Usability of Wearable Device Metrics as Predictors for Brain Phenotypes from Correlations by Olivier Demers, May 2024 (supervisor: Russell Butler)

On the Expressiveness of Unsynchronized Parallel Communicating Grammar Systems with Regular Components by Afshin Bahrampour, April 2024 (supervisor: Stefan D. Bruda)

ST-ANet: Enhanced Human Activity Recognition Framework with WiFi CSI by Shengxiong Xiao, April 2024 (supervisor: Madjid Allili)

Previous Years

A Machine Learning Methodology for Classifying Chronic Kidney Diseases by Daksh Sharma, December 2023 (supervisor: Madjid Allili)

The Best Combination of Indicators for the U.S. Stock Market by Fuwang He, December 2023 (supervisor: Russell Butler)

Brain Tumor Segmentation Using U-Net Enhanced with Attention by Shuyi Li, December 2023 (Supervisors: Madjid Allili and Mohammed Ayoub Alaoui Mhamdi)

Quantifying the Accuracy of Deep Learning Algorithms for 3D Human Skeleton Prediction by Razieh Shahsavar, August 2023 (supervisor: Russell Butler)

Improving Spatial-Temporal Gait Features Based on Regional Adjacent Patches Descriptors by Golnaz Mahdavikhah, August 2023 (supervisor: Madjid Alili)

Random Forest Classifier for Detecting Noisy Epochs in Raw PPG Signal from a Smartwatch by Maryam Bayatzadeh, August 2023 (supervisor: Russell Butler)

Leveraging the Power of Hybrid Models: Combining ARIMA and LSTM for Accurate Bitcoin Price Forecasting by Maryam Gholipour, August 2023 (supervisor: Madjid Allili)

Predicting Cerebral and Cardiovascular Variability from Wearable Biometrics by Chen Li, August 2023 (supervisor: Russell Butler)

Sculpting in Virtual Reality with Real Human Hands by Salar Rezayani, August 2023 (supervisor: Russell Butler)

Grading with TorXakis by Movahed Abdolahi, August 2023 (supervisor: Stefan D Bruda)

A Deep Reinforcement Learning-based Image Hashing Technique by Mitra Rezaei, August 2023 (supervisors: Madjid Allili and Mohammed Ayoub Alaoui Mhamdi)

Enhancing Fraudulent Account Detection on the Ethereum Blockchain: A Novel Feature Selection Approach and Comparative Analysis of Machine Learning Algorithms by Borzouyeh Norouzi, August 2023 (supervisors: Mohammed Ayoub Alaoui Mhamdi and Madjid Allili)

Detecting Misinformation on Social Media: A GNN-Based Ensemble Learning Methodology by Alson Prasai, July 2023 (supervisor: Madjid Allili)

Calibration of Drucker-Prager-Cap Model Parameters Using Particle Swarm Optimization Method for Powder Compaction Process by Sanaz Davarpanah, June 2023 (supervisor: Madjid Allili)

3D Pose Estimation with Joint Group Spatial-Temporal Transformer by Yichen Yang, June 2023 (supervisor: Russell Butler)

Model-based testing of reactive software product line with formal methods by Ali Irannezhadi, January 2023 (supervisor: Stefan D Bruda)

Human action recognition with feature-embedding graph convolutional network by Mengqi Li, January 2023 (supervisor: Madjid Allili)

Application of re-identification algorithms to extract trajectory of pedestrians by Mohammad Nirou Jazi, January 2023 (supervisors: Mohammed Ayoub Alaoui Mhamdi and Madjid Allili)

Sorting objects on conveyor efficiently: Reinforcement learning strategy with human-in-the-loop by Leila Orouji, January 2023 (supervisors: Mohammed Ayoub Alaoui Mhamdi and Madjid Allili)

Investigation into association between cerebral gray matter metrics and cerebrovascular diameters by Maryam Alipasandi, August 2022 (supervisor: Russell Butler)

The Generative Power of Unsynchronized Context-Free Parallel Communicating Grammar Systems by Simin Li, April 2022 (supervisor: Stefan D. Bruda)

Lossless Data Compression: An Overview by Swapandeep Sandhu, October 2021 (supervisor: Madjid Allili)

Quantifying apparent venous diameter in susceptibility weighted images by Mehdi Zoghinia, August 2021 (supervisor: Russell Butler)

Applying Unet for extraction of vascular metrics from T1-weighted and T2-weighted MRI by Farnaz Orooji, August 2021 (supervisor: Russell Butler)

Computational Complexity of Unsynchronized Parallel Communicating Grammar Systems with Context-Free Components by Javad Omidvar, May 2021 (supervisor: Stefan D. Bruda)

Inter-group Heterogeneity of Regional Homogeneity (REHO) by Yan Jiang, December 2020 (supervisor: Russell Butler)

A Novel Approach to Evaluating Decision Tree Learning Algorithms by Tianqi Xiao, August 2020 (supervisor: Stefan D. Bruda)

Smart Residual Current Circuit Breaker with Overcurrent Protection (Smart RCBO) by Martin Mafi, May 2020 (supervisors: Rami Yared and Layachi Bentabet)

Parse trees, Interference, and Mixed Nodes for Context-Free Parallel Communicating Grammar Systems by Mehrdad Naserdoust, April 2020 (supervisor: Stefan D. Bruda)

Verification and TCTL Model Checking of Real-Time Systems on Timed Automata and Timed Kripke Structures, and Inductive Conversion Issues in Dense Time, by Negar Nourollahi, December 2019 (supervisor: Stefan D. Bruda)

Two Problems Believed to Exhibit Superunitary Behaviour Turn out to Fall within the Church-Turing Thesis, by Abdollah Dadizadeh, January 2019 (supervisor: Stefan D. Bruda)

Improved Balance in Multiplayer Online Battle Arena Games, by Chailong Huang, April 2018 (supervisor: Stefan D. Bruda)

The Equivalence of Computation Tree Logic and Failure Trace Testing under Multiple Conversion Algorithms, by Rui Zuo, April 2018 (supervisor: Stefan D. Bruda)

On the Equivalence between Computation Tree Logic and Failure Trace Testing by Sunita Singh, August 2017 (supervisor: Stefan D. Bruda)

Communicating Multi-Stack Visibly Pushdown Processes by Davidson Madudu, March 2016 (supervisor: Stefan D. Bruda)

Profile-Based Access Control in Cloud Computing Environments with Applications in Health Care Systems by Umair Mukhtar Ahmed Naushahi, February 2016 (supervisor: Stefan D. Bruda)

Practical Applications of Biological Realism in Artificial Neural Networks, by Tegan Maharaj, November 2015 (supervisor: Layachi Bentabet).

A Combination Approach to Face Recognition by Andrew Enughwure, November 2015 (supervisor: Madjid Allili).

A Novel Image Segmentation Method based on Energy Minimization with an Application to Cardiac PET Image Segmentation, by Gong
Cheng, August 2015 (supervisor: Madjid Allili).

Computation Tree Logic Is Equivalent to Failure Trace Testing by A. F. M. Nokib Uddin, July 2015 (supervisor: Stefan D. Bruda)

The “ptrace” Solution to Stack Integrity Attacks in GNU/Linux Systems by Erick Leon, May 2015 (supervisor: Stefan D. Bruda)

Toward a Model Checker for Ambient Logic Using the Process Analysis Toolkit by Yujie Sun, January 2015 (supervisor: Stefan D. Bruda)

Parallel Communicating Grammar Systems with Context-Free Components Are Really Turing Complete by Mary Sarah Ruth Wilkin, November 2014 (supervisor: Stefan D. Bruda)

An Approach to Stack Overflow Counter-Measures Using Kernel Properties by Benjamin Teissier, November 2013 (supervisor: Stefan D. Bruda)

A Distributed Architecture for Remote Service Discovery in Pervasive Computing by Farzad Salehi, December 2011 (supervisor: Stefan D. Bruda)

Fast polygonal Approximation of Height Fields and Application to Interactive Visualization and Watershed Segmentation by Yan Chen, July 2011 (supervisors: Madjid Allili and Layachi Bentabet)

Bayesian Image Matting Using Infrared and Color Cues by Hui Zhang, May 2011 (supervisor: Layachi Bentabet)

Fuzzy Logic Techniques for Matting Using Infrared and Color Image by Guodong Gao, April 2011 (supervisor: Layachi Bentabet).

A Testing Framework for Real-Time Specifications by Chun Dai, January 2009 (supervisor: Stefan D. Bruda).

Communicating Visibly Pushdown Processes by Md. Tawhid Bin Waez, December 2008 (supervisor: Stefan D. Bruda).

Model Checking is Refinement—Computational Temporal Logic is Equivalent to Failure Trace Testing by Zhyiu Zhang, December 2008 (supervisor: Stefan D. Bruda).

The Relationships Between Several Parallel Computational Models by Yuanqiao Zhang, December 2008 (supervisor: Stefan D. Bruda).

Multiple Targets Tracking in Cluttered Scene by Yi Sun, August 2007 (supervisor: Layachi Bentabet).