جست‌وجوی استاد و پژوهشگر

• Civil Engineering
• Structural Engineering
• Machine Learning in Structural Engineering
• +۴ مورد دیگر

Giuseppe Carlo Marano is a Full Professor at the Department of Structural, Building and Geotechnical Engineering at Politecnico di Torino. He is also a component of the SISCON Interdepartmental Center for Infrastructure Safety. With expertise in civil and structural engineering, his work focuses on machine learning applications, seismic risk reduction, and sustainable structural optimization. Education Graduated cum laude in Structural Engineering from Polytechnic University of Bari PhD in Structural Engineering from University of Florence (2000) Research Interests Marano's research spans structural optimization, seismic engineering, and machine learning applications in civil infrastructure. He develops advanced computational models for: Seismic retrofitting of existing structures Optimization of steel and masonry structures Recycled materials in concrete production AI-driven structural health monitoring Multiobjective design methodologies Publication Trends His recent work emphasizes: Machine learning for concrete mix design and damage assessment Optimization of gridshells and arch structures Seismic isolation systems and vibration control Sustainable construction practices with recycled materials Multiobjective genetic algorithms for structural design Scientific Recognitions National Scientific Qualification - First Band (2013, MIUR Italy) Certificate of Appreciation for Outstanding Lecture (2012, China) Academic Contributions As an educator, he teaches: Consolidamento Strutturale (Structural Consolidation) Dinamica delle Vibrazioni Random (Random Vibration Dynamics) Progettazione Generativa (Generative Design) He also leads Challenge@PoliTo initiatives and contributes to national infrastructure safety regulations. Research Projects ADAPT4CE - Adaptive Digital Systems for Circular Economy (2025-2028) AI-ENVISERS - AI for Seismic Retrofit Environmental Impact (2023-2025) ADDOPTML - Additive Manufacturing Optimization (2021-2025)

Antonella Poggiمشاهده پروفایل

دانشیار

• Database Theory
• Data Integration and Exchange
• Knowledge Representation and Reasoning
• +۷ مورد دیگر

Antonella Poggi is an Associate Professor in the Department of Computer, Control and Management Engineering (DIAG) at Sapienza University of Rome, holding the position in Computer Science and Engineering (IINF-05/A). She recently obtained the National Scientific Qualification as full professor in July 2024. Her research interests include: Database theory, data integration, and exchange Knowledge representation and reasoning Ontologies, knowledge graphs, and Description Logics Data governance and personal information management Metamodeling and semi-structured data Recent publications (2021-2025) demonstrate a consistent focus on ontology-based data access, with key contributions in query answering, data abstraction, and knowledge graph semantics. Her work bridges theoretical foundations with practical applications, as evidenced by co-founding OBDA Systems Srl. Dr. Poggi has led the MODEUS research project (MIUR SIR) and participated in international collaborations. She is an active member of the academic community, serving as General Chair for IRCDL 2024 and CIKM 2026, and Program Co-Chair for multiple conferences including KEOD and ODOCH. Her academic service includes extensive program committee memberships for top conferences (ICDT, EDBT, AAAI, etc.) and leadership in organizing workshops and conferences in digital libraries and knowledge engineering.

Giuseppe Santucciمشاهده پروفایل

دانشیار

• Visual Analytics
• Information Visualization
• Human-Computer Interaction
• +۳ مورد دیگر

Giuseppe Santucci is an Associate Professor at the Department of Computer, Control and Management Engineering Antonio Ruberti at Sapienza University of Rome. He teaches courses on Fundamentals of Computer Science, Software Engineering, and Visual Analytics. His office is located in Room B218 at Via Ariosto 25, Rome, and his contact email is santucci@diag.uniroma1.it. Dr. Santucci's research focuses on Visual Analytics, Information Visualization, Human-Computer Interaction, and Information Retrieval. His work spans theoretical aspects of visual query languages for semantic models to practical applications in visual analytics for cybersecurity, cryptocurrencies, and deep learning explainability. He has published over 130 articles in international journals and conferences, demonstrating his significant contributions to these fields. His recent publications show a strong trend toward applying visual analytics to increasingly complex domains including cybersecurity, cryptocurrencies, and explainable AI. The work demonstrates an evolution from theoretical foundations of visual query systems to practical applications that help users understand complex data and systems. His research bridges the gap between theoretical computer science and practical user-centered solutions. Dr. Santucci has received notable recognition including: IEEE VizSec 2018 Best Paper Award Human-Computer Interaction Cybersecurity Awards 2018 He actively mentors students through thesis projects focused on information visualization and visual analytics. His PROMISE project provides a framework for students to engage in cutting-edge research in information retrieval and visual analytics. He has supervised work on topics including visual evaluation techniques, visual mappings optimization, and user studies for Infovis systems. Dr. Santucci leads the A.WA.RE (Advanced Visualization & Visual Analytics REsearch) group at Sapienza University. This group conducts research on visual analytics tools for information retrieval evaluation, cybersecurity analysis, and deep learning explainability. Their work includes developing frameworks like CryptoComparator for cryptocurrency analysis and BUCEPHALUS for cybersecurity platform analysis.

• Computer-Assisted Text Analysis
• Epistemic Wars
• Technoscientific Conflicts
• +۷ مورد دیگر

Giuseppe Tipaldo is an Associate Professor at Politecnico di Torino's Department of Control and Computer Science (DAUIN), with affiliations to the SmartData@PoliTO Big Data and Data Science Laboratory and the DBDM Database and Data Mining Group. His interdisciplinary work bridges Sociology, Science and Technology Studies, and Digital Media Research. Research interests focus on epistemic instability, technoscientific conflicts (anti-vax, pseudoscience, infrastructure opposition), and methodological innovations in Computer-Assisted Text Analysis. He explores intersections between postmodern relativism and contemporary epistemic wars, examining truth negotiation in political decision-making and Gen-AI's impact on research methodologies. Recent publications analyze: 2024: Vaccine hesitancy trust dynamics in Europe 2023: Epistemic authority transitions in social media and science-society relations 2022: Xylella fastidiosa epidemics as epistemic wars and pandemic expert discourses He contributes to editorial boards (Italian Review of Sociology, Sinapsi) and serves on advisory panels for Circular Economy symposia. Teaching spans Master's and Doctoral programs in Management Engineering, Cybersecurity, and Communication Sciences.

Diego Calvaneseمشاهده پروفایل

استاد

• Knowledge Representation and Reasoning
• Virtual Knowledge Graphs
• Ontology-based Data Access and Integration
• +۷ مورد دیگر

Diego Calvanese is a Full Professor in Computer Engineering at the Faculty of Engineering of the Free University of Bozen-Bolzano, Italy. He serves as Spokesperson of the Institute of Computer Science and Artificial Intelligence and Director of the Smart Data Factory technology transfer lab at NOI Techpark. As Coordinator of the Intelligent Integration and Access to Data (In2Data) research group, part of the Research Centre for Knowledge and Data (KRDB), he leads significant research initiatives in knowledge representation and data management. Calvanese's research focuses on virtual knowledge graphs for data access and integration, ontology-based data access, description logics, semantic web technologies, graph data management, and verification of data-aware processes. His work bridges theoretical foundations with practical applications through the Ontop framework, which enables SPARQL query answering over OWL 2 QL ontologies connected to external data sources. His research has substantial practical impact, powering the South Tyrol Open Data Hub Knowledge Graph and supporting numerous European and national research projects. With more than 400 refereed publications and over 39,000 citations (h-index 80), Calvanese's recent work demonstrates continued leadership in virtual knowledge graphs, ontology-based data federation, explainable AI through knowledge representation, and integration of complex data types including 3D city models and raster data. His publications show a clear trajectory from theoretical foundations toward increasingly practical and applied research addressing real-world data integration challenges across multiple domains. ACM Fellow (2019) EurAI Fellow (2015) AAIA Fellow Program Chair of PODS 2015 and KR 2020 General Chair of ESSLLI 2016 Calvanese has secured significant research funding through numerous competitive projects including EU H2020 INFRAEOS Project (INODE), Italian PRIN Project (HOPE), FESR Project (IDEE), and EU FP7 IP Project (Optique), totaling close to 6.4M Euro. As an originator and co-founder of Ontopic, the first spin-off of the Free University of Bozen-Bolzano, he has successfully translated research into commercial applications. He serves as Associate Editor of Artificial Intelligence (AIJ) and has participated in over 200 program committee roles for international conferences. As Director of the Smart Data Factory technology transfer lab and coordinator of the In2Data research group, Calvanese bridges academic research with industry applications, focusing on practical implementations of knowledge graph technologies. His work with the KRDB Research Center has established Bozen-Bolzano as a significant hub for knowledge representation and data management research in Europe.

• Flood Hydrology
• Hydrology
• Water Resources
• +۸ مورد دیگر

Alberto Viglione is an Associate Professor at the Politecnico di Torino , Department of Environment, Land and Infrastructure Engineering (DIATI), and a member of the Interdepartmental Center SmartData@PoliTO. He has been a faculty member since 2019, following a decade as a Research Fellow at the Vienna University of Technology. University: Politecnico di Torino Department: DIATI – Department of Environment, Land and Infrastructure Engineering Rank: Associate Professor Email: alberto.viglione@polito.it His research focuses on flood hydrology, water resources, and hydro-meteorological extremes , integrating statistical analysis, climate change impacts, land use dynamics, and socio-hydrological modeling. He investigates the spatio-temporal dynamics of climatic, hydrological, and human processes in river basins and their implications for extreme event risks. His work emphasizes data integration, conceptual modeling, and risk assessment across scales. The recent publications highlight a strong trend in analyzing European flood dynamics , the impacts of climate change , and the development of socio-hydrological frameworks that incorporate human behavior and societal memory into flood risk modeling. His research spans from statistical hydrology in ungauged basins to large-scale assessments of climate-flood interactions. Scientific Awards and Honors: AMGA Award for best PhD thesis on water resources (2009) Editorial and Professional Service: Associate Editor, Water Resources Research (2014–present) Associate Editor, Hydrological Sciences Journal (2012–2018) Associate Editor, WIRES Water (2012–2020) Associate Editor, Journal of Hydrology and Hydromechanics (2019–present) Scientific Committee Member, European Geosciences Union (2019–2023) Secretary, International Commission on Water Resources Systems, IAHS (2015–present) Teaching and Advising: He teaches courses such as Bayesian Inference , Applied Hydrology , Fundamentals of Environmental Geosciences , and Hydro-meteorological Risk Assessment . He is a PhD supervisor and member of multiple PhD colleges in Civil and Environmental Engineering at Politecnico di Torino. He currently advises PhD students including Tsion Ayalew Kebede , Emanuele Mombrini , Luigi Cafiero , Luca Lombardo , and Matteo Pesce . His research is supported by grants from national (PRIN), EU, and commercial sources, including projects like Clim2FlEx , RETURN , and ATO4WATER . Research Labs and Teams: He is affiliated with the SmartData@PoliTO laboratory, focusing on big data and data science applications in hydrology and environmental systems.

Antonella Bassoمشاهده پروفایل

استاد

• Financial Mathematics
• Quantitative Finance
• Computational Finance
• +۸ مورد دیگر

Antonella Basso serves as a Full Professor in the Department of Economics at Ca' Foscari University of Venice, specializing in mathematical methods of economics and actuarial and financial sciences (STAT-04/A). She is affiliated with the Research Institute for Complexity and maintains her office in the San Giobbe building where she holds regular office hours on Tuesdays from 2:00 pm to 5:00 pm CET. Professor Basso's research expertise spans multiple domains of quantitative finance and economics, with particular emphasis on Financial Mathematics , Quantitative and Computational Finance , and Ethical Finance including ESG investments and green finance. She has pioneered the application of Data Envelopment Analysis (DEA) across diverse contexts from mutual funds and pension funds to museum evaluation. Her work increasingly explores the integration of Artificial Intelligence and Machine Learning techniques for economic applications, alongside traditional risk assessment methodologies. She also maintains significant research interests in art as a financial asset and alternative investment class. Her recent publications (2019-2025) reveal a consistent research trajectory with growing emphasis on sustainable finance, alternative investments including art, and performance measurement in cultural institutions. Her work demonstrates sophisticated methodological approaches to portfolio optimization with volume-based liquidity constraints, ethical fund evaluation using metafrontier approaches, and innovative integration of DEA with Balanced Scorecard and AHP methodologies for comprehensive performance assessment. As an educator, Professor Basso actively supervises undergraduate and master's theses on topics spanning financial mathematics, computational finance, insurance, and ethical finance applications. She requires preliminary discussions with students to ensure appropriate thesis topic alignment with research objectives and methodological capabilities. Through her affiliation with the Research Institute for Complexity, she contributes to interdisciplinary research examining complex economic and financial systems through quantitative lenses, bridging theoretical mathematical approaches with practical financial applications across multiple sectors.

• Data Science
• Concept-Drift Management
• Database Systems
• +۱۲ مورد دیگر

Tania Cerquitelli is a Full Professor in the Department of Control and Computer Science (DAUIN) at Politecnico di Torino, where she leads research in data science, concept-drift management, and inclusive AI technologies. She is a member of SmartData@PoliTO, the GEDI Observatory for Gender Equality, and serves in leadership roles related to social affairs and community policies at the university level. She also acts as a scientific advisor for the partnership with Accenture. Her research interests span Data Science , Concept-Drift Management , Database Systems , Conversational Data Science , and Industry 4.0 . She applies AI and machine learning to industrial, societal, and ethical challenges, particularly in promoting inclusive communication and gender equality in research. The most recent publications highlight her work in explainable AI, concept drift detection, multimodal diagnostics, and AI for social good. Her research integrates machine learning, natural language processing, and computer vision to address real-world problems in manufacturing, healthcare, agriculture, and education. She is an Associate Editor for several prestigious journals including Expert Systems with Applications , Computer Networks , Future Generation Computer Systems , and Knowledge and Information Systems . She has served on the program committees of major conferences such as ECML PKDD, EDBT/ICDT, and ACM KDD, and has been a reviewer and selection committee member for ETH Zurich and EMPA. She actively supervises PhD students and teaches a wide range of courses including Data Science and Database Technologies, Business Intelligence for Big Data, and Gender and Diversity in Research. She is involved in multiple national and international research projects such as E-MIMIC, WEBFARE, and EnABLES, focusing on inclusive AI, smart data, and industrial applications. Her lab affiliations include the DBDM - Database and Data Mining Group (DAUIN) and the Interdepartmental Center SmartData@PoliTO - Big Data and Data Science Laboratory , where she contributes to advancing data science methodologies and their societal impact.

Marina Ungerمشاهده پروفایل

پژوهشگر

• Archaeology
• History of Archaeology
• Media in Archaeology
• +۴ مورد دیگر

Marina Unger is a scientific collaborator at the Photographic Collection of the Bibliotheca Hertziana – Max Planck Institute for Art History since February 2025. She studied Classical Archaeology and Art History at Philipps University of Marburg, University of Naples ‘L'Orientale’, and Humboldt University of Berlin, earning a Magister Artium in 2010. In 2020–2021, she completed a Master’s degree in Literary Translation for Italian at Ludwig Maximilian University in Munich. Her current doctoral thesis focuses on Greek vase drawings within the archaeological apparatus of the Instituto di Corrispondenza Archeologica in Rome. Education: Magister Artium (Humboldt University, 2010), Master’s in Literary Translation (LMU Munich, 2021) Her research bridges archaeology , media history , and archival studies , emphasizing nineteenth-century documentation practices like vase drawings and early photography. She contributes to provenance research and digital humanities projects. Recent work includes the DFG-funded Gelehrte, Ausgräber und Kunsthändler project, analyzing the networks of the German Archaeological Institute through correspondence and linked data infrastructure. Collaborations span institutions like the German Archaeological Institute (DAI) and Scuola Normale Superiore in Pisa, with publications on Etruscan tomb paintings, Greek vases, and antiquities trade dynamics. Prior roles include: student assistant at Bildarchiv Foto Marburg, IT department member at Kunsthistorisches Institut in Florence, and research assistant at DAI Archives in Berlin. She has also worked as a freelance translator/editor and project manager.

• Big data analytics
• Data analysis
• Data management
• +۸ مورد دیگر

Daniele Apiletti is an Associate Professor at the Polytechnic University of Turin , affiliated with the Department of Control and Computer Engineering (DAUIN). He serves as a member of the Interdepartmental Center SmartData@PoliTO and acts as Academic Advisor for the Master's degree program in Data Science and Engineering. Research Groups: DBDM - Database and Data Mining Group (DAUIN) ERC Sectors: Algorithms, Artificial Intelligence, Machine Learning, Web and Information Systems Research Interests span Big Data Analytics, Data Science, Machine Learning, Computer Vision, and Quantum Computing. His work focuses on integrating data-driven and theory-guided approaches for heterogeneous data querying, cloud continuum machine learning, and spatio-temporal models for crisis management. Recent Publications highlight trends in medical image segmentation, predictive industrial modeling, and fault-tolerant data systems. Key subfields include AI in healthcare, scalable manufacturing analytics, and vision-language models for game tutorials. Teaching roles include course ownership of Big Data: Architectures and Data Analytics and Internships across multiple academic years. He has collaborated on courses in Data Science, Database Technologies, and Data Management. PhD Students Supervised: Etibar Vazirov (Cloud Continuum Machine Learning) Gabriele Scaffidi Militone (Cloud Storage Microservices) Daniele Rege Cambrin (Spatio-Temporal Ecology Models) Simone Monaco (Theory-Guided Data Science) Research Projects include commercial contracts on: - Natural language querying of corporate research archives - National tourism ecosystem platforms - AI for thermotechnical system design - Machine Learning in clinical trials and supply chains

• Algorithms
• Data Structures
• Pattern Matching
• +۳ مورد دیگر

Simon J. Puglisi is a Professor in the Department of Computer Science at the University of Helsinki. His research focuses on algorithms, data structures, pattern matching, and data compression, with applications in bioinformatics and genomics. He has collaborated extensively with researchers in the field, including Travis Gagie, Juha Kärkkäinen, and Andrew Turpin. His work spans theoretical computer science and practical applications in genomic data processing and efficient indexing techniques. Key research interests include genome sequencing algorithms, efficient compression methods (e.g., Lempel-Ziv and relative Lempel-Ziv), and the development of succinct data structures for handling large genomic datasets. His contributions to suffix arrays, wavelet trees, and de Bruijn graphs have advanced computational methods in bioinformatics and information retrieval. Puglisi's articles frequently address challenges in text indexing, error correction in short-read sequencing, and optimizing algorithms for scalability. He is known for his work on self-indexing techniques and the SHREC error correction method for genomic data. His research bridges theoretical algorithm design with real-world applications in high-throughput sequencing and large-scale data management.

• Structural Health Monitoring (SHM)
• Smart / self-sensing cementitious composites
• Bridge engineering and life-cycle assessment
• +۶ مورد دیگر

Filippo Ubertini is Professor of Civil and Environmental Engineering at the University of Perugia, Italy, where he coordinates the International Doctoral Programme in Civil & Environmental Engineering and represents the University inside the FABRE national bridge-research consortium. He leads the Structural Health Monitoring Laboratory ( SHM-Lab ) and is the primary contact for assignments linked to smart-infrastructure research. Education: While explicit degrees are not listed in the supplied text, his role as programme coordinator and full professor implies completion of a PhD and habilitation in Civil Engineering. Research focus: Ubertini’s work sits at the intersection of smart materials and data-driven infrastructure management . He develops self-sensing cementitious composites doped with carbon micro-fibers or graphene nano-platelets that can measure strain, cracking and moisture in real time, turning whole bridges and buildings into distributed sensors. Complementary research threads include low-cost acquisition electronics, UAV & InSAR remote sensing, Bayesian & adversarial machine-learning algorithms for damage detection, digital twins and life-cycle cost analysis of bridge networks. Publication trends (2024-2025): Roughly 30 peer-reviewed items per year concentrate on (i) AI-enhanced operational modal analysis and transfer-learning damage classification across bridge populations, (ii) experimental characterisation of 3D-printed and cast self-sensing concrete, (iii) full-scale validation on curved box-girder, masonry and railway bridges, and (iv) integration of satellite radar data with numerical collapse simulations to predict residual service life of landslide-affected viaducts. Scientific awards & recognition: No specific prizes or fellowships are mentioned in the provided text. Doctoral supervision & grants: The text does not enumerate individual students or funded projects; however, his coordination of an international PhD programme and numerous experimental campaigns imply sizeable supervisory and funding responsibilities. Laboratory & team: Ubertini heads the SHM-Lab at UniPg, maintaining facilities for material mixing, 3D concrete printing, electrical impedance tomography, UAV photogrammetry, and large-scale structural testing, while collaborating with the European FABRE consortium and multiple EU projects.

• Geomatics
• 3D Modeling
• Digital Photogrammetry
• +۸ مورد دیگر

Filiberto Chiabrando is an Associate Professor at the Department of Architecture and Design (DAD) of Politecnico di Torino, with a secondary appointment as Adjunct Associate Professor at Michigan Technological University (USA). He serves as Deputy Coordinator of the Doctoral College for Architectural and Landscape Heritage and is Secretary of the ISPRS Working Group on UAS & Small Multi-sensor Platforms. His work bridges geomatics, photogrammetry, and cultural heritage preservation. Academic Affiliations Politecnico di Torino (Main Institution) Michigan Technological University (Adjunct Appointment) Research Leadership Coordinator of PIC4SeR Interdepartmental Center Principal Investigator for HERITALISE, Common Grounds, POSEIDON, ARCHIM3DES, and ResCult projects Chiabrando's research focuses on 3D modeling , UAV photogrammetry , underwater cultural heritage documentation , and HBIM-GIS integration . He specializes in SLAM systems , laser scanning , and rapid mapping for architectural conservation. His work aligns with SDGs 9 (Innovation), 11 (Sustainability), and 17 (Partnerships). His recent projects emphasize multitemporal marine vegetation mapping (POSEIDON), cloud-based heritage digitization (HERITALISE), and advanced 3D metric surveying in marine environments (ARCHIM3DES). He has developed open-source education platforms like POSER for underwater photogrammetry training. Scientific Awards Licinio Ferretti Award (ASITA, 2009 & 2010) Best Paper Awards: Sensors (2013), CIPA (2013) Editorial Roles Editorial Board: Geomatics Journal (2021-), ISPRS International Journal (2019-) As a PhD advisor, he has mentored 7 doctoral students in architectural heritage, including Alessio Calantropio (2019-2023) on underwater heritage and Alessandra Spreafico (2019-2023) on the Turin 1911 Exposition. He leads commercial contracts with organizations like DJI GmbH, World Food Programme, and UNICEF for UAV and geospatial applications.

Maria Laura CARRANZAمشاهده پروفایل

استاد

• Ecology
• Remote Sensing
• Plant Invasion Dynamics
• +۵ مورد دیگر

Prof. Maria Laura CARRANZA is a Full Professor at the University of Molise, Department of Biosciences and Territory. Her work focuses on ecology, remote sensing, and environmental conservation, particularly in Mediterranean coastal ecosystems. She leads the Envix Lab, emphasizing vegetation mapping, invasive species dynamics, and climate change impacts. Her research integrates multi-source remote sensing (e.g., Sentinel, UAVs) with field data to assess biodiversity, dune ecosystems, and human-environment interactions. Key projects include monitoring plant invasions (e.g., Acacia saligna), coastal resilience, and citizen science contributions to ecological data collection. Education background and formal qualifications are not explicitly detailed in the provided text. Her research spans over 15 years, with recent emphasis on Mediterranean dunes, urban biodiversity, and global change effects on alpine grasslands. She collaborates internationally, notably in Argentina (Gran Chaco forests) and Pakistan (yak herding dynamics). Research interests include functional traits of plant communities, spectral diversity metrics, and conservation strategies for threatened ecosystems. Her work highlights the role of protected areas in mitigating litter accumulation and preserving cultural services. She has contributed to policy frameworks like Natura 2000 and the EU’s Invasive Species Directive through applied research. Publications emphasize the synergy between remote sensing and field ecology, with over 30 peer-reviewed articles since 2016. Her work on Acacia saligna invasion models and dune eco-geomorphology via UAVs has advanced management practices. She also explores educational innovations, such as online course efficacy for field subjects like bird recognition.

Agostino Cortesiمشاهده پروفایل

استاد

• Software Engineering
• Static Analysis
• Cybersecurity
• +۵ مورد دیگر

Agostino Cortesi is a Full Professor at Ca' Foscari University of Venice , affiliated with the Department of Environmental Sciences, Informatics and Statistics. He serves as Rector's Delegate for Research Quality Assessment and Deputy Coordinator of the Scientific Committee for the Innovation Ecosystem Project. His academic career includes a PhD in Applied Mathematics and Informatics from the University of Padova (1992), a postdoctoral fellowship at Brown University, and visiting professor roles at institutions such as the University of Illinois and École Normale Supérieure Paris. Research interests focus on software engineering , static analysis , security applications , and abstract interpretation . He has pioneered techniques for formal verification of software systems and explored cybersecurity in e-Government and robotics. His work spans over 200 publications in top journals and conferences (e.g., ACM TOPLAS, IEEE TSE, POPL, PLDI). Key contributions include advancements in abstract domains for behavioral property verification and security-oriented analysis frameworks. He has held leadership roles including Vice-Rector at Ca' Foscari, Dean of Computer Science programs, and Chair of the Department of Computer Science. Cortesi coordinates EU Horizon 2020 projects (e.g., Families_Share €1.6M) and regional initiatives like CEVID (€360K). He founded Factors , a university spin-off focused on robotic systems verification, which won the 2020 Veneto SmartCup ICT Prize. Education: PhD in Applied Mathematics and Informatics (1992, University of Padova) Editorial Roles: Co-Editor-in-Chief of Springer’s 'Services and Business Process Reengineering', and member of editorial boards for 'Computer Languages' and others Grants: Over €3M in EU and regional funding for projects in cybersecurity, Industry 4.0, and digital innovation Teaching includes courses on Software Correctness , Data Programming , and Computer Networks across Computer Science and Management programs. His research lab actively engages in industrial partnerships with Cisco, Leonardo, and AGID (Italy’s Digital Agency).