Dipartimento di Informatica

Areas

• Artificial Intelligence and Human-Computer Interaction
  • Intelligent Supervision of Complex Systems
  • Machine Learning and Data Mining
  • Model Based Reasoning
  • Knowledge Representation and Reasoning
  • Agent Oriented and Service Oriented Computing
  • Interaction models: agents, natural language and expression
  • Intelligent User Interfaces
    • Semantic Web and Ontologies
    • User Modeling and Personalization
    • Service cloud and Web collaboration
    • Social and ubiquitous Web
• Data Base and Information Systems
  • Heterogeneous Data and Multimedia Management
• Computer Networks
  • Computer and Network Security
  • Networking and Distributed Systems
• Formal Methods in Computing
  • Logical Foundations of Programming Languages
  • Security in Web Based Programming
  • System Models
  • Control of Resource Usage
  • Software Organisation and Reuse
• Image Processing and Virtual Reality
• Management of innovation
• Operations Research
• Performance Evaluation and System Validation
  • Probabilistic Verification
  • Performance Evaluation
  • Modelling and Petri Nets
  • Systems Biology