Research Topics

The research directions pursued by CRACS encompass a broad number of issues related to scalable computing as listed next:

  1. Computational Models and Languages for Scalable Computing
    •     Implementation of Logic Programming Systems
      •     Yap Prolog system
      •     Logtalk system
      •     Extensions for tabling and constraints
      •      Support for multi-platform OS (Linux, MacOS, Windows)
    •    Programming Languages for Mobile Computing and Sensor Networks
      •     process calculi based languages
      •     virtual machine specification and implementation,
      •     formal methods for robust programming
    •    Parallel Logic Programming and Inductive Logic Programming systems
      •     Parallel and distributed systems
      •     Run-time systems for multicore architectures
      •     Scheduling
    •    Grid Computing
      •     Application Descritpion Languages and environments
      •     (Meta-)Scheduling
      •     High performance applications
    •    Middleware Infrastructures
      •     Peer-to-peer frameworks
      •     Hard real-time control software for autonoumous vehicles
    •    Performance Evaluation
  2. Information Mining and Web-Based Systems
    •     Machine Learning and Discovery
      •     Inductive Logic Programming
      •     Statistical Relational Learning
      •     Ubiquitous Data Streams
      •     Biologically Inspired Computing
    •     Applications
      •     Pattern Discovery in Genomics and Proteomics
      •     Analysis of Gene Expression Data
      •     Understanding Cellular Pathways
      •     Clinical Analysis
      •     Intrusion Detection Systems
      •     SPAM Classification
    •     Semantic Digital Libraries
      •     Automatic classification and categorization of files
      •     Repository of educational contents based on ontologies
      •     Federation of repositories
      •     Folksonomy
    •     e-Learning Environments and Tools
      •     Repository of shareable content objects
      •     Automatic evaluation of programming problems
      •     online interaction visualization methods (iGraphs)
      •     Tools for assessing online cooperative work
      •     Creation of automatic personalized instruction
    •     Service Oriented Architectures and Open Data
      •     Service oriented computing in web adaptability and e-learning environments
      •     XML/Ajax based Web development
      •     XML dialets and tools