Alberto Policriti

Alberto Policriti is a Full Professor of Computer Science at the Department of Mathematics, Computer Science and Physics (DMIF), University of Udine, Italy. He is affiliated with the College of Science and Technology, where he contributes to research and teaching in theoretical computer science and formal methods.

His research interests include Computer Science, Theoretical Computer Science, Logic in Computer Science, Formal Methods, Automated Reasoning, and Programming Languages. These fields reflect his departmental affiliation and academic focus on foundational aspects of computing.

While no specific publications or research projects are listed in the available text, his position as a full professor indicates a long-standing and active research career. There is no mention of scientific awards, grants, or student advising in the provided content.