News
Up one levelProtocol between INESC TEC and National Institute of Informatics takes researchers to Japan
Following the signing of a memorandum of understanding between INESC TEC and the National Institute of Informatics (NII), in Tokyo (Japan) in 2014, five INESC TEC researchers had the opportunity to do an internship at the Japanese institution.
INESC TEC leads European project that will protect data on the cloud
The project’s name is SafeCloud and will be concluded by 2018.
INESC TEC researcher receives €1,5M grant from European Research Council
Alexandra Silva, associate researcher at INESC TEC’s High Assurance Software (HASLab) and senior lecturer at University College London, received €1.5M worth of funding from the European Research Council to programme complex computer systems, a topic related to software engineering.
INESC TEC organises international conference on Computer Science
INESC TEC’s High-Assurance Software Laboratory (HASLab) is organised 15th edition of RAMiCS – International Conference on Relational and Algebraic Methods in Computer Science, which took place between 28 September and 1 October, in the city of Braga, Porto.
INESC TEC leads European project SafeCloud
The European project SafeCloud (Secure and Resilient Cloud Architecture), from INESC TEC’s High Assurance Software Laboratory (HASLab), has been recently approved with a budget of over three million euros.
LeanBigData is the Best European R&D Cooperation Project
LeanBigData (Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics), a project from INESCTEC’s High Assurance Software Laboratory (HASLab) and Centre for Information Systems and Computer Graphics (CSIG), received the madri+d Award for Best European R&D Cooperation Project.
HASLab / INESC TEC explores deduplication technique for solving problems in the 'cloud'
The paper “A survey and classification of deduplication storage systems”, written by the researchers from INESC TEC’s High-Assurance Software Laboratory (HASLab), João Paulo and José Pereira, presents an innovative approach for the concept of deduplication and its use in cloud services. The work was recently published in the international journal with the highest impact factor in the field of computer science, ACM Computing Surveys.
HASLab/INESC TEC researcher wins IBM Portugal scientific award
Alexandre Madeira, a researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab), has won the 2013 IBM Portugal Scientific Award, with the project “Hibridização de Lógicas: uma abordagem genérica à reconfigurabilidade de software” (in English: Hybrid logic – a generic approach to software reconfigurability).
INESC TEC signs protocol with the University of Minho
The University of Minho (UMinho) is officially part of INESC TEC – INESC Technology and Science, a leading associate laboratory which hosts 12 R&D units and 600 researchers. The complex in Minho is called HASLab – High Assurance Software Laboratory, in Braga, which was created in 2010. The protocol was signed as part of the 37th anniversary of the University of Minho’s School of Engineering.
Spin-off company created by HASLab/INESC TEC is finalist in the COHiTEC initiative
The spin-off Dependableware, created by researchers at HASLab – High-Assurance Software Laboratory, a Privileged Partner of INESC TEC located in the University of Minho (U.Minho), was one of the finalists of the COHiTEC initiative, promoted by COTEC Portugal. This U.Minho spin-off developed database management software which is more flexible, reliable, scalable and profitable comparatively to the solutions available on the market.
HASLab/INESC TEC starts European project on Big Data
In February, the High-Assurance Software (HASLab), INESC TEC’s Privileged Partner, will start working on the European project LeanBigData (Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics). The main goal is to solve three great challenges of analytical processing in Big Data: the cost, in terms of resources, of scaling big data analytics for streaming and static data sources; the lack of integration of the existing technologies to manipulate Big Data and high response times; and the insufficient end-user support leading to extremely lengthy big data analysis cycles. INESC TEC’s Information and Computer Graphics Systems Unit (USIG) is also participating in this project.
HASLab/INESC TEC project receives Google Research Award
A research project developed by INESC TEC’s High Assurance Software Laboratory (HASLab) has received a Google Research Award on 3 July. The project, entitled "Minha”, aims at simplifying and improving the development of software for cloud computing.