Due to the COVID-19 pandemic, and following Ifes' guidelines, this course is temporarily suspended.
My research interests include data science, artificial intelligence, software and system verification, programming logic, and the use of games in education.