博士计算机科学与数学

领域：计算机科学与数学

• 人工智能与智能系统
• 计算与数学
• 网络安全
• 数据科学和机器学习
• 嵌入式系统和物联网
• 流程管理
• 软件与信息系统工程

人工智能与智能系统

• 自适应控制和优化
• 适应政策
• 集体和自适应系统
• 知识表示和自主推理

计算与数学

• 计算的代数和逻辑方面）
• 计算模型和计算模型
• 正式语言
• 特定域的代数语言
• 模型理论
• 科学教育的方法论方面

网络安全

• 访问控制和资源使用策略
• 分布式Ledger技术
• 弹性系统的设计
• 网络安全
• 入侵检测系统

数据科学和机器学习

• 复杂系统的数据驱动模型
• 基于拓扑的数据分析方法
• 数据驱动的系统验证
• 优化和计量经济学技术
• 判别和生成建模

嵌入式系统和物联网

• 中间件和服务
• 无线和嵌入式系统的通信和网络
• 特定，progettazione e analisi，e verifica di sistemi embedded distribuiti
• 无线传感器网络
• 能源效率和收获

流程管理

• 持续改进过程感知信息系统
• 协作和分布式业务流程制定，包括区块链
• 过程密集系统的模型
• 过程挖掘技术
• 数据感知协作模型的仿真与验证

软件与信息系统工程

• 企业架构工程
• 应用形式方法和验证工具
• 分布式设置中的测试和验证
• 定量分析和工具
• 运行时监控和验证