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

Leonardo Giannantoniمشاهده پروفایل

پژوهشگر

• Computer architectures
• Computer aided design
• Computer graphics
• +۱۰ مورد دیگر

Leonardo Giannantoni is a PhD Student in Control and Computer Engineering at the Polytechnic University of Turin (2021-2024) and a current Research Engineer at the same institution. His work focuses on bio-inspired and AI-driven algorithms for modeling, simulating, and optimizing complex systems, with applications in synthetic biology , structural biology , and healthcare technology . Education PhD in Control and Computer Engineering (2024, Polytechnic University of Turin) MSc in Computer Engineering (2016, Polytechnic University of Turin) BSc in Computer Engineering (2014, Polytechnic University of Turin) Giannantoni's research spans multiple domains, including reinforcement learning for genetic networks , co-simulation in biofabrication , and virtual reality rehabilitation systems for Parkinson's disease. His work integrates machine learning with biological modeling , leveraging parallel computing and software engineering principles. Recent publications highlight his expertise in AI-driven structural biology , synthetic oscillatory networks , and privacy tools like tracker blockers. His Biology System Description Language (BiSDL) provides a framework for multicellular synthetic biological systems design. Scientific Contributions Member of the Focus Group of Researchers (2023-) Giannantoni has served as a Teaching Assistant for courses on Systems Programming and Algorithms , and contributed to open-source projects like nwn-petrisim (Petri Nets simulator) and microgp4 (evolutionary computing toolkit). His work bridges academic research and practical software development for complex systems.

• Language-based Security
• Compilers
• Formal Verification
• +۴ مورد دیگر

Letterio Galletta is an Assistant Professor of Computer Science at IMT School for Advanced Studies Lucca, within the SySMA research unit. Previously, he held a postdoctoral researcher position at the University of Pisa's Department of Computer Science and earned his Ph.D. in Computer Science from the University of Pisa in 2014. His research focuses on language-based security, leveraging programming languages, compilers, and formal verification to address security challenges in adaptive software, IoT, firewalls, and blockchain technologies. Key research areas include secure compilation, access control policy analysis, smart contract formal models, and static analysis techniques. His work bridges theoretical foundations with practical applications, such as securing satellite communication systems (IRIS2) and enhancing firewall policy enforcement. Publications highlight contributions to blockchain transaction parallelism, IoT security metrics, and formal methods for SELinux configurations. He actively contributes to tools like FWS (Firewall Synthesizer) and VeriOSS for bug bounty protocols. His research emphasizes interdisciplinary approaches, combining cybersecurity with distributed systems and embedded computing.

• Theoretical Computer Science
• Distributed Systems
• Reversible Computation
• +۱ مورد دیگر

Claudio Antares Mezzina is an Associate Professor in the Department of Pure and Applied Sciences at the University of Urbino Carlo Bo, specializing in theoretical computer science with research focus areas in reversible computation, distributed systems, and formal methods. Research Focus: His work centers on developing formal models for concurrent and distributed systems, particularly exploring reversible computational frameworks, Petri net applications in biochemical systems, and operational semantics for process algebras. Teaching: Mezzina teaches advanced courses including Distributed Applications and Cloud Computing, Software Engineering and Architecture, and Distributed Systems, with materials often available in both Italian and English.

Francesco Lo Iudiceمشاهده پروفایل

استادیار

• Control Theory
• Network Dynamics
• Opinion Dynamics
• +۴ مورد دیگر

Francesco Lo Iudice is an Assistant Professor of Automatic Control at the University of Naples Federico II, Italy. His research focuses on control theory applied to complex networks, including network dynamics, opinion formation, power systems, and multi-agent systems. He explores topics such as synchronization, consensus protocols, pinning control strategies, and optimal control in renewable energy communities. His work bridges theoretical advancements with practical applications in smart grids, autonomous systems, and social network analysis. Key research themes include: Controllability and observability of complex networks Opinion dynamics in social-technical systems Design of distributed control algorithms for power systems Analysis of temporal and hypergraph networks His recent publications emphasize: Explosive synchronization phenomena Optimal recharge scheduling in automated systems Strategies for parallel power system restoration Modeling vaccine hesitancy via opinion dynamics Dr. Lo Iudice collaborates internationally on interdisciplinary projects combining control engineering with network science. His work has been applied to pandemic response modeling and smart energy management systems.

• Bioinformatics
• Computational Biology
• Network Analysis
• +۴ مورد دیگر

Simona Ester Rombo is a Full Professor in the Department of Mathematics and Computer Science at Università degli Studi di Palermo (UNIPA), Italy. Her research spans computational biology, bioinformatics, network analysis, and big data approaches applied to biological and social systems. Her primary research interests include: Bioinformatics and computational genomics, particularly focusing on lncRNA-disease associations and RNA editing Network analysis and graph algorithms for biological and social networks Development of software tools for large-scale data analysis in biology Machine learning applications in drug discovery and repurposing Big data approaches for genomic sequence analysis and social network analysis Professor Rombo's publications demonstrate a strong focus on developing computational methods for biological network analysis, with particular emphasis on protein-protein interaction networks, molecular interaction networks, and lncRNA-disease association prediction. Her work bridges computer science and biology, creating practical tools and algorithms that address real biological challenges. Her scientific contributions include: Development of DIAMIN, a software library for distributed analysis of molecular interaction networks Creation of FEDRO, a tool for discovering candidate ORFs in plants with RNA editing Research on topological properties of biological networks and their functional implications Applications of network analysis to drug discovery and repurposing Professor Rombo actively teaches courses related to big data management and software engineering, mentoring students in computer science and artificial intelligence programs. Her office is located at Via Archirafi 34, Floor 2, Room 220 at UNIPA, with office hours on Mondays from 9:30 to 13:30.

Bartolomeo Montrucchioمشاهده پروفایل

استاد

• Computer Vision
• Quantum Computing
• Image Processing
• +۵ مورد دیگر

Bartolomeo Montrucchio is a Full Professor of Information Processing Systems (ING-INF/05) at the Department of Control and Computer Engineering (DAUIN) of the Polytechnic University of Turin. He is a member of the Interdepartmental Center Photonext - PoliTo Interdepartmental Center on Applied Photonics and serves as deputy director at the Interuniversity Center of Regional Interest for the Training of Secondary School Teachers (CIFIS) since July 2012. Additionally, he has held an adjunct professor position at the University of Illinois at Chicago during July 2008. Professor Montrucchio's research spans several cutting-edge areas with a primary focus on quantum computing, computer vision, and sensor networks. His work encompasses image processing, scientific visualization, parallel and distributed systems, and wireless sensor networks. He actively contributes to European research initiatives including the EQUO (European QUantum ecOsystems) project as Scientific Responsible. His research bridges theoretical computer science with practical applications across multiple industries. His publication record shows a strong trajectory toward quantum technologies, with numerous recent publications focusing on quantum machine learning, quantum algorithms for financial applications, and quantum applications in cybersecurity. His work demonstrates increasing emphasis on practical implementations of quantum computing in real-world scenarios, particularly in industrial settings and telecommunications. Best student paper award at BIOSIGNAL2002, conferred by EURASIP, Italy (2002) Associate Editor of IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY (2019-present) Professor Montrucchio actively supervises numerous PhD students working on quantum computing applications across various domains including finance, cybersecurity, traffic optimization, and industrial use cases. His teaching portfolio includes courses on Quantum Computing, Parallel and Distributed Computing, and Image Processing and Computer Vision across multiple degree programs including Computer Engineering, Biomedical Engineering, and Quantum Engineering. He leads multiple research projects funded by both competitive calls and commercial contracts, with a significant focus on quantum technologies since 2019. His patent portfolio includes several inventions related to tire manufacturing processes and visual rehabilitation for telemedicine.

• Approximate computing
• Bayesian networks
• Cybersecurity
• +۷ مورد دیگر

Alessandro Savino is an Associate Professor at the Department of Control and Computer Engineering (DAUIN) of Politecnico di TORINO. He serves as an academic advisor for Bachelor’s and Master’s degree programs in Computer Engineering (Ingegneria Informatica) and contributes to PhD programs in Artificial Intelligence and Computer Engineering. Research Interests: Approximate computing, Cybersecurity (including automotive systems), Dependability, Parallel computing, Reliability analysis, and Neuromorphic architectures. Key Projects: Leads RESCHIP4EU (2024-2028), NEUROPULS (2023-2027), and commercial contracts focused on real-time OS validation and avionics design. Publications: Recent work spans hardware security (e.g., VeriSide for leakage assessment), spiking neural networks (SpikeExplorer, SpikingJET), and automotive cybersecurity (CARACAS, CAN-MM). Teaching: Instructs courses on Parallel and Distributed Computing, Hardware & Wireless Security, and System Programming across Politecnico di TORINO and Scuola IMT Alti Studi - LUCCA. Research Group: Leads the SMILIES group, focusing on resilient computer architectures and life sciences.

• Cybersecurity
• Network Security
• Security Automation
• +۴ مورد دیگر

Fulvio Valenza is an Assistant Professor (Fixed-Term Tenure-Track, RTD-B) at the Department of Control and Computer Engineering (DAUIN) , Polytechnic University of Turin . He is a member of the NETGROUP - Computer Networks Group and teaches courses such as Security of next-generation networks and Data Protection, Privacy, and Anonymity across multiple degree programs including Cybersecurity Engineering and Computer and Systems Engineering. Research Interests: Cybersecurity, Network Security, Security Automation, Distributed Systems, Quantum Cryptography Projects: MIRANDA (EU-funded cybersecurity research), Commercial contracts for "ESCAPE" seminar organization Research Trends in his publications focus on security automation in virtualized/cloud environments, formal verification of network policies, and optimization of security configurations for industrial and automotive systems. His work bridges theoretical methods (e.g., formal verification) with practical deployments (e.g., Kubernetes security, VNF placement). Teaching spans both the Polytechnic University of Turin and the University of Eastern Piedmont (2020-2022), covering topics in network security, cloud technologies, and cybersecurity.

Enrico Tronciمشاهده پروفایل

استاد

• Model Checking
• Cyber-Physical Systems
• Software Engineering
• +۷ مورد دیگر

Enrico Tronci is a Full Professor in the Department of Computer Science at Università degli Studi di Roma La Sapienza , Italy. His research focuses on model checking, formal verification, and synthesis of cyber-physical systems, with applications to mission-critical and safety-critical domains such as space systems, smart grids, and healthcare. He leads the Model Checking Lab (MCLab) and has coordinated numerous national and international research projects funded by organizations including the European Community (EC), European Space Agency (ESA), and Italian Ministry of University and Research (MUR). Research Highlights : Automatic control software synthesis from closed-loop specifications Model checking algorithms for hybrid and stochastic systems Technology transfer in sectors like energy, transportation, and aerospace Teaching : Undergraduate: Software Engineering (Fall 2024) Graduate: Automatic Verification of Intelligent Systems (Fall 2024), Verification and Validation of Intelligent Systems (Spring 2025) Scientific Awards : Recipient of the IBM-Italia 1987 prize for best thesis in Artificial Intelligence Publications Trends : 2024: Scaling up model checking for cyber-physical systems via HPC 2023: Hormonal impact on behavior and fault-tolerant sensor deployments 2021-2022: In silico clinical trials, smart grid management, and scenario enumeration 2020: AI-guided diabetes patient modeling and forensic psychiatry applications Software Tools : QKS (Quantized Kontrol Synthesizer) NashMV (MAD systems verification) CMurphi (Hybrid systems model checker) FHP-Murphi (Probabilistic verification) BSP (Boolean symbolic programming)

Francisco Facchineiمشاهده پروفایل

استاد

• Nonlinear Optimization
• Nondifferentiable Optimization
• Complementarity Problems
• +۴ مورد دیگر

Francisco Facchinei is a Professor at Sapienza University of Rome, affiliated with the Department of Computer, Automatic and Management Engineering Antonio Ruberti within the College of Engineering. His research spans nonlinear and non-differentiable optimization, complementarity problems, variational inequalities, and game theory applications in telecommunications. His work focuses on developing algorithms for nonconvex optimization with ghost penalties, asynchronous distributed methods, and applications in healthcare and communications systems. Key Contributions: Foundational work in variational inequality theory, generalized Nash equilibrium problems, and optimization over dynamic networks. Recent Trends: Emphasis on asynchronous parallel algorithms, stochastic optimization, and non-invasive medical diagnostics via machine learning. He has held academic positions at Sapienza University since 1990, progressing from Ricercatore to Professore Ordinario. No scientific awards are explicitly mentioned in the provided texts.

• Coastal areas ecology
• Lagoons ecosystems
• Open sea ecosystems
• +۱۱ مورد دیگر

Cosimo Solidoro is an Oceanographer and marine ecologist who currently serves as Director of the Oceanography department at OGS (Istituto Nazionale di Oceanografia e di Geofisica Sperimentale). He is also a Professor of 'Ocean Models and Data Analytic' at the University of Trieste, a member of the PhD school in Life Science (Trieste), and of the national PhD school on Earth Observations (Rome Sapienza). His extensive professional engagements include serving as president of the International Society of Ecological Modelling - European Chapter, Italian National Representative of IGBP program IMBER, member of the European Marine Board, and member of the executive board of the European consortium Euromarine. Professor Solidoro's research spans coastal areas, lagoons, and open sea ecosystems, focusing on the impacts of climate change, anthropogenic forcing, and natural phenomena on biodiversity and ecosystem functioning. His work integrates quantitative approaches to sustainability, complex system theory, and ecological-socio-economical systems. He has made significant contributions to developing ocean models and data analytics approaches, particularly applied to the Mediterranean Sea region. His research methodology combines advanced computational modeling with empirical data analysis, often taking an interdisciplinary approach that bridges physical, biological, and social dimensions of marine systems. His publication record shows a strong focus on Mediterranean marine ecosystems, with particular attention to the Venice Lagoon. Recent work (2022-2023) addresses climate change impacts including acidification, deoxygenation, and extreme weather events like Medicane Apollo. Earlier work established foundational models for lagoon ecosystems, mercury cycling, and phytoplankton dynamics. His research demonstrates a progression from developing basic hydrodynamic and ecological models toward increasingly integrated approaches that address sustainability challenges through coupled ecological-socio-economic frameworks. Professor Solidoro has received notable recognition including the Prigogine junior medal (2006) and co-recipient of Denni medals (2008). He serves on the editorial boards of Ecological Modelling, Ecological Informatics, Frontiers in Marine Science, and Bulletin of Oceanography, reflecting his standing in the marine science community. With over 200 research papers published, Professor Solidoro has successfully guided numerous students and postdocs who now hold research positions globally. His current involvement in major initiatives like Extended Partnership RETURN, National Center Future Biodiversity, INEST, and ITINERIS demonstrates continued research leadership. His work as a Lead Author for IPBES assessments highlights the policy relevance of his research. Professor Solidoro maintains an active international network through visiting positions at institutions including Berkeley, IIASA, DTU, and PML.