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).
Luiz Demetrio De Almeida serves as a Lecturer at UniCamillus - Saint Camillus International University of Health Sciences, teaching the BSc program in Radiology, Diagnostic Imaging and Radiotherapy Techniques (L/SNT-3). Concurrently, he holds a permanent clinical position at Rome's Agostino Gemelli University Polyclinic Foundation, specializing in advanced diagnostic imaging for both pediatric and adult patients. His academic credentials include: Graduation in Medical Imaging and Radiotherapy Techniques (Catholic University of the Sacred Heart, Rome; November 2006) Master’s in Healthcare Management for Medical Radiology Technicians (December 2013) Master’s in Diagnostic Healthcare Professions Sciences (Sapienza University of Rome, Policlinico Umberto I; 2016) De Almeida’s expertise centers on cutting-edge imaging technologies, with hands-on experience operating 1.5T/3T MRI systems, 64/128-slice CT scanners, digital mammography, and radiography equipment. His professional focus emphasizes high-fidelity image acquisition for diagnostic accuracy, continuous skill development through international CME courses, and translating clinical innovations into educational practice. He maintains an active commitment to advancing medical radiology technician standards through technical excellence and patient-centered care. A dynamic educator-practitioner, De Almeida bridges academic instruction with frontline clinical work, prioritizing professionalism and adaptability in evolving healthcare environments. His career reflects sustained dedication to diagnostic imaging since 2006 across Rome’s leading hospitals, consistently leveraging state-of-the-art technology to enhance diagnostic outcomes.
Emiliano Maiani is an Associate Professor of Molecular Biology at UniCamillus and serves as Vice Dean of the Departmental Faculty of Medicine. He holds concurrent roles as Research Delegate coordinating the University’s Integrated Research Center and Visiting Scientist at the Danish Cancer Institute. His expertise lies in cellular signaling mechanisms, particularly DNA damage response, autophagy regulation, and S-nitrosylation pathways. He earned his Ph.D. in Cellular and Molecular Biology from the University of Rome Tor Vergata (2013) and conducted postdoctoral research at the Danish Cancer Society Research Center until 2021. His research focuses on molecular mechanisms underlying cancer progression, genomic stability, and cell cycle control. Key areas include GSNOR-mediated regulation of tumor growth, AMBRA1’s role in cyclin D stability, and autophagy’s role in tissue homeostasis. He has published in high-impact journals like Nature and Nature Medicine , with recent work addressing S-nitrosylation in embryonal rhabdomyosarcoma and tendon biology. Maiani serves as a peer reviewer for major scientific journals and evaluates national and EU research projects (Horizon Europe, Marie Skłodowska-Curie Fellowships). His collaborative efforts span computational biology, structural bioinformatics, and protein disorder prediction through initiatives like DisProt database improvements. He also contributes to methodological standards in autophagy research via guideline publications.
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.
Riccardo Marchesin is a PhD student in Mathematics at the University of Trento, concurrently serving as a Tutor in the Department of Mathematics and Department of Industrial Engineering. His academic role involves supporting teaching activities in courses such as Analisi e geometria (DISPARI) and Informatica . He is affiliated with the doctoral programme in Mathematics at the university's Department of Mathematics. Education: PhD candidate in Mathematics (University of Trento). Research Interests: Combines mathematical foundations (analysis and geometry) with theoretical computer science, focusing on imperative programming principles, recursive definitions, and formal program verification. His teaching activities reflect expertise in both mathematical logic and practical programming constructs. Teaching Contributions: Course Tutor for Analisi e geometria in Industrial Engineering. Course Tutor for Informatica , covering programming fundamentals and formal semantics. Labs/Teams: Not explicitly mentioned in available records.
Pietro Ferrara is an Associate Professor in the Department of Environmental Sciences, Informatics and Statistics at Ca' Foscari University of Venice. His research focuses on applying abstract interpretation-based static analysis to address security vulnerabilities in software systems, particularly in blockchain smart contracts, IoT devices, and distributed systems. He is a member of the Software and System Verification group and has contributed to frameworks like LiSA for multilanguage static analysis. Teaching responsibilities include courses such as Software Architectures, Object-Oriented Programming, and Introduction to Coding and Data Management across undergraduate and graduate programs. His work emphasizes formal verification techniques, cybersecurity, and privacy enforcement in modern software systems. Recent research explores static analysis for detecting concurrency issues in Hyperledger Fabric, vulnerabilities in Go-based smart contracts, and GDPR-compliant privacy analysis. Ferrara collaborates with industry on practical applications of formal methods, including security policy extraction for ROS2 and industrial blockchain software determinism. His research has been published in top venues such as ACM SAC and IEEE Access, with a strong focus on bridging theoretical program analysis with real-world software systems. He maintains an active presence in open-source tools and educational materials for static analysis techniques.
Davide Sangiorgi is a Full Professor in the Department of Computer Science and Engineering at the University of Bologna, Italy, where he conducts research and teaching in theoretical computer science. His work is affiliated with the College of Science and Engineering, contributing to foundational advancements in computing. His primary research interests lie in theoretical computer science , with a focus on concurrency theory , process calculi such as the pi-calculus, programming language semantics , and type systems for ensuring program correctness. His work bridges formal methods and programming language design, aiming to enhance the reliability and expressiveness of concurrent and distributed systems. Davide Sangiorgi has authored numerous influential publications in top-tier theoretical computer science venues. His research demonstrates a consistent focus on the logical and mathematical foundations of computation, particularly in modeling dynamic and mobile systems. Over the years, his work has evolved to include behavioral equivalences, coinduction, and session types, contributing to both the theory and practical application of secure and correct communication protocols. No scientific awards were mentioned in the provided text. He is actively involved in academic advising and research supervision, though specific names of students are not listed. He has likely secured research grants through national and international funding bodies in computer science, given his senior academic position and research output, although specific grants are not detailed in the source material. Davide Sangiorgi is associated with the Department of Computer Science and Engineering at the University of Bologna, which serves as his primary research and teaching unit. He may collaborate with research groups in programming languages, formal verification, and distributed systems, both within the university and internationally.
Emanuela Merelli is a Full Professor of Computer Science at the University of Camerino. She leads the BioShape & Data Science Lab, established during her coordination of the EU-FET Project TOPDRIM, which focuses on topology-driven methods for complex systems. Her research integrates formal methods, algebraic topology, and data science to study biological systems like RNA folding and immune responses. She has held a Fulbright Fellowship at the University of Oregon (2005) and remains active in European academic initiatives. Research Interests: Interactive computation, topological field theory of data (TFTD), foundations of learning processes, cell cycle analysis in somatic/cancer cells, and complex systems modeling. Her work bridges theoretical computer science with systems biology, emphasizing topological approaches to data analysis. Awards: Fulbright Fellow (2005), Fellow Member of COST Action CA19122 EUGAIn (promoting gender balance in informatics). She contributes to the European Association for Theoretical Computer Science (EATCS) through leadership roles and educational initiatives. Professional Activities: Promotes open-access publications, organizes international conferences (e.g., ICALP 2022), and develops educational programs like the EATCS Young Researchers School on Complexity and Concurrency. Her work also extends to smart housing technologies for elderly care (Progetto SIAMADA) and seismic engineering applications. Labs & Projects: Leads BioShape Lab exploring topological methods in biology and data science. Coordinates EU-funded projects on RNA structure analysis and complex systems.
Flavio Argiro is an Associate Professor of Criminal Law (IUS/17) at the Department of Law, Economics, Management and Quantitative Methods (DEMM) at the University of Sannio in Italy. His academic work focuses on various aspects of criminal law, with particular attention to criminal participation, legal theory, and contemporary issues in criminal justice. Professor Argiro's research interests span multiple dimensions of criminal law, including criminal participation theories, constitutional guarantees within criminal proceedings, historical perspectives on justice systems, and contemporary challenges in criminal law such as cybercrime, drug policy, and organized crime prosecution. His work demonstrates a strong theoretical foundation combined with practical analysis of current legal issues, reflecting both Italian legal traditions and comparative perspectives, particularly with German criminal law. Analysis of his publication trends reveals consistent scholarly output across two decades, with recent focus on contemporary criminal justice challenges including digital surveillance, cannabis legislation, and evolving interpretations of criminal participation. His work shows particular expertise in analyzing Supreme Court rulings and their implications for criminal law doctrine. The publications reflect a blend of theoretical legal scholarship and practical legal analysis, often connecting historical legal concepts with modern applications. Professor Argiro has demonstrated scholarly productivity across various publication formats including monographs, journal articles, and contributions to edited volumes. His work appears in both Italian and international legal publications, indicating engagement with broader legal scholarship communities beyond national boundaries.
Giovanna Guerrini is an Associate Professor in the Department of Informatics, Bioengineering, Robotics, and Systems Engineering (DIBRIS) at the University of Genoa, Italy. She is actively involved in research, teaching, and academic service, with leadership roles in major conferences such as EDBT (Executive Board Member and Treasurer), SOFSEM (Track Chair), and UMAP (Workshop Chair). Her research interests include: Data Management Large Scale and Semantic Data Management Approximate and Adaptive Query Processing Linked Data and Ontology Matching Graph Matching and Geospatial Ontologies Spatio-Temporal Data and Location Inference Computer Science Education and Computational Thinking Her recent publications show a growing focus on computer science education, particularly in using gamified and extended reality environments, Sonic Pi for teaching concurrency, and AI-driven tools for enhancing computational thinking. This reflects a shift toward pedagogical innovation and student-centered learning methodologies. She has been recognized through active participation in top-tier program committees (SIGMOD, ISWC, ICDE) and organizing key workshops and schools (EDBT School 2017, APCSE at UMAP). No formal scientific awards are listed in the provided text. She advises multiple PhD students, both current and past, and contributes to academic grants and collaborative projects, particularly in database education and data science initiatives. She is affiliated with research groups including the DaMA Research Group, Data Science and Engineering Research Program, Big Data Interest Group UniGe, and CINI Big Data Research Lab.
Luca Olivieri is a Researcher at the Department of Environmental Sciences, Computer Science and Statistics at Ca' Foscari University of Venice. His research focuses on blockchain technology, software verification, and cybersecurity, with particular emphasis on static analysis of smart contracts and distributed ledger systems. He is affiliated with the Research Institute for Complexity and teaches courses on computer programming and software verification at both undergraduate and doctoral levels. His research interests include blockchain interoperability, smart contract security, privacy-preserving technologies, and compliance with regulations such as the EU Data Act and GDPR. He has contributed to the development of static analysis tools like GoLiSA and MichelsonLiSA, which address challenges in ensuring determinism, data integrity, and vulnerability detection in blockchain ecosystems. Recent work explores cross-chain verification, phantom reads in Hyperledger Fabric, and the integration of general-purpose programming languages (e.g., Go, Java) into blockchain development. His publications appear in venues such as ACM SAC, IEEE Access, and the International Journal on Software Tools for Technology Transfer, reflecting a strong focus on both theoretical advancements and industrial applications. Collaborations with peers like Agostino Cortesi, Fausto Spoto, and Pietro Ferrara highlight his engagement in interdisciplinary research addressing cutting-edge topics in blockchain software engineering and formal verification.
Davide Ancona is an Associate Professor at the University of Genoa, Italy, in the Department of Computer Science, Bioengineering, Robotics, and Systems Engineering (DIBRIS). He holds key governance roles: Member of the School Council, School of Mathematical, Physical and Natural Sciences Member of the Department Board, DIBRIS His teaching portfolio spans Internet of Things, Healthcare IoT, Wearable Devices, Programming Languages, and Pervasive Computing across Computer Science and Bioengineering degree programs. His research concentrates on: Formal Methods and Programming Languages (specializing in corecursive streams and type systems) Runtime Verification for software correctness and multi-agent systems Internet of Things applications in healthcare contexts His work bridges theoretical foundations with practical verification tools for critical systems. Analysis of his 2023-2024 publications reveals: Foundational advances in corecursive stream equivalence and expressivity Novel applications of logic programming to runtime monitoring Techniques for verifying mutable object behavior in Java Extensions to robotic multi-agent frameworks like JaCaMo These contributions demonstrate a cohesive trajectory from theoretical programming language research to real-world IoT and healthcare validation systems.
Giorgio Casari is a Full Professor of Medical Genetics at the Faculty of Medicine, Vita-Salute San Raffaele University in Milan, where he also serves as Director of the Center for Genomics, Bioinformatics, and Biostatistics at the San Raffaele Scientific Institute. With over 35 years of experience, his career includes leadership roles as Head of the Human Molecular Genetics Unit (2000-2009) and Research Coordinator at TIGEM (1994-2000). He teaches undergraduate and graduate courses in genetics and biotechnology across three degree programs. His research centers on mitochondrial origin neurodegenerative genetic diseases, integrating molecular genetics, genomics, and bioinformatics to investigate pathogenic mechanisms. Key focus areas include Wolfram syndrome, spinocerebellar ataxias, and the role of inborn errors of immunity in severe viral infections. His work has revealed critical insights into autoantibodies against type I interferons in life-threatening SARS-CoV-2 and West Nile Virus infections, with implications for rare disease diagnostics and personalized therapeutics. Analysis of his 221 publications shows a dominant 2023-2025 trend in immunogenetics of infectious disease susceptibility, particularly inborn errors affecting interferon pathways (NF-κB, MyD88, IRAK-4, OAS-RNase L). Concurrently, he maintains strong output in mitochondrial neurodegeneration and rare metabolic disorders, with high-impact publications in Nature, Science, and Journal of Experimental Medicine reflecting translational significance. Scientific Awards: No specific awards documented in provided materials Advising and Grants: Doctoral Committees: Continuous service on International PhD Program in Molecular Medicine committees (Cycles 31-40, 2015-2024) Research Leadership: Principal contributor to IRDiRC initiative on newborn screening for inherited metabolic disorders Labs and Teams: As Director of the Center for Genomics, Bioinformatics, and Biostatistics, Casari leads a multidisciplinary team providing genomic data analysis, bioinformatics pipeline development, and biostatistical modeling for San Raffaele Scientific Institute researchers. The center specializes in rare disease genomics, neurodegenerative disorder mechanisms, and infectious disease susceptibility profiling, supporting over 20 research groups through high-throughput sequencing and computational infrastructure.
