COMPUTER SCIENCE AND MATHEMATICS

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 (michele.loreti@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

Machine learning econometrics for business analytics and finance (carlo.lucheroni@unicam.it)

Natural language processing for business analytics and finance (carlo.lucheroni@unicam.it)

 

Intelligent Civil Engineering (andrea.dallasta@unicam.it)

 

• Collective and adaptive systems for the analysis of Risk Assessment and Vulnerability 

• Predictive models for Structural Health Monitoring 

• Mathematical models for Earthquake Engineering   

Phd Coordinator