معرفی
Roberto Bruni is a Professor in the Department of Computer Science at the University of Pisa, Italy. He has been actively contributing to theoretical computer science with a focus on formal methods, operational semantics, and reaction systems. His academic service includes serving as PC member for SAS 2025 and CMSB 2025 conferences.
Professor Bruni's research interests span Operational Semantic, Petri Nets, Reaction Systems, Graph Transformation, and Monoidal Category. His work bridges theoretical computer science with applications in computational biology and program analysis. He has developed significant tools like BioReSolve, a Prolog interpreter for Reaction Systems analysis, and has contributed to projects such as RemConf (Confusion removal in Petri nets) and The Link Calculus.
His recent publications demonstrate a strong focus on reaction systems, program analysis, and formal verification methods. The research trend shows increasing application of theoretical computer science concepts to biological modeling and healthcare applications, particularly through enhanced reaction systems frameworks.
Professor Bruni holds several institutional responsibilities including membership in the Commission Didattica del GRIN since 2020, delegation to the University Information System (SIA) for the Department of Computer Science since 2020, and membership in the Doctoral College for Smart Industry since 2018. He has been Vice-president of the Master's Degree in Data Science and Business Informatics at the University of Pisa since 2017.
His teaching portfolio is extensive, covering courses in programming, algorithms, quantum computing, business process modeling, and program analysis for both undergraduate and graduate students in multiple languages (Italian and English). He has taught courses such as Programmazione e Algoritimica, Models for Programming Paradigms, Business Processes Modeling, Program Analysis, and Introduction to Quantum Computing.
Professor Bruni has been involved in numerous research projects including PRA (FM4HD, DECLWARE, FOG), PRIN (ASPRA, CINA, IPODS), and several EU-funded projects (IST-FP7 ASCENS, IST-FP6 SENSORIA, CoMeta, AGILE, NAPI, GETGRATS). His previous academic positions include PhD Student at University of Pisa, International Fellow at SRI Computer Science Laboratory, and Visiting Scholar at UIUC.
