Ph.D. i datalogi og matematikk

Generelt

Programbeskrivelse

120454_biblio_950x350.jpg

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 utdanning120455_PhD1Year-Groupphoto.jpg

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
Sist oppdatert sep. 2019

Om skolen

UNICAM has instituted an International School of Advanced Studies with the objective of increasing the internationalisation of Doctoral education.

UNICAM has instituted an International School of Advanced Studies with the objective of increasing the internationalisation of Doctoral education. Minimér