João Barbosa concluded his PhD in Computer Science in 2023, in the Faculty of Science, University of Porto. He also holds a Master Degree in Computer Science in 2016, and a Bachelor Degree in Physics in 2014, at the same University. He is now an Auxiliar Professor at the Computer Science Department of the Faculty of Science, University of Porto since 2023. He published several papers in top conferences and journals of his research area and participated in several Research Projects and European Cost Actions. Currently his research interests are in the areas of automated theorem proving, program verification, logic programming and type theory.