Main lines of research/study

The research activity of Computer Science teachers at UNICAM involves two main areas:

• Complex Systems - Exploiting the use of mathematical tools, methods and models for complex software system verification are studied and development, with particular attention to those systems whose complexity hardly depends on number of components, distribution, efficiency, time constraints. In particular, the investigated issues concern: 
  • semi-formal and formal methods for the specification and the verification of software
  • systems embedded and real-time systems
  • system biology
  • mobie computing
    

• Unicam eGov Research Group - Exploiting theoretical and applied Computer Science, in experimenting new solutions supported by economic and governance notions, we study the application of ICT into the Public Administration. In particular, the investigated issues concern:

• Software engineering and software testing 
  
• Semantic technologies
• Workflow Engineering and middleware to support flexible business process implementation
• Mobile and Pervasive computing
• Security of Systems