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 (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
Phd Coordinator

Emanuela Merelli

short CV