Michele Viviani serves as a Full Professor and Director of the Department of Naval, Electrical, Electronic and Telecommunications Engineering (DITEN) at the University of Genoa. He holds key administrative roles including membership in the Academic Senate and School Council of the School of Engineering, and serves on the Department Board. His teaching responsibilities include Ship Handling for the Master's program and Ship Statics for the undergraduate Naval Engineering program. His research spans naval architecture and marine engineering with core expertise in propeller design optimization, cavitation phenomena, underwater acoustics, and ship maneuverability. He integrates experimental hydrodynamics, computational fluid dynamics (CFD), and data-driven approaches to address challenges in marine propulsion systems and vessel performance. His methodology emphasizes combining physical testing with numerical modeling for practical engineering solutions. Analysis of his 2022-2025 publications reveals a dominant focus on reducing underwater radiated noise through advanced propeller optimization, detailed experimental studies of cavitation erosion mechanisms, and maneuverability assessments for diverse vessel types including submarines, container ships, and escort tugs. His work increasingly incorporates machine learning techniques with traditional hydrodynamic modeling to enhance prediction accuracy for noise, erosion, and maneuvering characteristics.
جستجوی استاد راهنمای دانشگاهی
برای مسیر پژوهشیتان، استاد راهنما، استاد دانشگاه و پژوهشگر مناسب را پیدا کنید و با آنها ارتباط بگیرید.
نمایش ۱۶-۳۰ از ۸۲ استاد راهنما
اطلاعات پروفایلها از صفحات عمومی دانشگاهها گرفته شده و ممکن است بهروز نباشد.
Leone Corradi Dell’Acqua is a retired Full Professor at Politecnico di Milano, where he held academic roles spanning structural engineering, nuclear engineering, and energy disciplines. His career included positions such as Head of the Department of Structural Engineering (1982–1984) and Coordinator of the Structural Engineering Doctoral Program (1981–1991). He contributed to academic governance through roles in the AIMETA executive council, CUN’s Consulting Committee 08, and the Politecnico di Milano’s Academic Senate. He is a corresponding member of the Istituto Lombardo – Accademia di Scienze e Lettere (since 2006). Education: 1966: Degree in Architecture (Politecnico di Milano) 1971: Master of Science in Civil Engineering (University of Illinois at Urbana-Champaign) Research Interests: His work focuses on structural plasticity, stability of elastoplastic structures, nonlinear finite element analysis, and mechanical behavior of nuclear components. He has also contributed to interdisciplinary projects like the “Nuclear Project Management” short courses (2010–2017) and the executive Master on Nuclear Plant Construction Management (2010), developed with MIP-Business School and industry partners. Professional Roles: 1999–2002: Member of the Scientific Council of CRI (Center for International Relations) 2001–present: Member of the Executive Council of the Veneranda Fabbrica del Duomo di Milano, serving as President of its Statics Consulting Committee 2003–2010: Responsible for the Nuclear Engineering curriculum at Politecnico di Milano Awards: Corresponding member of the Istituto Lombardo – Accademia di Scienze e Lettere (2006–present) Academic Contributions: He designed and led courses such as the “Nuclear Project Management” short course (2017) and collaborated with Oak Ridge National Laboratory (ORNL) on computational engineering research. His work integrates academic leadership with practical engineering challenges, including the structural analysis of Milan Cathedral.
Luca Verderameمشاهده پروفایل
دانشیار
- Mobile Security
- Android Security
- IoT Security
- +۳ مورد دیگر
Luca Verderame is an Associate Professor in the Department of Computer Science, Bioengineering, Robotics, and Systems Engineering (DIBRIS) at the University of Genoa. His academic role includes teaching advanced courses such as Mobile Security, Mobile Programming, and Mobile Programming Module 2 at both undergraduate and master's levels. Research focuses on cybersecurity, particularly in mobile ecosystems, IoT firmware integrity, and application security testing tools. Key research contributions include MarvelHideDroid (2025) for Android data anonymization, kernel-level obfuscation analysis (2024), and SEBASTIAn, a cross-platform security testing tool (2023). His work bridges theoretical cybersecurity principles with practical implementations in embedded systems and cloud environments. Contact: luca.verderame@unige.it
Filippo Lanubile is a Full Professor and Head of the Department of Computer Science at the University of Bari, where he leads the Collaborative Development Research Group (Collab). He co-founded the academic spin-off PeoplewareAI and previously served as a research associate at the University of Maryland. His research spans human factors in software engineering, AI-augmented development, engineering of AI-enabled systems, and health informatics. Major publications focus on MLOps, emotion recognition in development, and LLM applications in software engineering. Lanubile received the NASA Group Achievement Award (1996), IBM Eclipse Innovation Award (2006), IBM Faculty Award (2008), and Microsoft Research Software Engineering Innovation Foundation Award (2011). He chaired the ACM/IEEE ESEM symposium (2020-2021) and IEEE Software Advisory Board (2020-2023).
- Operational Semantic
- Petri Nets
- Reaction Systems
- +۵ مورد دیگر
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.
Giorgio Levi is a Full Professor in the Department of Computer Science at the University of Pisa, Italy. He works on theoretical aspects of programming languages and formal methods. Research includes interpreter design and abstract interpretation Teaches courses on Abstract Interpretation in Declarative Languages Contributed to projects like FIRB - Model B - Pisa Research Interests : His work focuses on abstract interpretation, programming language semantics, and code analysis. He has developed interpreters for functional languages, denotational semantics, operational semantics, and type inference systems. Teaching : He teaches a course on abstract interpretation in declarative languages, with materials including denotational interpreters, operational semantics, and run-time structures. Projects : Involved in the FIRB - Model B - Pisa research initiative, which relates to interpreter refinements and semantic evaluation functions.
Michele Loreti is Full Professor in Computer Science at the University of Camerino within the School of Science and Technology and serves as Director of the School of Advanced Studies. His career includes roles as Research Associate at University of Firenze (2002-2017) and Visiting Professor at IMT Institute for Advanced Studies (2012-2016). He holds a PhD in Mathematical Logic and Theoretical Computer Science from University of Siena (2001) and a Computer Science degree from University of Rome 'La Sapienza' (1997). Research interests: Formal tools for concurrent/distributed systems Quantitative analysis of collective adaptive systems Spatio-temporal model checking Process calculi and modal logics Programming languages for network-aware applications Runtime verification and dynamic system adaptation Article trends: His work focuses on formal verification of cyber-physical systems, spatio-temporal properties, stochastic process calculi, attribute-based communication, and tools like CARMA and muG for collective system analysis. Editorial roles: Assistant editor for Elsevier Journal on Logical and Algebraic Methods in Programming and member of the Reproducibility Board for ACM Transactions on Modelling and Computer Simulation.
- Acoustics
- Ultrasonics
- Nonlinear Acoustics
- +۵ مورد دیگر
Marco Scalerandi is a Full Professor at the Department of Applied Science and Technology (DISAT) at Polytechnic University of Turin. He serves as a member of the Joint Committee on Teaching and contributes to editorial boards as Associate Editor of Frontiers in Physics and Editor-in-Chief of Applied Sciences . His research focuses on nonlinear acoustics, elasticity, and ultrasonics with applications to non-destructive testing (NDT). Research Areas : Acoustics, nonlinear elasticity, non-destructive evaluation, condensed matter physics, material characterization ERC Sectors : PE3_2 (condensed matter acoustics), PE8_9 (process engineering), PE3_1 (materials growth) SDG Contributions : Goal 9 (Industry & Innovation), Goal 12 (Responsible Consumption) Recent Research Trends include temperature-dependent nonlinear elasticity in granular media, viscoelastic relaxation in sandstones, time reversal acoustics for source localization, and multirelaxation process analysis in soft matter. His work bridges theoretical modeling with experimental validation in geophysics and civil engineering materials. Scientific Roles : Associate Editor, Frontiers in Physics (2022–present) Editor-in-Chief, Applied Sciences (2017–present) Laboratory Affiliation : Nonlinear Elasticity and Metamaterials Laboratory at DISAT. He has served on program committees for major international conferences like the International Congress on Ultrasonics (2019, 2023) and International Congress on Nonlinear Elasticity in Materials (2010–2024).
Fabio Fioravanti is a Professor in Computer Science at the G.d'Annunzio University of Chieti-Pescara , affiliated with the Department of Economics . He is a research associate at IASI-CNR and a member of the MAP group . Research Interests Fabio's research focuses on Constrained Horn Clauses (CHCs) and Constraint Logic Programming (CLP) for program analysis and verification Program transformation methodologies for software development, verification, and synthesis Artificial Intelligence applications in cybersecurity and bioinformatics Systems biology modeling using StateCharts Economic evaluation of IT security investments via defense trees Committee Roles & Projects He has held leadership roles in workshops like HCVS and LOPSTR , and participated in research projects including "Vincoli e Preferenze" (MIUR PRIN 2005) and "SIMBIOSYS" (MIUR PRIN 2008). He also contributed to the VeriMAP verification tool. Teaching & Publications Fabio teaches Big Data , Cybersecurity , and Web Programming . His work spans software verification, security investment analysis, and interdisciplinary applications in systems biology.
Mariano Ceccato is an Associate Professor in the Department of Computer Science at the University of Verona, Italy. With a PhD in Computer Science from the University of Trento (2006), he has led numerous publicly funded and industrial research projects. His expertise includes security testing, penetration testing, code hardening, and empirical studies. Principal Investigator in multiple research initiatives Visiting Research Scientist at the University of Luxembourg Author/co-author of over 100 peer-reviewed papers Research Focus His work spans Android security, Ethereum smart contracts, REST APIs, and software protection techniques. Key contributions include: Security testing frameworks using reinforcement learning Advanced static analysis for Ethereum bytecode Novel obfuscation strategies for Java/Android Empirical studies on security report usability Comparative analysis of malware detection techniques Scientific Contributions He has received multiple awards including the Best Paper at IEEE ICST 2022, Best Research Paper at IEEE/ACM ICSE 2023, and ACM Distinguished Paper awards.
Essie Lundmarkمشاهده پروفایل
پژوهشگر
Essie Lundmark is a researcher affiliated with Lund University in Sweden. She contributes to the field of software engineering, particularly focusing on gamification and user feedback mechanisms in development tools. At ICSE 2025, she is presenting her work in the Gamification in Development + V & V track. Research Focus : Gamification in software development workflows Enhancing static program analysis tools through user engagement Human-centric approaches to software engineering Recent Work : Her 2025 publication explores integrating gamification elements into static code analysis tools to improve user feedback collection, bridging interactive design with software engineering practices.
Luca NEGRINIمشاهده پروفایل
پژوهشگر
Luca Negrini is a Researcher at the Department of Environmental Sciences, Computer Science and Statistics of Ca' Foscari University of Venice. He is affiliated with the Research Institute for Complexity. His work focuses on static analysis techniques applied to blockchain smart contracts, formal methods, and software verification. He contributes to projects like the LiSA framework for multilanguage static analysis and has published extensively on topics such as Hyperledger Fabric security, Tezos smart contracts, and ROS2 security policies extraction. Research interests include blockchain technology, static analysis methodologies, formal verification, and concurrency issues in distributed systems. Recent work emphasizes detecting vulnerabilities in smart contracts (e.g., read-write issues, phantom reads) and developing tools for automated policy extraction in robotics and microservices. He collaborates closely with academic and industry partners, as evidenced by numerous co-authored articles in venues like IEEE Access and ACM conferences. Publications reflect a trend toward addressing security and correctness in distributed systems, with a focus on practical applications of formal methods. His contributions bridge theoretical computer science with real-world challenges in blockchain and software engineering. No scientific awards are explicitly mentioned in the provided texts.
Simona Teccoمشاهده پروفایل
دانشیار
Simona Tecco serves as Associate Professor of Odontostomatological Diseases at Vita-Salute San Raffaele University in Milan since 2017, concurrently holding a consultancy position at San Raffaele Hospital's Dentistry Unit. Her academic career spans over two decades with clinical and research expertise in pediatric dentistry, orthodontics, and temporomandibular disorders. Her educational foundation includes: Graduation with honors in Dentistry and Dental Prosthetics (University of Chieti, 1999) PhD in Odontostomatological Sciences (University of Chieti) PhD in Physiology of Mastication and Dental Materials (University of Turin) Specialization in Orthodontics (Catholic University of the Sacred Heart, Rome) Professor Tecco's research centers on clinical applications in pediatric dentistry and orthodontic innovation , with significant contributions to temporomandibular joint pathology and craniocervical biomechanics . Her work emphasizes digital dentistry integration, particularly in clear aligner therapy, implant navigation, and TMD management protocols. Analysis of her 15 most recent publications (2024-2025) reveals dominant themes in digital workflow optimization across implantology, orthodontics, and prosthodontics. Key trends include mixed reality navigation for implant placement, predictability analysis of clear aligner treatments, and comprehensive digital approaches for temporomandibular disorders management. She maintains active research funding from European Community agencies and private dental companies since 2000, with teaching responsibilities spanning orthodontics courses for both undergraduate dental hygiene and graduate dentistry programs. Her clinical work integrates with San Raffaele Hospital's Dentistry Unit, focusing on evidence-based approaches to complex craniofacial conditions.
Peter FERRARAمشاهده پروفایل
دانشیار
Peter FERRARA is an Associate Professor in Computer Science at Ca' Foscari University of Venice, Italy. He joined the university in November 2019 as a tenure-track assistant professor and transitioned to his current rank. His primary affiliation is with the Department of Environmental Sciences, Computer Science and Statistics (D.A.I.S.) and the Research Institute for Complexity. He is part of the Software and System Verification group and maintains an active role in the Temporary Center Innovation Ecosystem Project. Education: Holds a PhD in Computer Science (2009) from École Polytechnique (Paris) and Ca' Foscari University of Venice, advised by Radhia Cousot and Agostino Cortesi. Completed his MA (2005) and BA (2003) in Computer Science from Ca' Foscari. Defended his thesis at École Normale Supérieure in May 2009. His research experience spans 15 years, with 50+ publications and 20 patents, focusing on static analysis for software reliability and security. Research Interests: Specializes in applying abstract interpretation theories to enhance software security, reliability, and performance. Recent work emphasizes static analysis of mobile and .NET systems, blockchain smart contracts, IIoT vulnerabilities, and automated policy enforcement. He bridges formal methods with practical software development, addressing challenges in precision-efficiency tradeoffs and industrial tool adoption. Industry Experience: From 2013-2019, worked in industry as Head of R&D at JuliaSoft SRL (2016–2019) and IBM Research (2013–2015). Developed commercial static analysis tools, managed research projects, and delivered technical presentations to clients. His work focused on transitioning research into deployable solutions. Teaching: Instructs courses in Object-Oriented Programming, Software Architectures, and Coding/Data Management. Engages students through practical LiSA framework experiences. Has taught at ETH Zurich (2009–2013) and supervised over a dozen students across PhD, Master's, and Bachelor's levels. Awards: No specific scientific awards listed, but recognized through extensive patent portfolio and impactful industry-academia collaborations. Holds 20 patents, including innovations in permissions extraction, privacy enforcement, and malware detection. Grants & Projects: Involved in multiple research projects from proposal to execution, including EU Data Act analysis, IoT security frameworks, and blockchain verification initiatives. Collaborates with institutions like IBM, Microsoft Research, and the University of Verona's JuliaSoft spin-off. Labs/Teams: Active in the Software and System Verification group at Ca' Foscari. Co-developed the LiSA static analysis framework. Engages in interdisciplinary projects combining robotics, IoT, and blockchain domains.
Salvatore Benfratello is an Associate Professor in the Department of Engineering (formerly DICAM) at the University of Palermo, Italy. His academic career spans over two decades with significant contributions to structural engineering research and education. He serves in the Faculty of Engineering and has held various administrative roles including Secretary of the Architecture Degree Program at the Agrigento campus and member of the Department Board. His educational background includes: Graduation in classical studies (1985/86 academic year) Bachelor's degree in Civil Engineering, Hydraulics Section, from the University of Palermo (April 9, 1991) PhD in Structural Engineering (October 1996) with thesis "Random Dynamics of Offshore Structures" Professor Benfratello's research interests focus on experimental, numerical, and theoretical analysis of structural systems. His work spans multiple domains including structural dynamics, material behavior analysis, and innovative construction techniques. He has made significant contributions to the understanding of Catalan vaults, sail materials, damaged structures, wooden structures, and seismic-resistant systems. His research often combines experimental validation with numerical modeling to address complex structural engineering challenges. His publication portfolio demonstrates a consistent research trajectory with over 80 publications. Recent work shows a strong focus on sustainable materials like fiber-reinforced geopolymers, innovative connection devices for steel structures, and advanced techniques for structural analysis and optimization. His research has evolved from fundamental structural dynamics to practical applications in seismic design and structural rehabilitation, with increasing emphasis on sustainable construction materials and methods. Professor Benfratello serves as a reviewer for several international journals including the ISI-classified Probabilistic Engineering Mechanics and Computer & Structures. As an educator, he has held teaching responsibilities for courses including Structural Elements for the Interpretation of Buildings and Statics for Architecture programs. He has been actively involved in PhD programs, first in Structural Engineering and subsequently in Civil, Environmental, and Materials Engineering. He has directed the Materials and Structural Testing Laboratory at DICAM, providing critical experimental facilities for structural research. His work bridges theoretical knowledge with practical applications, particularly in the areas of structural safety, seismic design, and innovative construction techniques.