Albert Visser appointed Faculty Professor at Faculty of Humanities
Prof. dr. Albert Visser is one of the foremost logicians of our time. The 'Visser Rules' are named after him: the rules from which all acceptable rules of propositional intuitionistic logic can be deduced.
His research in fundamental logic and artificial intelligence – focusing on the relations between logic, mathematics and philosophy – has been influential across the world, and his research group has been assessed as 'excellent' by three subsequent national review committees. In addition, he has played a leading role in the development of the bachelor's programme in artificial intelligence (Kunstmatige intelligentie). All in all he has contributed significantly to education and research within the Faculty of Humanities.