Doctorat en informatique et mathématiques
University of Camerino the international School of Advanced Studies
Information clé
Emplacement du campus
Camerino, Italie
Langues
Anglais, Italien
Format d'étude
Sur le campus
Durée
3 années
Rythme
À plein temps
Frais de scolarité
Demande d'info
Date limite d'inscription
Demande d'info
Date de début au plus tôt
Demande d'info
introduction
Domaine: Informatique et Mathématiques
- Intelligence artificielle et systèmes intelligents
- Informatique et Mathématiques
- La cyber-sécurité
- Science des données et apprentissage automatique
- Systèmes embarqués et IoT
- La gestion des processus
- Ingénierie des logiciels et des systèmes d'information
Intelligence artificielle et systèmes intelligents
- Contrôle adaptatif et optimisation
- Politiques d'adaptation
- Systèmes collectifs et adaptatifs
- Représentation des connaissances et raisonnement autonome
Informatique et Mathématiques
- Aspects algébriques et logiques de l'informatique)
- Modèles de calcul et modèles de calcul
- Langues formelles
- Langages algébriques pour des domaines spécifiques
- Théorie des modèles
- Aspects méthodologiques de l'enseignement des sciences
La cyber-sécurité
- Politiques de contrôle d'accès et d'utilisation des ressources
- Technologies du grand livre distribué
- Conception de systèmes résilients
- Sécurité Internet
- Systèmes de détection d'intrusion
Science des données et apprentissage automatique
- Modèles de systèmes complexes basés sur les données
- Méthodes d'analyse de données basées sur la topologie
- Vérification du système piloté par les données
- Optimisation et techniques économétriques
- Modélisation discriminante et générative
Systèmes embarqués et IoT
- Middleware et services
- Communication et mise en réseau pour les systèmes sans fil et embarqués
- Spécifiquement, progiciel et analyse, et vérifications des distributions intégrées
- Réseaux de capteurs sans fil
- Efficacité énergétique et récolte
La gestion des processus
- Amélioration continue des systèmes d'information tenant compte des processus
- Mise en place de processus opérationnels collaboratifs et distribués, y compris Blockchain
- Modèles pour les systèmes intensifs en processus
- Techniques d'exploitation minière
- Simulation et vérification de modèles de collaboration basés sur les données
Ingénierie des logiciels et des systèmes d'information
- Ingénierie d'architecture d'entreprise
- Méthodes formelles appliquées et outils de vérification
- Test et vérification dans un environnement distribué
- Analyse quantitative et outils
- Surveillance et vérification de l'exécution