Ph.D. în Informatică și matematică

Generalități

Programul de descriere

120454_biblio_950x350.jpg

Domeniu: Informatică și matematică

  • Inteligența Artificială și Sistemele Inteligente
  • Calculatoare și matematică
  • Securitate cibernetică
  • Știința datelor și învățarea mașinilor
  • Embedded Systems și IoT
  • Administrarea procesului
  • Inginerie software și sisteme informatice

Inteligența Artificială și Sistemele Inteligente

  • Controlul și optimizarea adaptivă
  • Politici de adaptare
  • Sisteme colective și adaptive
  • Reprezentarea cunoștințelor și raționamentul autonom

Calculatoare și matematică

  • Aspecte algebrice și logice ale calculului)
  • Modele computaționale și modele de calcul
  • Limbi oficiale
  • Limbi algebrice pentru domenii specifice
  • Modelul teoretic
  • Aspectele metodologice ale educației științifice120455_PhD1Year-Groupphoto.jpg

Securitate cibernetică

  • Controlul accesului și Politicile de utilizare a resurselor
  • Tehnologii Ledger distribuite
  • Proiectarea sistemelor rezistente
  • Securitatea retelei
  • Sisteme de detectare a intruziunilor

Știința datelor și învățarea mașinilor

  • Modele bazate pe date ale sistemelor complexe
  • Metode de analiză a datelor bazate pe topologie
  • Verificarea sistemului de date
  • Tehnici de optimizare și econometrie
  • Modelarea discriminatorie și generativă

Embedded Systems și IoT

  • Middleware și servicii
  • Comunicare și networking pentru sistemele wireless și embedded
  • Specifica, progettazione e analisi, e verifica di sistemi embedded distribuuiti
  • Rețelele senzorilor wireless
  • Eficiența energetică și recoltarea

Administrarea procesului

  • Îmbunătățirea continuă a sistemelor de informare a proceselor
  • Colaborarea și distribuirea procesului de afaceri, inclusiv blocul de bloc
  • Modele pentru sisteme intensive de proces
  • Tehnici miniere de proces
  • Simularea și verificarea modelelor de colaborare bazată pe date

Inginerie software și sisteme informatice

  • Ingineria arhitecturii întreprinderilor
  • Metode formale aplicate și instrumente de verificare
  • Testarea și verificarea într-o setare distribuită
  • Analiza și instrumentele cantitative
  • Runtime de monitorizare și de verificare
Ultima actualizare Sept 2019

Despre facultate

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. Citește mai puţin