PhD in
Ph.D. dalam Ilmu Komputer dan Matematika University of Camerino the international School of Advanced Studies
pengantar
Area: Ilmu Komputer dan Matematika
- Kecerdasan Buatan dan Sistem Cerdas
- Komputasi dan Matematika
- Keamanan cyber
- Ilmu Data dan Pembelajaran Mesin
- Sistem Tertanam dan IoT
- Manajemen proses
- Rekayasa Perangkat Lunak dan Sistem Informasi
Kecerdasan Buatan dan Sistem Cerdas
- Kontrol dan optimisasi adaptif
- Kebijakan adaptasi
- Sistem kolektif dan adaptif
- Representasi pengetahuan dan penalaran otonom
Komputasi dan Matematika
- Aspek aljabar dan logis dari komputasi)
- Model Komputasi dan Model Komputasi
- Bahasa formal
- Bahasa aljabar untuk domain tertentu
- Teori model
- Aspek metodologis dari pendidikan sains
Keamanan cyber
- Kontrol Akses dan Kebijakan Penggunaan Sumber Daya
- Teknologi Buku Besar Terdistribusi
- Desain Sistem Tangguh
- Keamanan jaringan
- Sistem Deteksi Intrusi
Ilmu Data dan Pembelajaran Mesin
- Model berbasis data dari sistem yang kompleks
- Metode analisis data berbasis topologi
- Verifikasi sistem berbasis data
- Teknik optimasi dan ekonometrik
- Pemodelan diskriminatif dan generatif
Sistem Tertanam dan IoT
- Middleware dan layanan
- Komunikasi dan jaringan untuk sistem nirkabel dan tertanam
- Spesifik, program analisi, dan verifikasi tertanam sistem
- Jaringan Sensor Nirkabel
- Efisiensi dan pemanenan energi
Manajemen proses
- Peningkatan berkelanjutan Sistem Informasi Proses-Sadar
- Penerapan Proses Bisnis yang Kolaboratif dan Terdistribusi termasuk Blockchain
- Model untuk Sistem Intensif Proses
- Teknik Penambangan Proses
- Simulasi dan Verifikasi Model Kolaborasi Data-Sadar
Rekayasa Perangkat Lunak dan Sistem Informasi
- Rekayasa Arsitektur Perusahaan
- Metode Formal dan Perangkat Verifikasi Terapan
- Pengujian dan Verifikasi dalam pengaturan terdistribusi
- Analisis dan Alat Kuantitatif
- Pemantauan dan Verifikasi Runtime