Ph.D. i datavetenskap och matematik
University of Camerino the international School of Advanced Studies
Nyckelinformation
Campus läge
Camerino, Italien
språk
Engelsk, Italienska
Studieformat
På Campus
Varaktighet
3 år
Takt
Heltid
Studieavgifter
Begär info
Ansökningstiden
Begär info
Tidigaste startdatum
Begär info
Introduktion
Område: Datavetenskap och matematik
- Konstgjord intelligens och intelligenta system
- Dator och matematik
- Cybersäkerhet
- Datavetenskap och maskinlärande
- Embedded Systems och IoT
- Processhantering
- Programvara och informationssystemteknik
Konstgjord intelligens och intelligenta system
- Adaptiv kontroll och optimering
- Anpassningspolicyer
- Kollektiva och adaptiva system
- Kunskapsrepresentation och autonom resonemang
Dator och matematik
- Algebraiska och logiska aspekter av databehandling)
- Beräkningsmodeller och modeller av beräkning
- Formella språk
- Algebraiska språk för specifika domäner
- Modellteori
- Metodiska aspekter av vetenskaplig utbildning
Cybersäkerhet
- Åtkomstkontroll och resursanvändningspolicyer
- Distribuerade Ledger Technologies
- Design av fjädrande system
- Nätverkssäkerhet
- Intrusion Detection Systems
Datavetenskap och maskinlärande
- Data-driven modeller av komplexa system
- Topologibaserade dataanalysmetoder
- Datastyrd systemverifiering
- Optimering och ekonometriska tekniker
- Diskriminativ och generativ modellering
Embedded Systems och IoT
- Middleware och tjänster
- Kommunikation och nätverk för trådlösa och inbyggda system
- Specifica, progettazione e analisi, e verifica di sistemi embedded distribuiti
- Trådlösa sensornätverk
- Energieffektivitet och skörd
Processhantering
- Kontinuerlig förbättring av process-aware informationssystem
- Samarbetande och distribuerat affärsprocessavbrott inklusive Blockchain
- Modeller för processintensiva system
- Process Mining Techniques
- Simulering och verifiering av data-aware samarbetsmodeller
Programvara och informationssystemteknik
- Teknik för företagsarkitektur
- Tillämpade formella metoder och verifieringsverktyg
- Testning och verifiering i en distribuerad inställning
- Kvantitativ analys och verktyg
- Runtime övervakning och verifiering