## COMPUTER SCIENCE AND MATHEMATICS

COMPUTER SCIENCE AND MATHEMATICS

*RESEARCH TOPICS and related Subtopics for the PhD in “Computer Science and Mathematics”*

*Artificial Intelligence and Intelligent Systems (**michele.loreti@unicam.it**)*

*Adaptive control and optimisation**Adaptation policies**Collective and adaptive systems**Knowledge representation and autonomic reasoning*

*Computing and Mathematics (**sonia.linnocente@unicam.it** , **emanuela.merelli@unicam.it**)*

*Algebraic and logical aspects of computing)**Computational Models and Models of Computation**Formal languages**Algebraic languages for specific domains**Model theory**Methodological aspects of science education*

*Cybersecurity (**francesco.tiezzi@unicam.it**)*

*Access Control and Resource Usage Policies**Distributed Ledger Technologies**Design of Resilient Systems**Network security**Intrusion Detection Systems*

*Data Science and Machine Learning (**emanuela.merelli@unicam.it**)*

*Data driven models of complex systems**Topology-based data analysis methods**Data driven system verification**Optimization and econometric techniques**Discriminative and generative modelling*

*Embedded Systems and IoT (**leonardo.mostarda@unicam.it**)*

*Middleware and services**Communication and networking for wireless and embedded systems**Specifica, progettazione e analisi, e verifica di sistemi embedded distribuiti**Wireless Sensor Networks**Energy efficiency and harvesting*

*Process Management (**barbara.re@unicam.it**)*

*Continuous improvement of Process Aware Information Systems**Collaborative and Distributed Business Process Enactment including Blockchain**Models for Process Intensive Systems**Process Mining Techniques**Simulation and Verification of Data-Aware Collaboration Models*

*Software and Information System Engineering (**andrea.polini@unicam.it**)*

*Engineering of Enterprise Architecture**Applied Formal Methods and Verification Tools**Testing and Verification in distributed setting**Quantitative Analysis and Tools**Runtime Monitoring and Verification*

**Optimization and Machine Learning (renato.deleone@unicam.it)***Linear and Nonlinear Optimization**Support Vector Machines**Optimization Methods in Machine Learning*