Ph.D. in computerwetenschappen en wiskunde

Gebied: Computerwetenschappen en wiskunde

• Kunstmatige intelligentie en intelligente systemen
• Rekenvaardigheid en wiskunde
• Cybersecurity
• Data Science en Machine Learning
• Embedded Systems en IoT
• Procesmanagement
• Software en informatiesysteemtechniek

Kunstmatige intelligentie en intelligente systemen

• Adaptieve controle en optimalisatie
• Aanpassingsbeleid
• Collectieve en adaptieve systemen
• Kennisrepresentatie en autonoom redeneren

Rekenvaardigheid en wiskunde

• Algebraïsche en logische aspecten van informatica)
• Computationele modellen en rekenmodellen
• Formele talen
• Algebraïsche talen voor specifieke domeinen
• Model theorie
• Methodologische aspecten van wetenschappelijk onderwijs

Cybersecurity

• Toegangscontrole en hulpbronnengebruiksbeleid
• Distributed Ledger Technologies
• Ontwerp van veerkrachtige systemen
• Netwerk veiligheid
• Intrusion Detection Systems

Data Science en Machine Learning

• Datagestuurde modellen van complexe systemen
• Op topologie gebaseerde gegevensanalysemethoden
• Gegevensgestuurde systeemverificatie
• Optimalisatie en econometrische technieken
• Discriminatieve en generatieve modellering

Embedded Systems en IoT

• Middleware en diensten
• Communicatie en netwerken voor draadloze en embedded systemen
• Specifica, progettazione e analisi, e verifica di sistemi embedded distribuiti
• Draadloze sensornetwerken
• Energie-efficiëntie en oogsten

Procesmanagement

• Continue verbetering van procesbewuste informatiesystemen
• Collaborative and Distributed Business Process Enactment inclusief Blockchain
• Modellen voor procesintensieve systemen
• Proces Mijnbouwtechnieken
• Simulatie en verificatie van gegevensbeveiligde samenwerkingsmodellen

Software en informatiesysteemtechniek

• Engineering van Enterprise Architecture
• Toegepaste formele methoden en verificatietools
• Testen en verificatie in een gedistribueerde omgeving
• Kwantitatieve analyse en tools
• Runtime Monitoring en Verificatie