HASLab receives students of the Summer on the Campus 2019

The Computation Without Borders, an activity integrated in the Summer on the Campus 2019 programme and organised in collaboration with INESC TEC's High-Assurance Software Laboratory, had the participation of 28 secondary school students and took place between 22 and 26 July in the Department of Informatics of the University of Minho, in Braga.

The participants of the 12th edition of Summer on the Campus, coming from various secondary schools of the north of the country, had the opportunity to start the week with sessions on Distributed Systems and Protocols, Cryptography and Information Security, as well as the opportunity to learn the programming language known as Haskell, by solving increasingly complex problems such as the Towers of Hanoi.In addition to this, the Software in Robotics and the Quantum Computing were other areas addressed during the activity.

Every year the Computation Without Borders aims to introduce secondary school students to problem analysis, to its abstract modelling and to the building of algorithmic solutions. This way, the students tried the attractive task of programming a computer to solve complex problems while at the same time getting to know the educational offer of the Department of Informatics of the University of Minho, as well as the corresponding associated student centres.

The HASLab team that was involved in this activity included Ana Néri, Ana Nunes Alonso, Hugo Pacheco, José Nuno Oliveira, Nuno Macedo and Tiago Oliveira.