Luca Geretti-Dep is a Temporary Assistant Professor in the Department of Computer Science at the University of Verona. His primary research focus is formal verification of hybrid nonlinear systems, with applications in robotic surgical systems. He collaborates with the robotics group and leads the Ariadne software package for hybrid system reachability analysis. His additional expertise includes neural networks, parallel computing, and sensor networks. Teaching responsibilities include modules on Operating Systems, Computer Architecture, and related topics across multiple academic years. He holds leadership roles in university committees, such as the Computer Science Teaching Committee and Department Council. Research affiliations include the ForMe group (Formal Methods for Engineering Systems) and participation in projects like 'Formal Methods for Verification of Hybrid Systems' and 'Control for Coordination of Distributed Systems'. He contributes to laboratories such as OPDATE SPY (Formal Methods Lab) and has connections to spin-off companies like 3Dflow s.r.l.
Professor Phil Trinder is a Professor of Computing Science at the University of Glasgow's School of Computing Science. He leads the Glasgow Parallelism Group (GPG) and is a member of the Glasgow Systems Section (GLASS). His research focuses on parallel and distributed programming models, functional programming, and scalable systems. Education: DPhil (Doctor of Philosophy) from the University of Oxford. Research Interests: Design and implementation of high-level distributed/parallel programming models, computational algebra applications, and collaboration with industry (Ericsson, Microsoft, etc.). Publications span over 78 works, emphasizing parallel algorithms, distributed systems, and functional programming frameworks like Erlang. Recent work explores tierless IoT architectures and reliability in distributed platforms. Grants/Projects: Principal Investigator on 12 major projects, including EU funding and EPSRC grants. Notable contributions to SD Erlang and SymGrid-Par frameworks. Labs/Teams: Glasgow Parallelism Group (GPG), GLASS section, and involvement in the Scottish Programming Languages Seminar (SPLS).
Josie Esteban Rodriguez Condia is a Fixed-term Assistant Professor in the Department of Control and Computer Engineering (DAUIN) at Politecnico di Torino. She is a member of the CARS@PoliTO Interdepartmental Center - Center for Automotive Research and Sustainable Mobility and serves as an invited member of both the College of Electronic, Telecommunications, and Physics Engineering and the College of Computer, Film, and Mechatronics Engineering. Her research focuses on computer architecture reliability, particularly in GPU and AI accelerator systems. Key areas include functional testing, general purpose graphics processing units (GPGPUs), hardware accelerators, hardware architecture, and parallel processing. Her work addresses critical challenges in reliability assessment of AI-based automotive systems, self-test libraries for tensor cores, and hardening techniques for neural networks on GPUs. Her recent publications demonstrate a strong trend toward reliability engineering for AI hardware, with particular emphasis on automotive applications and GPU-based neural network implementations. The research spans fault injection methodologies, error modeling, and architectural solutions to enhance system resilience against soft errors and permanent faults. Dr. Rodriguez Condia actively supervises PhD students including Gustavo Vilar De Farias, Giuseppe Esposito, and Robert Alexander Limas Sierra, all working on reliability evaluation and enhancement of neural networks. She is a member of the PNRR Research Group for the National Center for HPC, Big Data and Quantum Computing (2022-2025). She teaches multiple courses including GPU Programming and High Performance Computing for both Computer Engineering and Quantum Engineering programs. Her editorial work includes serving as Guest Editor for APPLIED SCIENCES in 2024.
Emanuele Dri is a PhD student in Quantum Computing at Politecnico di Torino, Italy, under the Department of Automatic Control and Computer Science (DAUIN). He also serves as an external teacher and teaching assistant, collaborating on courses in Computer Science and Quantum Engineering. His research focuses on quantum algorithms for financial applications, reliability of quantum circuits, and bridging academic research with industry needs. Education: M.Sc. in Data Science and Engineering from Politecnico di Torino (2021), with a thesis on Machine Learning for text classification. Research interests include quantum computing, data science, computer vision, AI, parallel systems, and financial applications. He has contributed to projects on quantum fault tolerance, algorithm optimization, and financial modeling with quantum circuits. Awards include a 2023 Teaching Quality Award (95.5% satisfaction) and 2024 Quality Awards. His teaching roles span courses in Computer Science and Quantum Computing modules for engineering programs. Publications highlight advancements in quantum finance, error propagation in quantum neural networks, and transpilation effects on quantum circuit reliability. Collaborations with institutions like Intesa Sanpaolo reflect his industry-oriented research.
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.
Dr. Daniel Casini is an Assistant Professor at the Department of Information Engineering and Computer Science, Sant'Anna School of Advanced Studies. His academic journey includes a PhD (2016–2019) and postdoctoral research (2019–2021) in Real-Time Systems. He specializes in real-time scheduling algorithms, edge computing, and embedded system predictability. His work focuses on optimizing latency, resource allocation, and security in cyber-physical systems. Education: PhD in Computer Science, Sant'Anna School of Advanced Studies (2016–2019) Postdoctoral Researcher in Real-Time Systems (2019–2021) Research Interests: Real-Time Scheduling (Partitioned/EDF/Gang Scheduling) Edge Computing and Predictable Virtualization Middleware Optimization (DDS/ROS 2) Hardware-Software Co-Design for Cyber-Physical Systems Security-Temporal Trade-offs in Critical Systems Key Contributions: Developed MATERIAL framework for edge real-time applications on QNX RTOS Pioneered analysis of QNX IPC predictability and Linux kernel noise Designed latency-optimized thread chains for DDS middleware Awards: IEEE TCCPS Early-Career Award 2023 Labs/Teams: Active contributor to the SPHERE project, developing heterogeneous multi-SoC architectures for next-gen cyber-physical systems.
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.
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.
Luciano Tarricone is a Full Professor of Electromagnetic Fields in the Department of Innovation Engineering at the University of Salento, Italy. He teaches core courses such as Electromagnetic Fields for the Bachelor's in Information Engineering and Applied Electromagnetics for the Master's in Communication Engineering and Electronic Technologies. His office is located at the Ecotekne Center, Pal. O, Lecce-Monteroni. He has been actively involved in academic and research activities at the university since 2001. His research focuses on the interaction between electromagnetic fields and biological systems, numerical dosimetry using parallel FDTD methods, innovative radiopropagation modeling, optimization of radio base station networks, CAD of antennas and microwave circuits, and supercomputing applications in electromagnetics. He coordinates the Electromagnetic Fields research group and has led multiple industrial and fundamental research projects. His expertise spans both theoretical and applied aspects of electromagnetics, with strong interdisciplinary connections to biomedical engineering and telecommunications. The recent publications and teaching materials reflect a consistent focus on bioelectromagnetics, EM safety, wireless technologies (including RFID and IoT), radar systems, and computational methods. His work integrates theoretical modeling, numerical simulation, and practical applications in health, telecommunications, and environmental monitoring. Full Professor of Electromagnetic Fields (ING-INF/02) Chair of Electromagnetic Fields Coordinator, Electromagnetic Fields Research Group Member of various academic committees at department and faculty levels Luciano Tarricone has not received any explicitly mentioned scientific awards in the provided text. However, his leadership in research projects and extensive teaching responsibilities indicate significant academic recognition. He advises students through project-based learning in his Applied Electromagnetics course, where students develop and present practical projects. Although specific grant details are not listed, he has coordinated several basic and industrial research projects. His research group is active in multiple domains, particularly bioEM interaction, human-antenna dosimetry, and computational electromagnetics, with potential collaborations in biomedical and telecommunications sectors.
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.
Alessandro Tasora is a Full Professor at the University of Parma in the Department of Industrial Engineering and Department of Engineering and Architecture . He directs the Digital Dynamics Lab and serves as Scientific Director of the Smart Production Lab 4.0 . His work spans theoretical mechanics, robotics, and high-performance computing. Director, Digital Dynamics Lab (2019–present) Scientific Director, Smart Production Lab 4.0 (2017–present) National Scientific Qualification for Full Professor (2016) Honorary Associate, University of Wisconsin-Madison (2009–present) Research focuses on non-smooth multibody dynamics , GPU-accelerated simulation , and industrial robotics . He developed the Chrono::Engine software for multibody physics and HyperOCTANT for NLCP problems. His work addresses granular flows in nuclear reactors, vehicle mobility on deformable terrain, and historical structural analysis. Key article trends include GPU-based HPC for large-scale simulations, cone complementarity in contact dynamics, and isogeometric beam formulations for flexible bodies. Collaborations with Argonne National Laboratory and Fraunhofer ITWM highlight his international impact. Top-SNIP Paper (2017) International CAE Conference Poster Award (2015) Best Paper, Asian Conference on Multibody Dynamics (2010) TOP4 Paper, RAAD Robotics Workshop (2011) He has supervised over 40 theses in automation, tribology, and robotics. Grants include FFABR-MIUR , US Army RIF , and CNR projects . Projects involve seismic protection, autonomous AGVs, and Industry 4.0 consulting.
Claudio SILVESTRI is an Associate Professor at Ca' Foscari University of Venice, affiliated with the Department of Environmental Sciences, Computer Science and Statistics. He specializes in Computer Science (INFO-01/A), with a focus on data mining, privacy in location-based services, and spatio-temporal data analysis. His research integrates computer science with environmental and biomedical applications. Teaching Responsibilities include courses on Advanced Data Management (Computer Science) and Geographic Information Systems (Environmental Sciences) at the Master's level across multiple academic years. Research Interests span: Algorithms for privacy protection in location-based services Spatio-Temporal Data Warehouses and trajectory analysis Parallel computing on GPU and cloud platforms Applications in fisheries monitoring and diabetic kidney disease modeling Funding Projects include EU initiatives like H2020 (e.g., DC-ren for kidney disease research) and regional grants (e.g., ADMIN4D on Industry 4.0). Key collaborations involve researchers like Salvatore ORLANDO and Debora SLANZI. He is affiliated with the European Center for Living Technology (ECLT) and the Research Institute for Social Innovation. Office hours are held Wednesdays 2-4 PM by email appointment.
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.
Claudio Passerone is a Tenured Associate Professor at the Department of Electronics and Telecommunications (DET) of Politecnico di Torino. He is affiliated with the College of Electronic, Telecommunications and Physics Engineering and serves as an Invited Member in the College of Computer, Film, and Mechatronics Engineering. His teaching focuses on electronics for embedded systems across multiple academic cycles. Research interests: Embedded Systems, Hardware-Software Co-design, Machine Learning, Cubesat, and Low-Cost Space Technologies Skills: Computer Architecture, Distributed Systems, Signal Processing, and Machine Learning Applications He supervises Pierpaolo Mori', whose PhD research explores DNN optimization techniques. Passerone contributes to the Nanosatellites research group and leads initiatives in the Zero Robotics competition.
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.
