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

• Formal methods
• Distributed systems
• Concurrency theory
• +۳ مورد دیگر

Emilio Tuosto is a Full Professor at the Gran Sasso Science Institute (GSSI) in L'Aquila, Italy, where he leads the Computer Science Department. Previously, he held an Associate Professor position at the University of Leicester's School of Informatics (UK). His research focuses on formal methods, distributed systems, and behavioral specifications. He earned his PhD in Computer Science from the University of Pisa in 2003 and holds a degree from the same institution (1998). His research explores theoretical and applied aspects of complex distributed systems, including automata-based models of distributed choreographies and contract-based interaction frameworks. Key projects include BehAPI (Marie Skłodowska-Curie Actions RISE project) and DeLiCE (Decentralised Ledgers in Circular Economy). He actively contributes to conferences like COORDINATION and ECOOP, and organizes GSSI's seminar series. Recent work includes tools like TRAC for data-aware coordination, MoCheQoS for QoS analysis, and CIRC (reversible computing). His publications span formal choreographic languages, static analysis for C programs, and behavioral types for local-first software. Collaborations involve institutions like IMT Lucca, University of Pisa, and international teams. Tuosto's contributions bridge theoretical foundations with practical implementations in distributed systems and formal methods.

• Informatics
• Computer Science
• Process Calculi
• +۴ مورد دیگر

Mario Bravetti is a Full Professor at the Department of Computer Science and Engineering, University of Bologna. His academic discipline is Informatics (INFO-01/A). He specializes in formal methods, process calculi, and distributed systems, with a focus on session types, microservices architecture, and formal verification of software systems. His research bridges theoretical foundations with practical applications in cloud computing, edge computing, and industry 4.0. Research interests include: Session types and behavioral contracts Formal semantics of concurrent systems Microservices deployment and orchestration Low-latency anomaly detection in industrial IoT Formal verification tools for programming languages His recent work emphasizes proactive-reactive scaling strategies for microservices and the integration of formal methods into cloud-native architectures. He has contributed to projects like SEAWALL and the BETTY COST Action, advancing software reliability in large-scale systems. His articles highlight advancements in session subtyping algorithms, typestate systems for Java, and edge-cloud continuum optimizations. He has served as a guest editor for journals on service-oriented architectures and formal methods.

• Aerospace engineering
• Composite structures
• Finite element analysis
• +۵ مورد دیگر

Rodolfo Azzara is a Fixed-term researcher at the Department of Mechanical and Aerospace Engineering (DIMEAS) at Politecnico di Torino, affiliated with the College of Mechanical, Aerospace and Automotive Engineering. His position is designated under Law 240/10 art.24-a, indicating a fixed-term research appointment within the Italian academic system. He is an active member of the MUL2 (MULtilayered structures and MULtifield analyses) research group, focusing on advanced computational methods for structural analysis. Dr. Azzara's research interests span aerospace engineering with particular emphasis on composite structures, finite element analysis, higher-order theories, nonlinear dynamics, rotordynamics, structural theories, and vibrations. His work primarily falls under the scientific disciplinary sector IIND-01/D - Aerospace Construction and Structures (Area 0009 - Industrial and Information Engineering), with ERC sectors PE8_1 (Aerospace engineering) and PE8_4 (Computational engineering). His research directly contributes to SDG Goal 9: Industry, Innovation, and Infrastructure through advanced computational methods for structural analysis. Analysis of Dr. Azzara's recent publications (2022-2025) reveals a strong focus on high-fidelity computational methods for structural analysis, particularly using the Carrera Unified Formulation (CUF) framework. His work demonstrates expertise in nonlinear dynamics, rotordynamics, and thermoelastic analysis of aerospace structures. A consistent theme across his publications is the development and application of variable-kinematic finite elements for complex structural problems, including rotating machinery, composite materials, and wave propagation phenomena. His research shows increasing sophistication in handling geometric nonlinearity, thermal effects, and multi-physics coupling in structural systems. Dr. Azzara actively contributes to academic teaching within the Aerospace Engineering program. His teaching portfolio includes Aerospace Vehicle Design, Design and Additive Manufacturing for Aerospace Applications, Aeronautical Structures, Fundamentals of Structural Mechanics, and Aeronautical Construction Techniques. He has served as both Course Collaborator and Course Lecturer across multiple academic years (2019/20-2025/26), demonstrating consistent engagement with student education at both undergraduate and graduate levels. His research methodology emphasizes high-fidelity modeling through advanced finite element techniques, particularly focusing on beam, plate, and shell elements with variable kinematics. This approach allows for accurate representation of complex structural behaviors while maintaining computational efficiency. Dr. Azzara's work frequently appears in ASME conferences and engineering mechanics journals, indicating recognition within the structural dynamics and aerospace engineering communities.

• Algorithms
• Concurrency
• Concurrent algorithms
• +۱۲ مورد دیگر

Paola Quaglia is an Associate Professor at the Department of Information Engineering and Computer Science, University of Trento. Her primary teaching activities include courses on Concurrency and Linguaggi formali e compilatori (Formal Languages and Compilers), focusing on shared-memory concurrency and compiler design methodologies applicable to formal/natural language analysis. Quaglia's research expertise spans Algorithms, Concurrency, Process Calculi, Formal Languages, Systems Biology, and Stochastic Processes . Her work bridges computational modeling with biological systems, emphasizing formal verification and concurrent programming paradigms. Notable publication trends include contributions to stochastic process algebra , BlenX/Beta-binders for biological modeling, and model-checking techniques for concurrent systems. She has extensively explored the intersection of programming language theory and computational biology.

• Aeroelasticity
• Finite element analysis
• Higher-order theories
• +۵ مورد دیگر

Matteo Filippi is a Fixed-term tenure-track Assistant Professor in the Department of Mechanical and Aerospace Engineering (DIMEAS) at the Polytechnic University of Turin. He is a member of the College of Mechanical, Aerospace and Automotive Engineering and serves on doctoral colleges for both Aerospace Engineering and Mechanical Engineering programs. His academic work focuses on advanced structural analysis techniques with applications in aerospace engineering. Dr. Filippi's research interests include Aeroelasticity, Finite element analysis, Higher-order theories, Nonlinear dynamics, and Rotor dynamics. His work spans computational mechanics, structural dynamics, and advanced materials, with particular emphasis on high-fidelity modeling approaches for complex engineering problems. He applies these methods to analyze structures ranging from traditional aerospace components to innovative metamaterials and composite structures. His recent publications demonstrate a strong focus on high-fidelity beam modeling, structural dynamics, and wave propagation analysis. The research shows consistent application of the Carrera Unified Formulation (CUF) for developing advanced finite element models that can accurately capture complex structural behaviors while maintaining computational efficiency. His work bridges theoretical developments with practical aerospace applications. Dr. Filippi actively supervises multiple PhD students working on diverse topics including metamaterials, composite structures, and advanced structural analysis techniques. He teaches core aerospace engineering courses including Aerospace Vehicle Design and Aeroelasticity, as well as Fundamentals of Structural Mechanics. He is involved in significant research projects including ASSESS (Automated online monitoring of smart composite structures, 2024-2028), an EU-funded MSCA project, and DRONE-DARE (Drone imaging for Digital twinning and AI Reliability-based damage Evaluation, 2024-2025), part of the PNRR Mission 4 initiative. These projects reflect his expertise in structural health monitoring, composite materials, and advanced computational methods.

• Applied Mechanics
• Structural Dynamics
• Vibrations
• +۱۲ مورد دیگر

Simone Venturini is a Fixed-term Assistant Professor in the Department of Mechanical and Aerospace Engineering (DIMEAS) at Politecnico di Torino. He is affiliated with the College of Mechanical, Aerospace, and Automotive Engineering and serves as a course collaborator for several core mechanical and automotive engineering programs. His research focuses on applied mechanics and structural dynamics, with specific interests in vibrations, rotordynamics, experimental modal analysis, and the experimental-numerical correlation of mechanical systems. He is actively involved in the Vehicle Dynamics research group at DIMEAS, where his work integrates digital twin technologies for automotive components such as wheels and tire-rim systems. His expertise extends to energy storage and the structural dynamic design of machines. His recent publications (2024–2021) highlight advancements in digital twin modeling for failure identification, rotor dynamics with magnetic supports, and model reduction techniques for tracked vehicles. These works appear in prominent journals such as Mechanism and Machine Theory , Engineering Failure Analysis , and International Journal of Non-Linear Mechanics , reflecting a strong trend toward integrating experimental data with numerical models for real-world engineering applications. Simone Venturini contributes to teaching across multiple degree programs, including Mechanical System Dynamics , Vehicle Mechanics , and Vehicle Dynamics Simulation at both Bachelor's and Master's levels. He has been consistently involved in these courses from the 2019/2020 academic year through 2025/26, demonstrating sustained academic engagement. His scientific work aligns with key research sectors including PE8_7 (Mechanical Engineering), PE8_10 (Manufacturing Engineering), and PE8_14 (Automotive and Rail Engineering) under the ERC framework, and supports UN Sustainable Development Goals 7, 9, and 12. He is a member of the IIND-02/A – Applied Mechanics scientific branch within Area 0009 (Industrial and Information Engineering). He collaborates extensively with researchers such as Elvio Bonisoli, Carlo Rosso, Mauro Velardocchia, and Enrico Galvagno. Although no formal advising or grant information is provided, his collaborative research output suggests active participation in funded or institutional research projects. He is part of the Vehicle Dynamics research group at DIMEAS, which serves as his primary research team and laboratory environment.

Mario Baldiمشاهده پروفایل

دانشیار

• Programmable data planes
• Software-defined networking
• Network security
• +۵ مورد دیگر

Mario Baldi is an Associate Professor (on leave) of Information Processing Systems at the Department of Control and Computer Engineering , Politecnico di Torino , and concurrently a Fellow in the Office of the CTO, Adaptive and Embedded Computing Group, at AMD, San Jose, CA. His career blends deep academic research with extensive industry R&D leadership. Education M.Sc. (Summa Cum Laude) in Electrical Engineering, Politecnico di Torino, 1993 Ph.D. in Computer and System Engineering, Politecnico di Torino, 1998 Research Focus Baldi’s research spans programmable data planes, software-defined networking, big-data analytics for network management, network security, high-performance switching architectures, optical networking, QoS mechanisms, and multimedia/voice-over-IP systems . He is especially known for pioneering work on P4 -based programmable networks and SmartNIC architectures. Publication & Patent Impact Across 150+ refereed papers and 35+ US patents (plus European filings), his recent output concentrates on machine-learning-driven network data-plane functions , disaggregated stateful network services , and cloud-grade DPUs . The 2021–2024 articles emphasize real-time inference directly in the network data plane and modular SDN programming. Awards & Honors Best Paper Award, IEEE ICC 2007 Best Paper Award, IEEE ISCC 2008 Best Paper Award, IEEE GreenComm 2009 Best Paper Award, ACM/IEEE WI/IAT 2014 Grants & Projects Baldi has served as Principal Investigator or Scientific Coordinator on numerous EU Framework and Italian national projects (PRIN, FAR), leading consortia on energy-efficient packet networks, trusted software execution, wireless mesh architectures, and streaming media delivery. Teaching & Mentoring He has taught graduate courses on Enterprise Network Technologies, Computer Network Technologies and Services, Networks/Cloud/Application Security at Politecnico di Torino since 2003. He has also supervised PhD collegi for the Computer and Systems Engineering doctoral program (cycles 19–23) and held visiting/adjunct positions across four continents. Labs & Teams Previously headed the NetGroup (Computer Networks Group) at Politecnico di Torino (2001–2007) and co-chairs the p4.org Architecture Workgroup , driving open standards for programmable networking.

• Agile software development
• Bias detection in data and algorithms
• Data integrity
• +۱۷ مورد دیگر

Marco Torchiano is a Full Professor at the Department of Control and Computer Science (DAUIN) at Politecnico di Torino , Italy. He is a member of the SmartData@PoliTO laboratory and the SOFTENG - Software Engineering Group . Research Interests : Agile software development, bias detection, data integrity, software testing, gamification, empirical software engineering, and software maintenance. Disciplinary Expertise : Covers software engineering, human-computer interaction, web systems, and data science. His research focuses on improving software quality through empirical studies, gamification of testing processes, and bias detection in algorithms. He has developed tools like GAppium for gamified testing and MINOS for GDPR compliance analysis. Recent Trends in his publications include gamification applied to UML/BPMN modeling, Android testing frameworks, algorithmic fairness, and technical debt management in industrial projects. Scientific Awards : EGOV-DeDEM-ePart Best Paper Award (Category 1) - IFIP (2020) ICPC Best Paper Award - IEEE (2017) PROMISE Best Paper Award - PROMISE Program Committee (2017) EESSMod Best Paper Award - EESSMod Program Chairs (2012) Best Paper Award - COTS Based Software Systems Conference (2004) Fellow - Nexa Center for Internet and Society (2016-) Fellow - IEEE (2015-) Senior Member - IEEE (2015-) Advisory Roles : Supervises PhD students in Computer Systems Engineering and Artificial Intelligence. Grants : Leads the EndGame project (2023-2025) on gamified end-to-end testing and a PRIN project on software migration to web architectures.

Domenico Ammendoleaمشاهده پروفایل

پژوهشگر

• Structural Engineering
• Fracture Mechanics
• Composite Materials
• +۷ مورد دیگر

Domenico Ammendolea is a Research Grant Holder (Assegnista di Ricerca) in Structural Science at the Department of Civil Engineering, University of Calabria. He holds a Master’s degree in Civil Engineering (Structures) and a PhD in Environmental, Construction, and Energy Science and Engineering, both from the same institution, having graduated with top honors. He is actively involved in research and teaching, contributing to graduate courses such as Bridge Analysis and Design, Structural Modeling of Buildings, and Seismic Dynamics of Structures, while also serving as a mentor. His research focuses on advanced numerical modeling of damage and fracture in composite and quasi-brittle materials under static and dynamic loading. Key interests include moving mesh techniques, phase-field modeling, cohesive zone methods, and finite element analysis for simulating crack propagation in heterogeneous, anisotropic, and functionally graded materials. He applies these methods to cutting-edge materials like nano-filled ultra-high-performance concrete and CNT-reinforced composites. The recent publications highlight a strong trend in computational fracture mechanics, particularly in dynamic and multiscale crack propagation, utilizing adaptive and moving mesh strategies combined with integral methods for enhanced accuracy. His work bridges theoretical mechanics with practical structural applications. TC3 Young Scientist Award – Best contribution by a young researcher at the 8th International Conference on Crack Paths He has been actively teaching in master’s programs and mentoring students. Though no formal grants are listed, his research grant position and publications indicate active funding support. He collaborated remotely as a Visiting PhD Student at the University of Dundee (UK) in 2022, reflecting international engagement. His research is conducted within the Department of Civil Engineering at the University of Calabria, collaborating closely with researchers including Fabrizio Greco, Lorenzo Leonetti, Paolo Lonetti, and Arturo Pascuzzo. The work is integrated into broader research activities on structural integrity and advanced materials modeling.

• Tribology
• Applied Mechanics
• Gas Bearings
• +۵ مورد دیگر

Luigi Lentini serves as an Associate Professor in the Department of Mechanical and Aerospace Engineering (DIMEAS) at the Polytechnic University of Turin. His academic career spans multiple teaching levels including PhD, Master's, and Bachelor's programs where he teaches specialized courses in bearing technology, rotordynamics, and numerical modeling of lubricated systems. Dr. Lentini's research focuses on advanced tribological systems with particular emphasis on gas bearings, thrust bearings, and fluid film lubrication. His expertise spans both theoretical modeling and experimental validation of bearing systems, with applications ranging from high-speed rotating machinery to biomedical engineering. His work bridges mechanical engineering fundamentals with practical industrial applications, addressing challenges in precision machinery and clean energy systems. The publication record demonstrates consistent focus on gas bearing technology, with recent work examining spiral groove geometries, active compensation methods, and numerical modeling techniques. His research shows strong alignment with sustainable development goals related to clean energy (Goal 7), industry innovation (Goal 9), and health applications (Goal 3), particularly through the application of bearing technologies in medical devices and clean energy systems. As a member of the Automation and robotics research group within DIMEAS, Dr. Lentini contributes to interdisciplinary projects that integrate mechanical design with control systems. His teaching portfolio includes specialized courses on thin film lubrication, high-speed bearing applications, and rotordynamics, reflecting his deep expertise in these areas. He serves on PhD committees for Mechanical Engineering and participates in multiple degree program colleges including Biomedical Engineering and Mechanical, Aerospace, and Automotive Engineering.

• Abstract Interpretation
• Program Analysis
• Program Verification
• +۵ مورد دیگر

Roberto Bagnara is a Full Professor of Computer Science at the Department of Mathematics and Computer Science of the University of Parma, Italy. He has been a faculty member since 1997, progressing from Assistant Professor to Associate Professor and finally to Full Professor in November 2010. In addition to his academic position, he serves as Chief Scientist, CTO, and President of BUGSENG srl, a university spin-off focused on software verification and validation technologies. Professor Bagnara received his laurea degree (magna cum laude) in Computer Science from the University of Pisa in July 1992, followed by a Ph.D. in Computer Science from the same university in September 1997. Prior to his doctoral studies, he worked at CERN in Geneva with Tim Berners-Lee, the inventor of the World Wide Web, and at the University of Bologna's Physics Department developing software for data acquisition and analysis. His research spans abstract interpretation, program analysis and verification, and semantics-based program manipulation techniques . Professor Bagnara has made significant contributions to the fields of static program analysis, with particular focus on convex polyhedra manipulation, constraint logic programming, and formal verification of safety-critical software. His work bridges theoretical foundations with practical applications, resulting in several influential software projects including the Parma Polyhedra Library (PPL), CHINA, PURRS, and ECLAIR. The PPL is particularly notable as it's used in the GNU Compiler Collection (GCC), the most widely used compiler suite worldwide. Professor Bagnara's recent publications reveal a strong focus on safe and secure programming, particularly in C language ecosystems. His work on C-rusted, MISRA compliance, and floating-point verification demonstrates his commitment to practical solutions for real-world software verification challenges. His research increasingly integrates formal methods with industry needs, especially for safety-critical embedded systems. Professor Bagnara has supervised numerous thesis students and has been involved in multiple national and international research projects, including ESPRIT, COFIN, and PRIN projects. He has served on program committees for major conferences such as SAS, VMCAI, and ICLP, and has organized workshops and summer schools in his field. He leads the Applied Formal Methods Laboratory at the University of Parma, which focuses on developing theoretical foundations and practical tools for software analysis and verification. The laboratory's work has significant industrial impact, particularly through the ECLAIR project, which aims to create an industrial-strength platform for analysis, verification and transformation of imperative languages.

Enea Zaffanellaمشاهده پروفایل

دانشیار

• Static Analysis
• Software Verification
• Abstract Interpretation
• +۷ مورد دیگر

Enea Zaffanella is an Associate Professor in Computer Science at the University of Parma , where he has been affiliated since 2000. His academic career spans from Fellow Researcher to Assistant Professor, culminating in his current role since 2006. He teaches courses in Programming Methodologies , Compilers , and Foundations of Computer Science at both undergraduate and graduate levels. PhD in Computer Science from School of Computing, University of Leeds (2002) Laurea in Computer Science from University of Pisa (1993) Research focuses on Static Analysis and Software Verification using Abstract Interpretation . Key contributions include theoretical frameworks for Constraint Logic Programs analysis, Convex Polyhedra abstractions, and Widening Operators design. His work bridges formal theory with practical implementations like the Parma Polyhedra Library (PPL) and its successor PPLite . Recent publications explore Hybrid Systems verification, Data Science linting tools (Pyra), and EVM Bytecode analysis. He received the Radhia Cousot Young Researcher Best Paper Award in 2019. Collaborations include academic Research Projects (PRIN, ESPRIT) and industrial partnerships through BUGSENG srl .

• Artificial Intelligence
• Machine Learning
• Software Engineering
• +۴ مورد دیگر

Eleonora Iotti is a fixed-term researcher at the University of Parma , affiliated with the Department of Mathematical, Physical and Computer Sciences . Her academic focus spans Artificial Intelligence , Software Engineering , and Data Security , with notable contributions to sustainable logistics and secure microbiological data platforms. Academic Rank: Researcher Office Hours: Friday 10:30-11:30 Contact: eleonora.iotti@unipr.it Research Interests include: AI-driven solutions for logistics sustainability Secure data-sharing platforms (e.g., BIOCHAIN ) Agent-oriented programming languages (e.g., JADEL ) Generative models (e.g., MetalGAN ) Her publications emphasize physics-based simulations, explainable AI, and automated quality assessment. She teaches courses on Foundations of Artificial Intelligence and Elements of Logic and Discrete Structures at both first and second cycle degrees in Computer Science. Recent Projects: Developing BIOCHAIN-AI for secure microbiological data analysis Creating AI pipelines for sustainable packaging (e.g., substituting plastic with kraft paper) Advancing agent-oriented programming formalization and verification Contact: Campus Scienze e Tecnologie, Padiglione 21, Parco Area delle Scienze 53/A, 43124 Parma.

Lucio Marcenaroمشاهده پروفایل

دانشیار

• Autonomous Systems
• Bayesian Inference
• Signal Processing
• +۷ مورد دیگر

Lucio Marcenaro is an Associate Professor in the Department of Naval, Electrical, Electronic and Telecommunications Engineering at the University of Genoa, where he serves as Coordinator of the Bachelor's Degree Course in Electronic Engineering and participates in university research committees. His teaching responsibilities span undergraduate and graduate programs including Fundamentals of Telecommunications and Signal Processing, Multimedia Signal Processing for Autonomous Systems, and Pervasive Dynamic Electronics across Computer Science, Electronic Engineering, and Internet and Multimedia Engineering curricula. His research centers on autonomous systems with emphasis on Bayesian inference frameworks and active inference methodologies. Key investigation areas include vehicle localization using dynamic Bayesian networks, anomaly detection in vehicular networks through generative models, UAV trajectory optimization, and resource allocation in cognitive radio systems. His work integrates signal processing, machine learning, and robotics to develop self-aware systems capable of real-time adaptation in dynamic environments, particularly focusing on explainable AI implementations for autonomous agents. Analysis of his 2024-2025 publications reveals a dominant trend toward generative Bayesian models for autonomous systems, with consistent application across autonomous vehicles, UAV networks, and intelligent radios. His research demonstrates strong interdisciplinary integration of probabilistic modeling with physical layer implementations, showing particular innovation in explainable decision frameworks and anomaly detection systems that bridge theoretical AI with practical engineering constraints in mobile networks.

• Antennas
• Computational Electromagnetics
• Electromagnetic Compatibility
• +۴ مورد دیگر

Roberto Graglia is a Full Professor at the Department of Electronics and Telecommunications (DET) at the Polytechnic of Turin, Italy. He holds a Ph.D. in Electrical Engineering and Computer Science from the University of Illinois at Chicago (1983) and graduated Summa Cum Laude in Electronics Engineering (1979) from Turin Polytechnic. 1980–1981: Project & Test Engineer at CSELT, Italy 1981–1983: Teaching and Research Assistant at University of Illinois at Chicago 1985–1992: Principal Researcher at CESPA-CNR, Turin 1992–1999: Associate Professor at Polytechnic of Turin 1999–Present: Full Professor at Polytechnic of Turin His research focuses on Computational Electromagnetics , particularly high-order finite methods , method of moments , and numerical modeling of electromagnetic interactions with complex media. He has contributed to antenna design , radar cross-section analysis , and electromagnetic compatibility (EMC) . Key article trends include advanced numerical techniques for singular integrals, hierarchical vector bases, and scattering phenomena in anisotropic/bianisotropic materials. Subfields span finite element methods, Gauss quadrature precision, sharp-wedge structures, and high-frequency computational models. 2021: Harrington–Mittra Computational Electromagnetics Award 1998: IEEE Life Fellow 2009–2012: IEEE Distinguished Lecturer Editorial roles: IEEE Antennas and Wireless Propagation Letters , Electromagnetics He has led national research projects (PRIN, FIRB) on electromagnetic modeling of hidden objects and singular field expansions. As General Chairperson of the International Conference on Electromagnetics in Advanced Applications (ICEAA) since 1999, he oversees program committees for multiple conferences.