Dept. of Mathematics, Computer Science, and Physics University of Udine

General Info

• Deputy Vice Rector of the University of Udine
• Head of the Italian Chapter of the European Association for Theoretical Computer Science (EATCS)
• Full Professor of Computer Science
• Director of the Data Science and Automatic Verification Laboratory

Department of Mathematics, Computer Science, and Physics, University of Udine
via delle Scienze 206, 33100 Udine, Italy

Office: 2nd floor, Room SN14

e-mail: angelo.montanari [at]
web page:
phone: +39 0432 558477; fax: +39 0432 558499


Course on Verification and
Validation Techniques:
classes will start next Tuesday,
the 1st of March, at 10.30 a.m.
(Room Gamma 2 and online).

Website by Giovanni Montanari. Please report every bug you may encounter at gsmontanari [at] gmail [dot] com