Keystone logo
University of Camerino the international School of Advanced Studies Ph.D. in Computer Science and Mathematics
University of Camerino the international School of Advanced Studies

Ph.D. in Computer Science and Mathematics

Camerino, Itálie

3 Years

Angličtina, Italština

Plný úvazek

Request application deadline

Request earliest startdate

Request tuition fees

Na kampusu

Úvod

120454_biblio_950x350.jpg

Area: Computer Science and Mathematics

  • Artificial Intelligence and Intelligent Systems
  • Computing and Mathematics
  • Cybersecurity
  • Data Science and Machine Learning
  • Embedded Systems and IoT
  • Process Management
  • Software and Information System Engineering

Artificial Intelligence and Intelligent Systems

  • Adaptive control and optimization
  • Adaptation policies
  • Collective and adaptive systems
  • Knowledge representation and autonomic reasoning

Computing and Mathematics

  • 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

120455_PhD1Year-Groupphoto.jpg

Cybersecurity

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

Data Science and Machine Learning

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

Embedded Systems and IoT

  • 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

  • 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

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

Akreditace

O Škole

Otázky