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

• Fluvial Geomorphology
• Sediment Transport
• Flood Risk Assessment
• +۴ مورد دیگر

Dr. Vittoria Scorpio is a tenured Associate Professor at the Department of Chemical and Geological Sciences , University of Modena and Reggio Emilia (Italy). She teaches Hydraulic Risk and Geographic Information Systems (GIS) and Digital Cartography courses within the Geosciences, Georisks and Georesources and Geological Sciences degree programs. Her work bridges fluvial geomorphology with environmental sustainability , focusing on sediment transport dynamics , flood hazard modeling , and river restoration . Hydraulic Risk course integrates fluvial geomorphology , flood mitigation , and IDRAIM methodology GIS and Digital Cartography emphasizes QGIS software , geospatial analysis , and digital mapping Her research spans multi-decadal river evolution in the Alps and Apennines , examining anthropogenic impacts (gravel mining, channelization, dams) and natural drivers (climate change, tectonics). Key studies include extreme sediment transport during the 2022 Misa River flood , debris flow connectivity in the Dolomites , and post-Little Ice Age river adjustments . She employs multi-temporal GIS analysis , field surveys , and international collaborations across Italy, Austria, and Brazil. Recent publications in Earth Surface Processes and Landforms and Geomorphology analyze sediment connectivity in proglacial streams , anthropogenic sediment imbalance , and bio-geomorphological river restoration . Her work informs flood hazard modeling and sustainable river management frameworks, particularly in highly modified alpine rivers .

Matteo Cardelliniمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Automated Planning
• Robotics
• +۳ مورد دیگر

Matteo Cardellini serves as a Contract Professor in the Department of Naval, Electrical, Electronic, and Telecommunications Engineering (DITEN) and Researcher in the Department of Computer Science, Bioengineering, Robotics and Systems Engineering (DIBRIS) at the University of Genoa's Polytechnic School. He teaches core courses including Algorithms, Artificial Intelligence, and Artificial Intelligence for Robotics II across Computer Engineering and Robotics Engineering degree programs. His research centers on advancing Automated Planning systems with specialization in numeric/temporal planning, PDDL+ frameworks, and Answer Set Programming applications. Key focus areas include developing optimization algorithms for in-station train dispatching, urban traffic management, and healthcare rehabilitation scheduling, leveraging hybrid planning techniques and multi-scale deep learning models to solve complex real-world operational challenges. Recent publications (2020-2025) reveal a concentrated research trajectory in applying symbolic-numeric planning to transportation logistics (60% of output) and healthcare optimization (25%), characterized by innovative constraint-based approaches for dynamic environments. The work consistently bridges theoretical AI advancements with practical implementations in railway operations and medical resource allocation. Scientific Awards: No awards or fellowships documented in source materials Advising and grants information is unavailable in provided texts, with no student listings or funding acknowledgments evident. His research appears conducted within university-affiliated teams focused on AI planning systems, though specific lab structures or collaborative networks aren't detailed in the source documentation.

• Software Engineering
• Educational Technologies
• Process Mining
• +۳ مورد دیگر

Pasquale Ardimento is an Associate Professor in Software Engineering at the University of Bari Aldo Moro , specializing in AI-driven tools for software modeling and educational technologies. His work bridges computational intelligence with software development practices to enhance learning and maintenance processes. Ph.D. in Computer Science (2005), University of Bari, thesis: “A Technology for Global Software Development” Laurea in Computer Science (1999-2000), University of Bari, with full marks and honors His research focuses on: AI-enhanced software modeling tools like UML Miner , which logs user interactions for conformance checking and personalized feedback. Process mining techniques to analyze modeling behavior and detect misconceptions in software engineering education. Code analysis and bug-fixing time prediction using large language models (BERT, DistilBERT) and object-oriented design assessment. Just-in-time defect prediction via deep learning models (Temporal Convolutional Networks) for proactive software maintenance. Awarded the National Scientific Habilitation (ASN) in 2023 for permanent Associate Professor positions in Italy, he has served as a Program Committee member , Session Chair , and Workshop Organizer at international conferences (IJCNN, PROFES, HELMeTO) and as a reviewer for journals like IEEE Access and Journal of Systems and Software . His collaborations include the Pennine Research Group during a visiting researcher stay at Durham University (UK).

Fabrizio Fornariمشاهده پروفایل

استادیار

• Internet of Things (IoT)
• Digital Twins
• Business Process Management (BPMN)
• +۶ مورد دیگر

Fabrizio Fornari is an Assistant Professor in Computer Science at the University of Camerino (Italy), focusing on cutting-edge technologies like Internet of Things (IoT), Digital Twins, and Business Process Management (BPMN). His work bridges theoretical modeling with practical implementations, emphasizing formal verification and modern software development practices. Research Pillars: IoT programming paradigms (Fluidware, FloWare), Digital Twin applications for business processes, and formal BPMN verification. Technical Contributions: Development of model-driven frameworks (X-IoT, FloBP), 3D simulation tools for IoT platforms, and BPMN analysis utilities (BPMN Inspector, BProVe). Domain Applications: Earthquake response systems (SAFE), intelligent transportation data flows, and educational IoT test environments. Methodological Focus: Community detection algorithms for routine extraction, CI/CD optimization for databases, and systematic literature reviews on IoT-aware BPMN modeling. Collaborative Efforts: Active involvement in MIDas4CS workshops and repository platforms for process model sharing (RePROSitory).

Fausto FASANOمشاهده پروفایل

دانشیار

• Mobile Security
• Software Engineering
• Formal Methods
• +۵ مورد دیگر

Prof. Fausto FASANO is an Associate Professor at the University of Molise, affiliated with the Department of Bioscienze e Territorio. He specializes in cybersecurity, software engineering, and formal methods for mobile systems. His research focuses on Android security, privacy indicators, malware detection, and data anomaly analysis. He has published extensively on topics such as permission models, runtime verification, and biomedical informatics applications. His academic work spans over two decades, with contributions in software quality management, code smell analysis, and formal methods for security. Notable areas include dynamic approaches to defusing logic bombs in Android, empirical studies on privacy indicators, and the application of LLMs in medical diagnostics. Prof. FASANO's publications reflect a blend of theoretical and applied research, addressing challenges in both technical (e.g., mobile security, formal verification) and interdisciplinary domains (e.g., biomedical essential oils analysis). His work emphasizes practical tools like RPCDroid for permission context identification and ADAMS for artifact management systems. He has collaborated on projects involving traceability recovery in software systems and the integration of formal methods into security protocols. His research also touches on education, including blended learning strategies and software engineering pedagogy.

• Social Psychology
• Public Health Communication
• Behavioral Economics
• +۳ مورد دیگر

Folco Panizza is an Assistant Professor at the IMT School for Advanced Studies Lucca, affiliated with the MOMILAB research group. His work focuses on behavioral interventions, misinformation mitigation, and norm dynamics in digital spaces. He explores how social and cognitive mechanisms influence decision-making in contexts like public health, environmental behavior, and political communication. His research investigates topics such as vaccine hesitancy, the impact of social media on knowledge perception, and the design of effective nudges to promote pro-social behaviors. Recent studies include analyzing the role of cultural-historical perspectives in intervention design and evaluating the efficacy of medical expert endorsements in reducing vaccine skepticism. Panizza’s publications consistently address interventions against misinformation, with a focus on both theoretical frameworks (e.g., attitude entropy models) and practical applications (e.g., online experiment-driven solutions). His work bridges social psychology, behavioral economics, and computational methods, often employing large-scale experimental designs. Notable contributions include studies on the erosion of democratic norms following election outcomes and the effectiveness of crowdsourced fact-checking. His research highlights the interplay between individual attitudes and systemic societal structures, emphasizing the need for context-aware intervention strategies.

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

استاد

• Macroeconomics
• Labor Economics
• Productivity
• +۵ مورد دیگر

Antonella Trigari is a Full Professor at the Department of Economics, Bocconi University. She previously served as an Associate Professor of Economics at the same institution and earned her PhD in Economics from New York University. Her affiliations include being a Fellow of the European Economic Association (EEA), a Research Fellow at CEPR, IGIER, and Baffi Carefin Centre, and a member of the Euro Area Business Cycle Dating Committee (2019-2023). She currently directs Bocconi's MSc in Economic and Social Sciences (ESS) since 2019 and has been the Editor-in-Chief of The B.E. Journal of Macroeconomics since 2023. Her research focuses on labor economics, macroeconomics, and productivity analysis. She explores topics such as unemployment dynamics, total factor productivity (TFP) growth, monetary policy uncertainty, and fiscal multipliers. Her work integrates labor market frictions, wage bargaining, and business cycle modeling. Recent publications highlight her interest in utilization-adjusted TFP measures, unemployment stabilization policies, and labor market responses during crises like the Great Recession and the Covid-19 pandemic. These contributions span economic policy design, cross-country productivity comparisons, and the interplay between financial markets and employment. Fellow of the European Economic Association (EEA) Research Fellow at CEPR, IGIER, and Baffi Carefin Centre She has also held leadership roles in academic committees, including membership in the European Search and Matching (SaM) Research Group's Steering Group since 2024 and editorial responsibilities for the Journal of Monetary Economics. Her teaching portfolio includes advanced courses in monetary theory, macroeconomics, and applied economic policy.

• Physical Layer Security
• 6G Network Security
• Wireless Communications
• +۲ مورد دیگر

Dr. Simone Soderi is an Assistant Professor at IMT School for Advanced Studies Lucca within the SySMA research unit, with additional adjunct appointments at the University of Padua and University of Oulu. He holds a doctoral degree from the University of Oulu specializing in industrial wireless communications security. Research focuses on cybersecurity for hybrid wireless systems including physical layer security for 6G networks, optical wireless communications security, covert channel detection, and critical infrastructure protection. Recent projects investigate RIS-aided visible light communication security, federated learning vulnerabilities, and railway cybersecurity frameworks. Professional service includes Senior IEEE membership, editorial roles for IEEE Transactions on Information Forensics and Security, and coordination for national cybersecurity initiatives. Teaching encompasses graduate courses on security in hybrid wireless communications and risk management certifications. Patent portfolio includes innovations in vehicular communication security and distance estimation systems. Laboratory activities involve the CINI National Laboratory for Cybersecurity and collaborations within international research consortia including COST Action CA22168 for 6G physical layer security.

Sabina Rossiمشاهده پروفایل

استاد

• Formal Methods
• Distributed Systems
• Markovian Models
• +۳ مورد دیگر

Sabina Rossi is a Full Professor in the Department of Environmental Sciences, Informatics and Statistics at Ca' Foscari University of Venice, where she also serves as Rector's Delegate for digital innovation in teaching. Her research develops formal methods for analyzing distributed systems with mobility and concurrency, specializing in process algebraic techniques for performance evaluation, verification, and dependability analysis of complex systems. Recent work extends to Markovian models for wireless networks, blockchain verification, and neural network compression. Her research investigates foundational models of distributed systems, with current emphasis on reversible computation, proportional lumpability in Markov chains, and blockchain security properties. She applies formal methods to analyze information flow security, model checking, and performance evaluation of stochastic systems. Recent publications (2020-2025) address queueing models with job stealing policies, blockchain verifier's dilemma, selfish mining attacks, and neural network compression via formal methods. Teaching responsibilities include 'Formal Methods for System Verification' in the Computer Science graduate program, 'Discrete Structures' for undergraduates, and foundational computer science courses for humanities students. She maintains office Z.B01 at the university's Scientific Campus via Torino in Venice.

Carlo Martiniمشاهده پروفایل

دانشیار

• Philosophy of Science
• Social Epistemology
• Methodology of the Social Sciences
• +۳ مورد دیگر

Carlo Martini is an Associate Professor of Logic and Philosophy of Science at the University of San Raffaele (Milan), affiliated with the Faculty of Philosophy. He leads a research team studying disinformation in media using tools from social epistemology and experimental social sciences. His work bridges philosophy of science, social epistemology, and policy analysis. Education PhD in Philosophy, Tilburg University (2008–2011) Master’s in Philosophy and Public Policy, University of Padua (2005–2007) Visiting Studies: UCLA (2006–2007), University of St Andrews (2004–2005) Bachelor’s in Philosophy, University of Padua (2002–2005) Research Interests Martini focuses on social epistemology, science-policy interactions, and the epistemology of expertise. He explores how scientific evidence shapes public policy and how expertise is communicated in complex societal contexts. His recent work addresses disinformation dynamics and expert credibility in digital spaces. Grants & Awards ERC H2020 Grant (€2.9M) for PERITIA Project (2020–present) PRIN Grant (€634K) for “From Models to Decisions” (2018) Finnish Cultural Foundation Grants (€100K) for policy-making research (2015–2019) Advising & Mentorship Supervised ~25+ theses and currently mentors PhD candidates Luca Ausili and Monica Consolandi. Oversees postdocs Mara Floris and Piero Ronzani. Leads training programs on misinformation detection for students and researchers. Labs & Initiatives Directs the research team at UniSR analyzing media disinformation. Collaborates with the Helsinki Centre for Philosophy of Social Sciences and coordinates the PERITIA project’s behavioral tools for trust-building in policy contexts.

Lorenzo Rossiمشاهده پروفایل

استادیار

• Process Mining
• Robotics
• Business Process Management (BPM)
• +۵ مورد دیگر

Lorenzo Rossi is an Assistant Professor specializing in the intersection of process mining, robotics, and business process management (BPM). His research focuses on advancing methodologies for analyzing robotic systems, IoT environments, and collaborative processes through formal models like BPMN. Key areas include process discovery, digital twins, and system resilience in smart environments. Expertise: Process Mining, Multi-Robot Systems, BPMN Semantics, Cyber-Physical Systems Key Tools: BEAR (BPMN animator), MIDA (multi-instance animator), UBBA (Unity-based BPMN animator) His work emphasizes reproducibility and practical frameworks for rapid prototyping. Recent trends in his articles highlight the integration of process mining with robotics for data-driven decision-making, as well as formal verification of BPMN collaborations to ensure system correctness. Awards: None explicitly mentioned in the provided texts. Advising & Grants: No student/advisor relationships or grant details documented here. Labs/Teams: Collaboration with Unity-based simulation tools (UBBA, MIDA) and serious game platforms (PlayWithUnicam).

Francesca Scozzariمشاهده پروفایل

دانشیار

• Abstract Interpretation
• Static Analysis
• Numerical Domains
• +۳ مورد دیگر

Francesca Scozzari is an Associate Professor of Computer Science in the Department of Science, Faculty of Economics at the University of Chieti-Pescara. She has maintained an active academic career since at least 2006, teaching computer science courses across multiple academic programs including Economics, Humanities, and Biomedical disciplines. Dr. Scozzari's research centers on abstract interpretation , with particular expertise in numerical domains and static program analysis . Her work bridges theoretical foundations with practical applications, developing precise analysis techniques for program verification and optimization. She has made significant contributions to understanding observational completeness, optimal semantics, and the implementation of numerical abstract domains. Analysis of her publication record reveals a consistent research trajectory focused on improving the precision and efficiency of abstract domains. Her work spans theoretical contributions (completeness properties, optimal semantics) to practical implementations (Jandom, Random). A notable trend is her application of mathematical techniques like principal component analysis to domain construction, demonstrating interdisciplinary thinking that connects computer science with numerical methods. Dr. Scozzari has developed important analysis tools including: Jandom (JVM-based Analyzer for Numerical DOMains) for Java program analysis Random (R-Based Analyzer for Numerical DOMains) leveraging statistical computing She actively contributes to the academic community through workshop organization (Numerical and Symbolic Abstract Domains, Geometry and Computer Science) and teaching diverse computer science courses ranging from foundational programming to specialized topics like Abstract Games and Go. Her teaching portfolio demonstrates exceptional versatility in adapting computer science concepts for students across economics, humanities, and biomedical fields.

Maurice ter Beekمشاهده پروفایل

پژوهشگر

• Formal Methods
• Software Engineering
• Railway Systems
• +۵ مورد دیگر

Maurice ter Beek is a Senior Researcher at the Formal Methods and Tools (FMT) Group of the Institute of Information Science and Technologies (ISTI) , part of the Italian National Research Council (CNR) in Pisa, Italy. He leads the FMT Lab since 2019 and coordinates critical projects like ADVENTURE (railway systems evaluation) and T-LADIES (typeful language adaptation). He serves as Editor-in-Chief of Formal Aspects of Computing and holds editorial roles in journals like Science of Computer Programming . His career spans academic leadership in international conferences (chair of ETAPS 2026 , RSSRail 2025 , etc.) and extensive collaborations in formal methods, railway systems, and software product lines. Research Interests: His work focuses on formal methods applied to industrial critical systems, particularly railways, with expertise in variability modeling, attack-defense trees, contract automata, and team automata. Publications address quantitative analysis of reconfigurable systems model checking for railway safety empirical studies on formal methods security risk modeling collaborative software engineering Scientific Awards: ERCIM Fellowship (2003, 2002) SegraVis Fellowship (2005) Best Paper at SPLC 2019 Best Paper at ICIW 2007 Socrates Grant (EU, 2000-2001) Additional Roles: He is a faculty member of the joint PhD program in Smart Computing (Florence, Pisa, Siena), member of ISTI’s Institute Council, and coordinates CNR’s involvement in the PNRR National Sustainable Mobility Centre . His global engagement includes over 50 conference organizing roles and editorial board memberships.

Mieke Massinkمشاهده پروفایل

پژوهشگر

• Formal Methods
• Concurrency Theory
• Process Algebras
• +۴ مورد دیگر

Dr. Mieke Massink is a Senior Researcher at the Institute of Information Science and Technologies 'Alessandro Faedo' (ISTI) under the Consiglio Nazionale delle Ricerche (CNR) in Pisa, Italy. Her career spans over three decades with key roles in formal verification, human-computer interaction (HCI), and collective adaptive systems. Research Interests: Formal specification & verification of concurrent systems Spatial/spatio-temporal model checking Collective adaptive systems analysis Stochastic models in user interaction Quantitative extensions of process algebras Recent Publications focus on hybrid AI integration with spatial model checking, polyhedral logic minimization, and scalable verification techniques. Her work bridges formal methods with applications in healthcare and smart environment systems. Projects: Leads EU-NG MUR-PRIN 2022 Stendhal (spatio-temporal logic), MUR-PNRR THE (health ecosystems), and CNR-SRNSF bilateral collaborations. Previously involved in EU-FET QUANTICOL, PRIN CINA, and FP7 ASCENS projects. Teaching: Regularly lectures on Stochastic Model Checking for the PhD Program in Smart Computing (Florence/Pisa/Siena) and has taught formal verification courses at the University of Florence.

Corrado Aaron Visaggioمشاهده پروفایل

دانشیار

• Cybersecurity
• Malware Analysis
• Software Engineering
• +۴ مورد دیگر

Corrado Aaron Visaggio is an Associate Professor at the Department of Engineering (DING) of the University of Sannio. His research focuses on cybersecurity, malware analysis, software engineering, and data privacy. He has contributed to advancing static/dynamic malware detection techniques, Yara rule evaluation, IoT anomaly detection, and blockchain smart contract development analysis. His work includes developing frameworks for privacy policy enforcement and empirical validation of software process metrics. Key research areas include malware classification using machine learning, static analysis of JavaScript malware, and systematic reviews on IoT security and blockchain applications. Notable collaborations involve studies on SQL injection vulnerabilities and Android malware classification. His publications span conferences like IEEE and journals in software security, highlighting interdisciplinary approaches combining empirical studies with technical innovations.