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

University of Camerino the international School of Advanced Studies

Ph.D. in Computer Science and Mathematics

Camerino, Italy

PhD

3 years

English, Italian

Full time

On-Campus

Key Summary

About: The Ph.D. in Computer Science and Mathematics focuses on advanced research in various areas of both disciplines.

Students engage with critical topics, enhancing their theoretical and practical knowledge through rigorous coursework and original research projects.

This program prepares you for a career at the forefront of technology and academic research.

Career Outcomes: Graduates of this program can pursue roles in academia, research organizations, and industries such as software development, data analysis, and artificial intelligence.

Potential career paths include research scientist, university professor, and systems analyst.

This degree equips you with the skills needed for significant contributions in both fields.

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