Ana Bove

Associate Professor (Docent), Head of Division, Logic and Types division, Department of Computer Science and Engineering.

Page manager Published: Thu 20 Feb 2020.