Distributed Systems and Concurrent Programming

Research lines:

  • Adaptive systems and real-time
  • Distributed computing: service-oriented architectures, validation and verification of parallel and distributed applications; high performance computing; grid computing; cloud computing; fog computing; green computing.
  • Internet of Things: architectures and middlewares
  • Operating systems
  • Performance evaluation: simulation and distributed simulation; prototyping; benchmark
  • Tools and methodologies for teaching computing

Distributed Systems and Concurrent Programming laboratory
Intermedia Laboratory
Critical Embedded Systems Laboratory (LSEC)



© 2024 Instituto de Ciências Matemáticas e de Computação