At HASLab, we anchor our research on a rigorous approach to three areas of Computer Science: Software Engineering, Distributed Systems, and Cryptography and Information Security.
Our contributions to these areas range from fundamental research on formal methods and algorithms, to applied research on the development of tools and middleware that address real-world demands stemming from long-term collaborations with industry.
It was under the conferences PERIN 2019 “+ Ciência, + Europa” that took place the presentation session of the Collaborative Laboratory (CoLAB) VORTEX in Cyber-Physical systems and Cyber Security, having INESC TEC as one of its partners and with the participation ensured by the High-Assurance Software Laboratory (HASLab).
02nd April 2019
An article entitled “Efficient Synchronization of State-based CRDTs”, authored by Vítor Enes, Paulo Sérgio Almeida and Carlos Baquero, researchers of INESC TEC’s High-Assurance Software Laboratory (HASLab), together with João Leitão, researcher at NOVA LINCS, was accepted for publication in the 35th IEEE International Conference on Data Engineering (ICDE 2019).
20th March 2019
The 3rd World Congress on Formal Methods (FM’19), organised by INESC TEC, will take place between 7 and 11 October at the Alfândega Porto Congress Centre.
20th March 2019
On 24 January, Luís Soares Barbosa, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Professor at the University of Minho and at the United Nations University, was elected Chair of the Technical Committee 1 - Foundations of Computer Science (IFIP TC1), an international committee that aims at the development of the theory and computer science and of its bridges with other domains of knowledge and socially relevant applications.
08th February 2019
The project “Outsystems Learnability Model”, which started in May 2018 and lasted for six months, aimed at defining a strategy to analyse the experience of using the OutSystems platform, in order to support its improvement.
08th January 2019
Research Assistant
Research Assistant
External Student
External Research Collaborator
External Research Collaborator
External Research Collaborator
External Student
Assistant Researcher
Research Assistant
External Student
Researcher
Research Assistant
Affiliated Researcher
Affiliated Researcher
Science and Technology Management Grant Holder
Assistant Researcher
Research Assistant
Research Assistant
Research Assistant
Area Manager
Research Assistant
External Student
Research Assistant
Science and Technology Management Grant Holder
Research Coordinator
Senior Researcher
External Research Collaborator
Research Assistant
Research Assistant
External Student
Research Assistant
Research Assistant
External Student
Research Coordinator
Research Assistant
Senior Researcher
Research Assistant
External Research Collaborator
Research Assistant
External Research Collaborator
Assistant Researcher
Affiliated Researcher
Research Assistant
Science and Technology Management Grant Holder
Affiliated Researcher
Research Assistant
Senior Researcher
Research Assistant
Research Assistant
External Student
Assistant Researcher
Research Assistant
Research Assistant
Senior Researcher
Assistant Researcher
Research Assistant
Researcher
Research Assistant
External Research Collaborator
Member of the Board of Directors
External Research Collaborator
Research Assistant
Research Assistant
External Student
Research Assistant
Research Assistant
Research Assistant
Senior Researcher
Research Assistant
Research Assistant
Research Assistant
External Student
