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.
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
Between 26 and 29 November, José Creissac Campos, senior researcher of the High Assurance Software Laboratory (HASLab) of INESC TEC, and Professor at the University of Minho, visited the Laboratory of Human-Computer Interaction for Special Needs that is part of the University of the Basque Country, where he promoted the field of work in formal methods.
28th December 2018
On 27 September, took place the third and final assessment by the European Commission of the SafeCloud project. The project was led by INESC TEC's High-Assurance Software Laboratory (HASLab). With an investment of over three million euros, the project focused on the area of cloud infrastructures that, despite their many advantages, still present several challenges of privacy and integrity to data storage and processing.
04th October 2018
Integrated in the 10th Summer in the Campus Programme of the University of Minho, the activity Computing Without Borders was organized by the Informatics Department in collaboration with HASLab.
17th September 2018
Research Assistant
Research Assistant
External Student
External Research Collaborator
External Research Collaborator
Researcher
External Student
Investigador Auxiliar
Research Assistant
Researcher
Research Assistant
Affiliated Researcher
Affiliated Researcher
Science and Technology Management Grant Holder
Investigador Auxiliar
Research Assistant
Research Assistant
Area Manager
Research Assistant
External Student
Research Assistant
Science and Technology Management Grant Holder
External Student
External Student
Research Assistant
External Administrative and Technical Staff
External Administrative and Technical Staff
Research Assistant
Research Assistant
Research Assistant
Researcher
Researcher
Research Assistant
Researcher
Affiliated Researcher
Research Assistant
Research Assistant
External Administrative and Technical Staff
Investigador Auxiliar
External Student
Investigador Auxiliar
Research Assistant
Research Assistant
External Student
Research Assistant
Research Assistant
Research Coordinator
Research Assistant
Senior Researcher
Research Assistant
External Research Collaborator
Research Assistant
External Research Collaborator
Investigador Auxiliar
Affiliated Researcher
Research Assistant
Science and Technology Management Grant Holder
Affiliated Researcher
Research Assistant
Senior Researcher
Research Assistant
External Student
Investigador Auxiliar
Research Assistant
Senior Researcher
External Research Collaborator
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
