Find Academic Supervisors

• 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.

• Constraint Programming
• Algorithm Selection
• String Constraint Solving
• +4 more

Roberto Amadini is an Associate Professor in the Department of Computer Science and Engineering at the University of Bologna. His work focuses on constraint programming, algorithm selection, and string constraint solving, with applications in cloud-edge computing and IoT systems. He leads research in deploying microservices over hybrid infrastructures and optimizing solver portfolios for constraint satisfaction problems. Research interests include advanced constraint solving techniques, formal methods for software analysis, and energy-efficient resource allocation. Amadini’s contributions span the design of frameworks like FREEDA and SUNNY-as2, which enhance deployment resilience and algorithm selection efficiency. His work bridges theoretical foundations with practical implementations in programming languages and verification tools. Recent publications explore sustainable cloud-edge applications, failure-resilient systems, and dynamic symbolic execution. He actively contributes to open-source projects like JSetL and participates in international solver challenges. No awards are explicitly listed in the provided materials. Amadini’s research group addresses cutting-edge challenges in distributed computing and constraint-based methodologies. Ongoing projects focus on optimizing solver portfolios for real-world computational tasks and advancing string analysis techniques in programming paradigms.

• Computer Science
• Electronic Engineering
• Integrated Circuit Testing
• +6 more

Marcello Dalpasso is an Associate Professor of Computer Science at the School of Engineering, University of Padova, Italy, and a member of the Department of Information Engineering. He has held this position since 2004 after serving as a researcher and teaching assistant at the same university from 1998. Born in Ferrara, Italy (1965) Graduated with highest honors in Electronic Engineering (1990), University of Bologna PhD in Electronic Engineering and Computer Science (1994), Rome His research focuses on integrated circuit testing , fault simulation , and algorithm design . He has developed techniques for IDDQ testing , bridging fault modeling , and Boolean satisfiability applications in digital systems. Other contributions include optimization algorithms for Traveling Salesman Problem (TSP) and efficient data structures. Recent publications highlight his work on Answer Set Programming for timing analysis, Python programming education , and TSP neighborhood exploration . His research spans both theoretical and applied domains, from hardware testing to software development and computational biology. He has co-authored textbooks on Computer Networks , Software Design , and Programming in Java/Python/C++ , serving as a key contributor to educational materials in computer science.

• Image Analysis
• Bioenergy
• Cartography
• +12 more

Paolo Zatelli is an Associate Professor at the University of Trento , Department of Civil, Environmental and Mechanical Engineering. His academic career spans over two decades, with research expertise in geomatics, photogrammetry, and open-source GIS applications. Department of Civil, Environmental and Mechanical Engineering (since 2001) Researcher in ICAR06 (Topography and Cartography) International collaborations in geospatial projects Education includes a degree in Environmental and Territory Engineering (1993, 110/110 with honors) and a PhD in Topographic and Geodetic Sciences (1998). He has taught courses in GIS, Digital Cartography, and GPS surveying. Research Interests focus on geospatial technologies and their applications. Key areas include digital photogrammetry , wavelet applications in geodesy , GPS survey planning , and open-source GIS development . His work extends to environmental monitoring, historical cartography analysis, and sustainable forest management systems. Publication Trends show sustained contributions to FOSS4G (Free and Open Source GIS) applications, with recent work covering topics like landscape metrics , EV charging infrastructure , beta diversity analysis , and historical map digitization using GRASS GIS and QGIS. Scientific Contributions include: Member, IAG Special Study Group 4.187 on Wavelets in Geodesy Organizing committee, IV Hotine-Marussi Symposium Key developer of GRASS GIS applications Contributor to GOCE satellite geodesy projects Teaching and Mentorship highlights his role in both academic and professional GIS training, with over 20 theses supervised. His Technical Contributions involve developing open-source tools for spatial database management, statistical analysis, and georeferencing workflows.

• Physics
• Chemistry
• Machine Learning
• +5 more

Giuseppe De Luca is a Research Fellow at the Department of Physics and Chemistry - Emilio Segrè, University of Palermo. His work spans interdisciplinary domains including theoretical physics, biophysics, machine learning, and social dynamics. Research Themes : Model averaging techniques, liquid-liquid phase separation, quantum complexity, holography, and social exclusion effects in education. Methodologies : Bayesian inference, multiscale analysis, and machine learning optimization. Recent publications focus on weighted-average least squares estimation, structural degradation in biomaterials, and virtual reality applications in psychological research. He contributes to the SHARE project with statistical expertise in survey weighting and imputation strategies.