Find Academic Supervisors

Paolo BaldanView profile

Professor

• Formal Methods for Software Reliability
• Programming Languages
• Concurrency Theory
• +6 more

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.

Francesco RanzatoView profile

Professor

• Abstract Interpretation
• Programming Languages
• Formal Methods
• +4 more

Francesco Ranzato is a Full Professor in the Department of Mathematics at the University of Padova, Italy, where he conducts research in theoretical computer science with a focus on abstract interpretation, programming languages, and formal methods. His academic career spans over three decades with continuous contributions to the field, as evidenced by his extensive publication record from 1994 through 2025. Professor Ranzato's research interests center on abstract interpretation theory and its applications to program analysis and verification. In recent years, he has expanded his work to include machine learning verification, particularly focusing on robustness certification of classifiers using abstract interpretation techniques. His work bridges theoretical foundations with practical applications, as demonstrated by multiple open-source software artifacts available on GitHub. His publication record shows a clear evolution from foundational work in abstract domains and completeness properties to practical algorithms for simulation and model checking, and most recently to applications in machine learning security. The 15 most recent publications reveal a strong focus on verifying properties of machine learning models, with particular attention to decision trees, support vector machines, and k-Nearest Neighbors classifiers. Among his notable recognitions are the POPL Distinguished Paper Award, LICS 2021 Best Paper Award, Microsoft Research SEIF award, Amazon Research Award, and the WhatsApp Privacy Aware Program Analysis Award. These awards highlight the significance and impact of his contributions to programming languages and formal methods research. Professor Ranzato maintains active research collaborations, as evidenced by his co-authored publications, and has successfully secured research funding from both academic and industry sources. His work with students and junior researchers is reflected in the numerous joint publications and the development of practical tools for abstract interpretation and machine learning verification. His research group operates through the Department of Mathematics at the University of Padova, with a strong presence in international research communities as shown by his editorial roles (e.g., editing SAS 2017 proceedings) and regular participation in top-tier conferences in programming languages and formal methods.

• Static Program Analysis
• Verification of Communication Protocols
• Formal Methods
• +3 more

Gilberto File serves as a Professor of Computer Science within the Department of Mathematics at the University of Padova. His academic appointment integrates computer science research and teaching into the mathematical sciences framework of the university. His research expertise spans Static Program Analysis , Verification of Communication Protocols , Formal Methods , and Software Reliability . These interconnected fields employ mathematical logic to verify software correctness, with particular emphasis on abstract interpretation techniques for analyzing program behavior and security properties. Professor File's publication record from 1998-2009 reveals a cohesive research trajectory centered on theoretical foundations of program analysis. The work demonstrates consistent application of abstract interpretation to logic programming systems and security protocols, evolving from fundamental operator theory (1998-1999) toward practical verification applications (2004-2009). This progression highlights his contribution to bridging theoretical computer science with software reliability engineering. No scientific awards were documented in the available sources. Information regarding student supervision, current research grants, or laboratory resources was not provided in the source materials. His teaching activities as of 2011-2012 included foundational programming courses for both undergraduate and graduate computer science students.

• Cybersecurity
• Software Security
• Formal Methods
• +5 more

Mila Dalla Preda is an Associate Professor at the University of Verona's Department of Computer Science, affiliated with the College of Science and Engineering. She holds multiple institutional roles including membership in the Faculty Board of PhD in Computer Science, Computer Science Teaching Committee, and Commissione AQ Ricerca. Her work focuses on software security, code protection, and formal methods. Research interests include static program analysis, formal software security, and semantic-based obfuscation techniques. She leads projects like 'Securing sOFTWARE Platforms' (2024) and 'BinTrace: Binary Similarity Analysis' (2020). Key contributions involve malware detection, program similarity analysis, and blockchain security through tools like Ethersolve. Active in teaching, she instructs courses on Compilers, Software Security, and Data Privacy across undergraduate and graduate programs. Her lab affiliations include the SPY Laboratory (Formal Methods) and collaborates with spin-off companies like 3Dflow s.r.l. and eVS embedded Vision Systems s.r.l.

• Abstract interpretation
• Security
• Static program analysis
• +6 more

Isabella Mastroeni serves as an Associate Professor in the Department of Computer Science at the University of Verona, where she holds the position of Professore II fascia in Informatics (INFO-01/A). She is actively involved in research and teaching within the university's Science and Engineering Area, with her office located in Ca' Vignal 2, Floor 1, Room 88. Her research focuses on two primary areas: abstract interpretation and security. Within abstract interpretation, she studies programming language semantics and static analysis techniques, including for dynamic programming languages. Her security research spans language-based security with emphasis on non-interference models, malware detection through code similarity analysis, code protection via obfuscation techniques, and analysis of security properties to prevent code injection attacks. She publishes in top international venues including programming language conferences (POPL, ESOP, SAS, PEPM), security journals (TOPS, JCS), and formal computer science publications (FACJ, TCS, MSCS). Professor Mastroeni serves as a member of the SPY (Formal Methods) Laboratory and has led numerous research projects, including recent initiatives such as Learning Safe Behaviours for human-robot cooperation (BEHAVE), Securing sOftware Platforms, and Novel Methodologies and Tools for Next Generation Cyber Ranges (NOMEN). Her current research interests are categorized under ERC sectors PE6_5 (Security, privacy, cryptology), PE6_3 (Software engineering, programming languages), and PE6_4 (Theoretical computer science, formal methods). She holds significant administrative responsibilities including Chair of the Commissione AQ Laurea triennale in Informatica, Quality Assurance Representative for the Computer Science degree program, and membership on multiple governing bodies including the Faculty Board of PhD in Computer Science and the Computer Science Teaching Committee. Professor Mastroeni teaches across multiple programs including Educational Technology Laboratory for Primary Teacher Education, Foundations of Computing, Programming Languages, and Software Analysis for Computer Science bachelor's and master's degrees. Her teaching spans from foundational courses to advanced specialized topics reflecting her research expertise.

• Static Program Analysis
• Software Verification
• Blockchain Technology
• +7 more

Nicola Fausto Spoto is an Associate Professor in the Department of Computer Science at the University of Verona, specializing in Informatics (INFO-01/A academic sector). His research falls under ERC sectors PE6_3 (Software engineering, programming languages and systems) and PE6_4 (Theoretical computer science, formal methods, automata). His primary research interests include Static Program Analysis for object-oriented languages focusing on correctness and security properties, Blockchain and Smart Contracts development, and Program Semantics for characterizing security problems. He leads research in the SPY (Formal Methods) Laboratory and is involved with the Blockchain research group which focuses on blockchain technology applications and smart contract infrastructure. Prof. Spoto serves as Chair of the Spin-off Commission and is a member of several important bodies including the Faculty Board of PhD in Computer Science, Computer Science Teaching Committee, and Computer Science Department Council. His current teaching responsibilities include Introduction to Programming, Programming I, Programming II and Software Engineering, and Introduction to Blockchain for the PhD program. He is actively involved in multiple research projects, with the most recent being 'In search of evidence of stealth cyber threats - COVERT' (starting June 2024), 'Organisation of informative events for SMEs in Veneto region' (starting September 2023), and 'Study and formalization of an algorithm for dynamic vehicle rental pricing determination' (starting July 2023).

Margherita CigolaView profile

Associate Professor

• Decision Theory
• Mathematical Optimization
• Probability and Stochastic Processes
• +3 more

Margherita Cigola is an Associate Professor of Mathematics in the Decision Sciences Department at Bocconi University, Milan. She specializes in mathematical models for decision-making in deterministic and stochastic frameworks, with applications in economics, finance, and statistics. Current Course Director for Applied Mathematics (30063) and (30449) Her research focuses on decision theory, optimization, probability, and utility modeling. She has collaborated extensively with scholars like Peccati, Castagnoli, and Beccacece across fields such as financial mathematics, risk management, and intertemporal choice. Over a 25-year period (1989–2013), her publications spanned financial calculus, static and dynamic optimization, risk discounting, and stochastic decision theory. These works emphasize mathematical rigor in applied contexts like corporate finance and economic modeling. She has taught foundational mathematics courses for economics, finance, and statistics programs, emphasizing probability, optimization, and dynamical systems as critical tools for advanced model application.

• Language-based Security
• Compilers
• Formal Verification
• +4 more

Letterio Galletta is an Assistant Professor of Computer Science at IMT School for Advanced Studies Lucca, within the SySMA research unit. Previously, he held a postdoctoral researcher position at the University of Pisa's Department of Computer Science and earned his Ph.D. in Computer Science from the University of Pisa in 2014. His research focuses on language-based security, leveraging programming languages, compilers, and formal verification to address security challenges in adaptive software, IoT, firewalls, and blockchain technologies. Key research areas include secure compilation, access control policy analysis, smart contract formal models, and static analysis techniques. His work bridges theoretical foundations with practical applications, such as securing satellite communication systems (IRIS2) and enhancing firewall policy enforcement. Publications highlight contributions to blockchain transaction parallelism, IoT security metrics, and formal methods for SELinux configurations. He actively contributes to tools like FWS (Firewall Synthesizer) and VeriOSS for bug bounty protocols. His research emphasizes interdisciplinary approaches, combining cybersecurity with distributed systems and embedded computing.

• Optimal Control
• Partial Differential Equations
• Mean Field Games
• +6 more

Associate Professor at the University of Pavia's Department of Economics and Management, specializing in optimal control, partial differential equations, and mean field games with applications to economics and finance. Holds an Italian qualification (ASN) for associate professorship and a French qualification (maître de conférences). Research focuses on dynamic optimization, stochastic systems, and economic modeling of human capital, environmental quality, and pandemic impacts. Active in teaching mathematics for economics and optimization at undergraduate and graduate levels. Education: PhD in Mathematics from University of Padua (2015), postdocs at University of Graz (Austria) and University of Padua. Extensive visiting collaborations in France, Chile, and Brazil. Research Highlights: Pioneering work on mean field games modeling spatial interactions in human capital dynamics and environmental quality regulation. Contributions to sparse optimization, inverse problems in fracture mechanics, and large deviations in stochastic volatility models. Recent Publications Trends: Focus on infinite-dimensional mean field games (e.g., Hilbert spaces), pandemic economics, and environmental policy modeling. Over 15 peer-reviewed articles spanning optimal control, PDEs, and economic applications. Grants & Leadership: Coordinator of Italian GNAMPA projects on MFGs and environmental models. Organized conferences including AMASES 2022 and special sessions at international optimal control conferences. Referee for top journals like SIAM J. Control Optim. and J. Mathematical Economics. Teaching: Courses include 'Mathematics for Management,' 'General Mathematics,' and PhD-level 'Static and Dynamic Optimization.' Oversees tutoring programs and international collaborations via ERASMUS+.

• Computer Science
• Software Verification
• Static Analysis
• +4 more

Pietro Ferrara is an Associate Professor in the Department of Environmental Sciences, Informatics and Statistics at Ca' Foscari University of Venice. His research focuses on applying abstract interpretation-based static analysis to address security vulnerabilities in software systems, particularly in blockchain smart contracts, IoT devices, and distributed systems. He is a member of the Software and System Verification group and has contributed to frameworks like LiSA for multilanguage static analysis. Teaching responsibilities include courses such as Software Architectures, Object-Oriented Programming, and Introduction to Coding and Data Management across undergraduate and graduate programs. His work emphasizes formal verification techniques, cybersecurity, and privacy enforcement in modern software systems. Recent research explores static analysis for detecting concurrency issues in Hyperledger Fabric, vulnerabilities in Go-based smart contracts, and GDPR-compliant privacy analysis. Ferrara collaborates with industry on practical applications of formal methods, including security policy extraction for ROS2 and industrial blockchain software determinism. His research has been published in top venues such as ACM SAC and IEEE Access, with a strong focus on bridging theoretical program analysis with real-world software systems. He maintains an active presence in open-source tools and educational materials for static analysis techniques.

• Climate Change
• Fluid Mechanics
• Hydraulic Constructions
• +11 more

Diego Avesani is an Assistant Professor at the Department of Civil, Environmental and Mechanical Engineering, University of Trento. His expertise spans Climate Change, Fluid Mechanics, Hydrological Modeling, and Water Resources Management. He teaches courses such as 'Integrated Water Resources Management' and 'Introduction to Climate Change' within the Environmental Engineering and Territory programs. His research focuses on developing advanced hydrological models to address challenges in hydropower optimization, uncertainty analysis, and sustainable water resource management in mountainous and Alpine regions. Key research interests include elevation-driven biases in weather forecasts, integration of satellite data for hydrological modeling, and the role of machine learning in improving forecast accuracy. He has contributed to projects analyzing the Po watershed basin and Alpine regions, emphasizing the interplay between climate change and hydrological systems. His recent publications highlight work on hydropower system modeling, post-processing of seasonal forecasts using neural networks, and reducing uncertainty in large-scale hydrological simulations. These studies often address practical applications in sustainable infrastructure and climate adaptation strategies.

• Computer Science
• Programming Languages
• Formal Methods
• +3 more

Marco Comini is an Associate Professor of Computer Science at the Department of Mathematics, Computer Science, and Physics (DMIF), University of Udine, Italy. He is actively involved in academic and research activities within the domain of computer science, particularly in theoretical and formal aspects of software systems. His research interests lie primarily in Computer Science , with a focus on Programming Languages , Formal Methods , Software Verification , and Static Analysis . These areas suggest a strong theoretical foundation aimed at ensuring correctness and reliability in software development through mathematical models and automated reasoning. No recent publications are listed in the provided text; therefore, no article trends can be analyzed at this time. There are no scientific awards mentioned in the available information. Marco Comini advises students at the graduate level, though specific names of advisees are not provided. There is no mention of grants or funded research projects associated with him in the current data. His academic service appears centered within DMIF, contributing to teaching and research in core computer science disciplines. There is no information available about specific laboratories, research teams, or collaborative groups he may lead or participate in.

Michele PasquaView profile

Assistant Professor

• Computer Science
• Software Engineering
• Static Analysis
• +3 more

Michele Pasqua is a Tenure-Track Assistant Professor in Computer Science at the University of Verona. His research focuses on software engineering, static analysis, and abstract interpretation, with active participation in conferences like ICSE, ASE, and SAS. He maintains a personal GitHub repository ( michelepasqua.github.io ) and engages in academic event organization. Research interests include automated software engineering, security testing, and formal methods for code verification. Conference involvement spans roles as program committee member (e.g., ICSE 2024, ASE 2025) and organizer (e.g., Lipari Summer School on Abstract Interpretation). No explicit awards or educational details are provided in the scraped text. Recent publication activity includes a 2024 paper (ICSE24) related to software engineering verification techniques, though full details require accessing the associated PDF or BibTeX files in his repository.

Paolo FalcarinView profile

Associate Professor

• Cybersecurity
• Software Engineering
• Artificial Intelligence
• +5 more

Paolo Falcarin is an Associate Professor at Ca' Foscari University of Venice, affiliated with the Department of Environmental Sciences, Computer Science and Statistics. His research focuses on cybersecurity, software engineering, and AI compliance, with notable contributions to software protection mechanisms, reverse engineering defenses, and cyber-physical systems. He actively participates in editorial roles for journals like Computers & Security and serves on program committees for IEEE/ACM conferences. Key Projects: ASPIRE (EU FP7), SERICS (PNRR), and Flexymob (Currant s.r.l.) Research Interests: Cybersecurity Knowledge Graphs, Runtime Security (Falco), AI Act Compliance, and Software Renewability His work bridges theoretical cybersecurity advancements with practical applications in distributed systems and IoT. Recent publications emphasize anomaly detection in large-scale systems and regulatory compliance frameworks for AI.

Luca OlivieriView profile

Researcher

• Blockchain Technology
• Software Verification
• Cybersecurity
• +3 more

Luca Olivieri is a Researcher at the Department of Environmental Sciences, Computer Science and Statistics at Ca' Foscari University of Venice. His research focuses on blockchain technology, software verification, and cybersecurity, with particular emphasis on static analysis of smart contracts and distributed ledger systems. He is affiliated with the Research Institute for Complexity and teaches courses on computer programming and software verification at both undergraduate and doctoral levels. His research interests include blockchain interoperability, smart contract security, privacy-preserving technologies, and compliance with regulations such as the EU Data Act and GDPR. He has contributed to the development of static analysis tools like GoLiSA and MichelsonLiSA, which address challenges in ensuring determinism, data integrity, and vulnerability detection in blockchain ecosystems. Recent work explores cross-chain verification, phantom reads in Hyperledger Fabric, and the integration of general-purpose programming languages (e.g., Go, Java) into blockchain development. His publications appear in venues such as ACM SAC, IEEE Access, and the International Journal on Software Tools for Technology Transfer, reflecting a strong focus on both theoretical advancements and industrial applications. Collaborations with peers like Agostino Cortesi, Fausto Spoto, and Pietro Ferrara highlight his engagement in interdisciplinary research addressing cutting-edge topics in blockchain software engineering and formal verification.