Last week, the High-Assurance Software Laboratory (HASLab) welcomed high school students from the districts of Braga and Viana do Castelo, who chose HASLab to experience the activity of a researcher in the Informatics area. This visit took place as part of the 4th edition of the Best Students programme at UMinho.
For three days, Diogo Araújo, Maria Machado, João Martins and António Silva, who integrated this programme, had the opportunity to learn how to model and specify problems exploring different capabilities of two languages: Alloy for logic specifications, and Haskell for purely functional implementations.
After some computer science and programming basics, researchers at HASLab's Alan Turing classroom, responsible for the activity in 2017, challenged students to solve various logical challenges.
During this activity, the students also had the opportunity to know the facilities of the Department of Informatics of the University of Minho, as well as to meet the researchers and collaborators of HASLab.
The Best Students programme at UMinho is an initiative specifically designed for the high school students of the districts of Braga, Vila Real and Viana do Castelo, who obtained the best marks in the previous year. This initiative is organised by the Communication, Information and Image Office of the University of Minho.