Ph.D. in Informatik und Mathematik
University of Camerino the international School of Advanced Studies
Schlüsselinformation
Campus-Standort
Camerino, Italien
Sprachen
Englisch, Italienisch
Studienformat
Auf dem Campus
Dauer
3 Jahre
Tempo
Vollzeit
Studiengebühren
Infos anfordern
Bewerbungsschluss
Infos anfordern
frühestes Startdatum
Infos anfordern
Einführung
Bereich: Informatik und Mathematik
- Künstliche Intelligenz und intelligente Systeme
- Informatik und Mathematik
- Internet-Sicherheit
- Data Science und maschinelles Lernen
- Embedded Systems und IoT
- Prozessmanagement
- Software- und Informationssystemtechnik
Künstliche Intelligenz und intelligente Systeme
- Adaptive Steuerung und Optimierung
- Anpassungspolitik
- Kollektive und adaptive Systeme
- Wissensrepräsentation und autonomes Denken
Informatik und Mathematik
- Algebraische und logische Aspekte des Rechnens
- Rechenmodelle und Rechenmodelle
- Formale Sprachen
- Algebraische Sprachen für bestimmte Domänen
- Modelltheorie
- Methodologische Aspekte des naturwissenschaftlichen Unterrichts
Internet-Sicherheit
- Richtlinien für Zugriffssteuerung und Ressourcennutzung
- Distributed Ledger Technologies
- Design von elastischen Systemen
- Netzwerksicherheit
- Einbrucherkennungssystem
Data Science und maschinelles Lernen
- Datengetriebene Modelle komplexer Systeme
- Methoden zur topologiebasierten Datenanalyse
- Datengesteuerte Systemüberprüfung
- Optimierungs- und ökonometrische Techniken
- Diskriminative und generative Modellierung
Embedded Systems und IoT
- Middleware und Services
- Kommunikation und Vernetzung für drahtlose und eingebettete Systeme
- Spezifische, progettazione e analisi und verifica di sistemi embedded distribuiti
- Drahtlose Sensor Netzwerke
- Energieeffizienz und Ernte
Prozessmanagement
- Kontinuierliche Verbesserung prozessbewusster Informationssysteme
- Collaborative und Distributed Business Process Enactment einschließlich Blockchain
- Modelle für prozessintensive Systeme
- Process Mining-Techniken
- Simulation und Verifikation datenbewusster Kollaborationsmodelle
Software- und Informationssystemtechnik
- Engineering der Unternehmensarchitektur
- Angewandte formale Methoden und Verifikationswerkzeuge
- Testen und Verifizieren in einer verteilten Umgebung
- Quantitative Analyse und Werkzeuge
- Laufzeitüberwachung und -überprüfung