Rui Azevedo

Rui Azevedo is currently working as an Algorithm Developer at Symflower since June 2023. Prior to that, Rui worked as a Research Assistant at INESC Technology and Science - Associate Laboratory under the High-Assurance Software Labs (HASLab) from May 2022 to February 2023.