Doktora University of Southampton, , , 2019, 2024
Yüksek Lisans University of Southampton {England}, , , 2018, 2019
Lisans ERCİYES ÜNİVERSİTESİ, MÜHENDİSLİK FAKÜLTESİ, BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ, 2009, 2015
1- An Event-B Formal Model for Access Control and Resource Management of Serverless Apps
YAĞMAHAN MEHMET SAİD NUR,Rezazadeh Abdolbaghi,Butler Michael 25.06.2024, Yayın Yeri:10th International Conference on Rigorous State-Based Methods Uluslararası Tam metin bildiri
1- Yazılım Modelleme ve Tasarım
Lisans 2025-2026 Türkçe 3
2- Bilgisayar Mimarisi
Lisans 2025-2026 Türkçe 3
3- Software Modelling and Design
Lisans 2025-2026 İngilizce 3
4- Computer Architecture
Lisans 2025-2026 İngilizce 3
5- Unix
Lisans 2024-2025 Türkçe 3
6- Discrete Mathematics
Lisans 2024-2025 İngilizce 3
