Doktorat w informatyce i matematyce

Informacje ogólne

Opis programu

120454_biblio_950x350.jpg

Obszar: informatyka i matematyka

  • Sztuczna inteligencja i inteligentne systemy
  • Informatyka i matematyka
  • Bezpieczeństwo cybernetyczne
  • Nauka danych i uczenie maszynowe
  • Systemy wbudowane i IoT
  • Zarządzanie procesem
  • Inżynieria oprogramowania i systemów informatycznych

Sztuczna inteligencja i inteligentne systemy

  • Adaptacyjna kontrola i optymalizacja
  • Polityka adaptacyjna
  • Zbiorowe i adaptacyjne systemy
  • Reprezentacja wiedzy i wnioskowanie autonomiczne

Informatyka i matematyka

  • Algebraiczne i logiczne aspekty informatyki)
  • Modele obliczeniowe i modele obliczeń
  • Języki formalne
  • Języki algebraiczne dla określonych domen
  • Teoria modelu
  • Metodologiczne aspekty edukacji naukowej120455_PhD1Year-Groupphoto.jpg

Bezpieczeństwo cybernetyczne

  • Zasady kontroli dostępu i wykorzystania zasobów
  • Technologie rozproszonej księgi głównej
  • Projektowanie systemów sprężystych
  • Bezpieczeństwo sieci
  • Systemy wykrywania włamań

Nauka danych i uczenie maszynowe

  • Modele złożone systemów oparte na danych
  • Metody analizy danych oparte na topologii
  • Weryfikacja systemu sterowanego danymi
  • Optymalizacja i techniki ekonometryczne
  • Modelowanie dyskryminacyjne i generatywne

Systemy wbudowane i IoT

  • Oprogramowanie pośredniczące i usługi
  • Komunikacja i sieci dla systemów bezprzewodowych i wbudowanych
  • Specyfikacja, progettazione e analisi, e verifica di sistemi embedded distribuiti
  • Sieci czujników bezprzewodowych
  • Efektywność energetyczna i zbiory

Zarządzanie procesem

  • Ciągłe doskonalenie systemów informacyjnych opartych na procesach
  • Collaborative and Distributed Business Process Enactment, w tym Blockchain
  • Modele dla systemów intensywnych procesów
  • Przetwarzaj techniki wydobywcze
  • Symulacja i weryfikacja modeli współpracy z danymi

Inżynieria oprogramowania i systemów informatycznych

  • Inżynieria architektury korporacyjnej
  • Zastosowane metody formalne i narzędzia weryfikacji
  • Testowanie i weryfikacja w rozproszonym środowisku
  • Analiza ilościowa i narzędzia
  • Monitorowanie i weryfikacja środowiska wykonawczego
Ostatnia aktualizacja Mar 2020

Stypendium Keystone

Dowiedz się, jakie możliwości daje Ci nasze stypendium

Informacje o uczelni

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. Pokaż mniej