INESC TEC participates in the Summer on the Campus 2018

Computation Without Borders, the activity organised for the 10th edition of the Summer on the Campus programme of the University of Minho by the Department of Informatics, in collaboration with INESC TEC’s High Assurance Software Laboratory (HASLab), had the participation of 26 students.

Every year, this activity aims to introduce secondary school students to problem analysis, to its abstract modelling and to the building of algorithms 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.

The 26 participants of Computation Without Borders, coming from various secondary schools of the north of the country, had the opportunity to start the week with the Haskell programming language, by solving increasingly complex problems such as the Towers of Hanoi.

The students also observed the operation of several mechanical calculators from the 1950s and 1960s and checked how these were converted into software. In addition, the students had the opportunity to address the Cryptography and the Distributed Systems areas, as well as the software in Robotics and the Quantum Computing.