New B2 NRF rating for the Dept of Computer Science

The National Research Foundation (NRF) has awarded Dr Ivan Varzinczak with a B2 rating. This rating is awarded to researchers who enjoy considerable international recognition by their peers for the high quality and impact of their recent research outputs.

His primary research area is knowledge representation and reasoning in artificial intelligence. He focuses on logic-based specification languages, the formalisation of different types of human reasoning and the design of algorithms for their implementation and verification. He is an active member of the Artificial Intelligence Research Unit (AIRU) that provides research and thought leadership to academia, industry, government and civil society, so that they can leverage AI to improve people’s lives. 

Varzinczak is an Honorary Professor with the Department of Computer Science. He holds a PhD (2006) in artificial intelligence from Université Paul Sabatier, France, an MSc (2002) and a BSc (2000), both in computer science, from the Federal University of Paraná, Brazil. 

Ivan was the recipient of the first Louis Couturat Logic Prize and of the first Universal Logic Prize (2018).