Ph.D. i datalogi og matematikk
University of Camerino the international School of Advanced Studies
Nøkkelinformasjon
Campus plassering
Camerino, Italia
Språk
Engelsk, Italiensk
Studieformat
På universitetsområdet
Varighet
3 år
Tempo
Fulltid
Studieavgift
Be om info
Søknadsfrist
Be om info
Tidligste startdato
Be om info
Introduksjon
Område: Datavitenskap og matematikk
- Kunstig intelligens og intelligente systemer
- Computing og matematikk
- Cybersecurity
- Datavitenskap og maskinlæring
- Embedded Systems og IoT
- Prosessledelse
- Programvare og informasjonssystemteknikk
Kunstig intelligens og intelligente systemer
- Adaptiv kontroll og optimalisering
- Tilpasningspolicyer
- Kollektive og adaptive systemer
- Kunnskapsrepresentasjon og autonom begrunnelse
Computing og matematikk
- Algebraiske og logiske aspekter ved databehandling)
- Beregningsmodeller og modeller for beregning
- Formelle språk
- Algebraiske språk for bestemte domener
- Modellteori
- Metodiske aspekter ved vitenskapelig utdanning
Cybersecurity
- Tilgangskontroll og ressursbruk
- Distribuert Ledger Technologies
- Design av motstandsdyktige systemer
- Nettverksikkerhet
- Intrusjonsdeteksjonssystemer
Datavitenskap og maskinlæring
- Data-drevne modeller av komplekse systemer
- Topologi-baserte dataanalysemetoder
- Datastyrt systemverifisering
- Optimalisering og økonometriske teknikker
- Diskriminerende og generativ modellering
Embedded Systems og IoT
- Middleware og tjenester
- Kommunikasjon og nettverk for trådløse og innebygde systemer
- Specifica, progettazione e analysis, e verifica di sistemi embedded distribuiti
- Trådløse sensornettverk
- Energieffektivitet og høsting
Prosessledelse
- Kontinuerlig forbedring av prosessbevisste informasjonssystemer
- Samarbeidsprosjekt og distribuert forretningsprosessavvikling inkludert Blockchain
- Modeller for prosessintensive systemer
- Prosess Mining Techniques
- Simulering og verifisering av data-aware samarbeidsmodeller
Programvare og informasjonssystemteknikk
- Engineering of Enterprise Architecture
- Anvendte formelle metoder og verifikasjonsverktøy
- Testing og verifisering i en distribuert innstilling
- Kvantitativ analyse og verktøy
- Runtime overvåking og verifisering