معرفی
Paolo Baldan is a Professor of Computer Science at the Department of Mathematics of the University of Padova, where he maintains office 6DA6. Previously, he served as an assistant professor at the University of Venice's Computer Science Department and as a PostDoc Researcher at the University of Pisa's Department of Computer Science.
His research focuses on Formal Methods for Software Reliability and Programming Languages, with particular expertise in Concurrency Theory, Petri Nets, and Graph Transformation Systems. Professor Baldan has led multiple research projects including the current MUR Project RAP (2023-2025) and previous initiatives like ASPRA (2019-2022) and ANCORE (2015-2016).
His publication record spans journal articles, conference papers, and technical reports in theoretical computer science. His recent work examines resource awareness in programming, program analysis techniques, and verification of concurrent systems. The publications demonstrate consistent contributions to formal methods with applications to software reliability.
Professor Baldan actively participates in the academic community through conference organization and committee work, including involvement with CALCO, Petri nets conferences, and ICGT. His upcoming commitments include CSL 2026.
He teaches courses including Computability, Languages for Concurrency and Distribution, and Algorithms and Data Structures at the University of Padova. Office hours are held Wednesdays 11:00-13:00, requiring advance contact for meetings.
