The SEDIC Lab undertakes research in a variety of areas related to Software Engineering, Distributed Computing and Internet Technologies. Such areas include: formal methods, massive content processing, network modeling and simulation, semantic computing, signal analysis and natural language processing, security technologies, data mining and knowledge discovery, component-based systems, cloud computing, service integration, telemedicine, wireless sensor networks, P2P, social networking, etc.