Prize winner in the XXXI National Contest of Computer Science Thesis Award or Honor