This research project aims at the development of new stochastic models and queueing models for (components of) WiMAX networks and appropriate techniques for the corresponding performance analysis. We envisafe the study of queueing models with priority scheduling, multiple servers, server vacations and correlated arrivals. Such performance models are very useful tools for the performance optimization of WiMAX networks.