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.
Mattia Mattioni is Associate Professor at the DIAG department of Sapienza University of Rome, where he carries out research and teaching in control engineering. Since 2022 he serves as Associate Editor for the IEEE Control Systems Society Conference Editorial Board and since 2020 as Corresponding Member of the IFAC Technical Committee on Non-linear Control Systems. Education: Ph.D. in Systems and Control Theory (2018) – joint program, Sapienza Università di Roma & Université Paris-Sud Double M.Sc. "Master de Recherche en Automatique, Traitement du Signal et des Images" (2015) – Université Paris-Sud M.Sc. (Laurea Magistrale) in Control Engineering (2014) – Sapienza Università di Roma, magna cum laude B.Sc. (Laurea) in Control Engineering (2012) – Sapienza Università di Roma, magna cum laude Research interests revolve around hybrid systems , networked control , nonlinear dynamics under sampling and time-delays , with emphasis on multi-agent consensus , passivity-based design and string stability of vehicle platoons . His work blends theoretical developments (Lyapunov and geometric techniques) with practical digital implementation issues, producing tools applicable to robotics, automotive formations and general sampled-data engineering systems. Recent publications (2024-2025) concentrate on digital passivity-based control , asynchronous sampled-data consensus , string-stable platooning and multi-consensus in hybrid networks , showing a clear trajectory toward robust, distributed and energy-aware control solutions for cyber-physical systems. Scientific awards: Premio SIDRA "Miglior Tesi di Dottorato 2019" – best Italian Ph.D. thesis in Automatic Control Finalist, Prix des meilleures thèses du GDR MACS & Club EEA 2019 – best French-university Ph.D. thesis in Automatic Control Editorial & committee service: Associate Editor, IEEE CSS Conference Editorial Board (2022-present) Corresponding Member, IFAC TC 2.5 Non-linear Control Systems (2020-present) No graduate students or grant details are disclosed in the supplied material; his office is located in room A205, DIAG, Via Ariosto 25, Rome.
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.
Roles & Affiliations: Professor at the Department of Computer Science, University of Pisa since at least 2005. Active in teaching and research in Bioinformatics and Algorithms. Collaborative roles at University of Siena for Bioinformatics master programs. Affiliations: University of Pisa (primary), University of Siena (visiting roles). Education Background: PhD in Computer Science (implied via academic rank) Advanced training in Computational Biology and Algorithm Design Research Interests: Focuses on string algorithms with applications in bioinformatics , including genomic sequence analysis, variant discovery, and algorithmic foundations. Specializes in elastic-degenerate string processing, pangenome graphs, and efficient data structures for large-scale genomic data. Develops tools like WhatsHap for haplotype assembly and RettDb for disease genomics. Teaching Contributions: Core courses in Algorithms, Bioinformatics, and Programming for undergrad/graduate students Master's courses in Bioinformatics and Data Science (University of Pisa/Siena) PhD-level workshops on genomic algorithms Recent Trends in Articles: Recent work emphasizes deep learning applications in genomics , efficient string indexing methods , and pangenome analysis . Explores new paradigms for comparing elastic-degenerate strings and managing genomic variation data at scale. Active in algorithmic foundations and interdisciplinary applications. Grants & Labs: Leads research teams in bioinformatics algorithm development. Involved in EU-funded projects on computational genomics and algorithmic methods. Collaborates with medical institutions on translational research (e.g., Rett syndrome genomic database).
Prof. Paolo Ferragina is a Full Professor at the Department of Computer Science, University of Pisa. He leads the Advanced Algorithms and Application Lab (Acube), focusing on algorithms for Big Data compression, indexing, and analysis. His work includes collaborations with MIT, Harvard, Google, and others. He has received prestigious awards like the ACM Paris Kanellakis Award (2022) and the ESA Test of Time Award (2023). Education: Laurea (summa cum laude, 1992) and PhD (1996) from the University of Pisa, Postdoc at Max-Planck Institute for Informatics (1997–1998). He has held roles such as Vice-Rector for ICT (2019–2022) and President of the PhD in Computer Science program (2017–2020). Research interests span compressed data structures, search engines, sports analytics, and DNA-based data storage. His work on the FM-index and TAGME system has had significant impact. He co-founded PlayeRank, a startup for soccer performance analysis. Grants and collaborations include Google Cloud Research Innovator (2022), Yahoo! Research Award (2007–2010), and projects with European Broadcasting Union and ST Microelectronics. He has authored over 180 papers and books like Computational Thinking and Pearls of Algorithm Engineering . Labs/Teams: Acube Lab at University of Pisa, collaborations with MIT’s Senseable City Lab, Harvard’s Pinello Lab, and industry partners like Bloomberg and ENEL.
Francesco Tosoni is a Research Fellow at the University of Pisa's Department of Computer Science, affiliated with the Acube Laboratory (A³), directed by Prof. P. Ferragina. He holds a PhD in Computer Science from the University of Pisa, completed in 2024, and an MSc in Computer Science and Networking from the University of Pisa and Sant’Anna School of Advanced Studies (2020). His research focuses on lossless data compression, string indexing, big data analytics, and energy-efficient algorithms. He has conducted collaborative work with the Software Heritage team and was a visiting researcher at the University of Chile in 2022. Awards include the Con.Scienze 2020 Best Thesis Award and recognition as the top graduate in his MSc program. Recent projects include developing compressed formats for matrices and trie structures, with applications in green computing and efficient storage systems. Education: PhD in Computer Science, University of Pisa (2024), advisors: P. Ferragina and G. Manzini MSc in Computer Science and Networking, University of Pisa & Sant’Anna School (2020) BSc in Computer and Electronic Engineering, University of Perugia Research Interests: Lossless data compression techniques, energy-efficient algorithms, matrix and trie compression, stringology, big data analytics, and urban mobility platforms. Recent work emphasizes environmental sustainability in computing through optimized compression formats. Key Contributions: Developed the CoCo-trie compression method for efficient string storage Proposed novel compressed formats enabling direct matrix operations without decompression Recipient of grants for urban mobility algorithms and software heritage projects Awards: Con.Scienze 2020 Best Thesis Award (MSc thesis) Best Graduate in MSc Computer Science and Networking (2018/19) Advising & Grants: Supervised Federico Ramacciotti's MSc thesis on compression techniques in key-value stores Recipient of a 2020 research grant on algorithms for urban mobility platforms Labs & Teams: Core member of the Acube Laboratory, collaborating with global teams such as the Software Heritage initiative and Prof. Gonzalo Navarro's group in Chile.
Alessandro De Luca is an Assistant Professor of Computer Science at the Department of Electrical Engineering and Information Technology (DIETI) of the University of Naples Federico II, Italy. He has held previous positions at the University of Turku (Finland) and UQAM (Canada). PhD in Mathematical and Computer Science (2008), University of Naples Federico II MSc in Mathematics (2003), University of Naples Federico II His research focuses on combinatorics on words , with emphasis on Sturmian words, Christoffel words, pseudopalindromes, rich words, and their connections to number theory, automata theory, and discrete mathematics. Key contributions include work on well-distributed occurrences (WDO) in infinite words, aperiodic pseudorandom number generation, and the study of open/closed prefixes in Sturmian sequences. Recent publications highlight his expertise in digital segments , semi-regular continuants , and structural properties of combinatorial words . Collaborative efforts include work with Gabriele Fici (University of Palermo), Golnaz Badkobeh (Goldsmiths University of London), and Luca Zamboni (Université Lyon 1). He has participated in international conferences such as WORDS , DLT , and FLA , and is affiliated with research groups including the Centre for Combinatorics on Words and Applications (CCWA) at Murdoch University and GNSAGA (INdAM).
Florin Silviu Manea is a Professor for Theoretical Computer Science at the Institute of Computer Science, University of Göttingen, Germany. He has held this W3-Professor position since 2022, funded by the Heisenberg programme of the DFG. Prior to this, he was a W2-Professor for Fundamentals of Computer Science at the same university (2019-2022). His academic career includes research positions at Kiel University (2011-2019) and an Alexander von Humboldt fellowship at the University of Magdeburg (2009-2011). Dr. Manea received his PhD in December 2007 from the University of Bucharest with the distinction Summa cum Laude. His PhD thesis was titled "Networks of bio-processors" and was supervised by Victor Mitrana. He also earned a Master of Science (2005) and Bachelor of Science in Computer Science (2003) from the University of Bucharest, both with perfect GPA scores of 10/10. Professor Manea's research focuses on the theoretical foundations of computer science, with particular emphasis on string algorithms and combinatorics. His work explores the intricate relationships between formal language theory, automata theory, and practical applications in string solving. He has made significant contributions to understanding pattern matching with variables, combinatorial properties of strings, and the computational aspects of word equations. His research bridges theoretical concepts with practical applications in areas like bioinformatics and programming language theory. Analysis of Professor Manea's recent publications reveals a strong focus on string algorithms, particularly in the areas of pattern matching, word equations, and combinatorics on words. His work often explores the computational complexity of string problems while developing efficient algorithms to solve them. A recurring theme is the investigation of repetitions, palindromes, and gapped structures in strings, with applications ranging from DNA sequence analysis to programming language design. His research demonstrates a consistent pattern of advancing both the theoretical understanding and practical applications of string algorithms. Professor Manea has received several prestigious awards for his contributions to computer science: Lehrpreis 2020 (Teaching Award) by CS-students from Göttingen The "Tudor Tanasescu" Prize of the Romanian Academy (2009) Honorable Mention at ACM International Collegiate Programming Contest World Finals (2004, 2007) As an advisor, Professor Manea has successfully supervised multiple PhD students to completion with highest honors, including Maria Kosche (2023), Stefan Siemer (2024), and Tore Koß (2024), all achieving Summa cum Laude distinctions. He currently leads a research group focused on theoretical computer science at the University of Göttingen. His research is supported by significant funding, including a DFG grant for "String Constraint Solving: Combinatorial, Algorithmic, and Language-Theoretic Approaches" and continued Heisenberg-programme funding until 2027 for his project "Combinatorial String Solving." Professor Manea leads the Theoretical Computer Science research group at the University of Göttingen, which focuses on string algorithms, combinatorics, and computational models. His group actively collaborates with researchers worldwide and has organized several major conferences including DLT 2024, NCMA 2024, and CSL 2022. The group offers supervision for BSc and MSc theses on both theoretical and applied topics related to their research areas.
Olindo Corradini is an Associate Professor at the University of Modena and Reggio Emilia , affiliated with the Department of Physical, Computer and Mathematical Sciences . His research focuses on theoretical physics of fundamental interactions , particularly in the application of worldline formalism to quantum field theory (QFT), gauge theories, and curved spacetime physics. He teaches Mathematical Methods for Physics and Advanced Quantum Field Theory , emphasizing complex analysis, linear vector spaces, and gauge theory foundations. Research Interests : Quantum field theory, mathematical physics, worldline formalism, gauge and gravity amplitudes, higher spin field equations, and applications to astrophysical magnetic fields. His work often unifies theoretical physics with computational methods , such as Monte Carlo sampling for curved space path integrals. Publications highlight his expertise in: Worldline representations of effective actions and scattering amplitudes Non-Abelian gauge theory and color-kinematics duality Quantum mechanical path integrals on maximally symmetric spaces Trace anomalies and renormalization in curved spacetime Teaching : Courses on mathematical methods for physics and advanced QFT demonstrate his commitment to both foundational and cutting-edge theoretical physics education.
Simone Faro is an Associate Professor at the University of Catania , affiliated with the Department of Mathematics and Computer Science . He has held this position since 2015, after serving as a University Researcher from 2006 to 2015. Teaches Algorithms and Laboratory (Bachelor's L31) and Quantum Computer Programming (Master's LM18) Also teaches Computer Science (Bachelor's L20) and previously held Computational Linguistics (Master's LM49) at the Department of Humanities Research Focus : Algorithmic solutions for text-processing and natural language processing Combinatorial algorithms on graphs and networks Privacy-preserving text processing Bit-parallel automata simulations Quantum domain algorithm design Research Projects : Co-Principal Investigator for STORAGE (2020), University of Catania Responsible for Scientific Degrees Plan (PLS 2019/21) Component in Godscapes project (2020) and COMPACT project (2015) Principal Investigator for multiple string matching and secure text processing projects Editorial Roles : Guest Editor for Algorithms journal (MDPI) special issues Editor for String Processing and Combinatorial Algorithms (Springer Nature) Member of Le Matematiche editorial team Contact: faro@dmi.unict.it | simone.faro@unict.it
Lorenzo Galleani serves as Associate Professor at the Department of Electronics and Telecommunications within the College of Electronic, Telecommunications and Physics Engineering at Polytechnic University of Turin. His academic appointment falls under Scientific Disciplinary Sector IINF-03/A (Telecommunications) in Area 0009 (Industrial and Information Engineering). His research focuses on signal processing for atomic timing in global navigation satellite systems and nonstationary signal processing , with significant contributions to optical time scale development and atomic clock anomaly detection. As principal investigator of the Navigation, Signal Analysis and Simulation (NavSAS) Group, he bridges theoretical signal processing with practical timekeeping applications. Recent publications demonstrate a clear trajectory toward optical clock integration and robust timescale algorithms , particularly through EU-funded projects like ROCIT. His work shows increasing emphasis on sub-nanosecond precision timekeeping for next-generation satellite navigation systems. Galleani has supervised doctoral students in Metrology across ten consecutive academic cycles (2014/15-2022/23) and teaches core courses including Signal Processing: Methods and Algorithms for Communications Engineering. His extensive grant portfolio includes EU Horizon 2020 projects, national PRIN grants, and commercial contracts with space agencies focused on Galileo system support. He leads the Navigation, Signal Analysis and Simulation (NavSAS) research group, which develops signal processing techniques for satellite navigation timing systems. Current projects focus on optical clock integration for international timescales and robust time reference architectures for European GNSS services.
Simone Rinaldi is a full Professor at the Department of Information Engineering and Mathematical Sciences, University of Siena. His research spans combinatorics, formal languages, and discrete tomography, with a focus on enumeration and algorithmic generation of combinatorial structures. Research Interests: Enumerative and bijective combinatorics Pattern avoiding permutations and lattice paths Discrete tomography for hypergraphs and polyominoes Formal languages and tiling systems Applications to computer science and mathematical biology Publication Trends : His recent work emphasizes hypergraph reconstruction, discrete geometry, and combinatorial optimization for game theory problems, alongside advancements in tiling systems and Burrows-Wheeler transform properties.
Pietro Grassi is an Associate Professor at the University of Eastern Piedmont Amedeo Avogadro, affiliated with the Department of Science and Technological Innovation. His research focuses on theoretical physics, particularly supergravity, superstring theory, and mathematical physics. He has contributed extensively to topics like integral forms, supersymmetry, and quantum field theories. Grassi has led projects such as 'Gauge Theories and their Geometries' (2019–2022) and 'Quantum Structure of Spacetime' (2016–2018), emphasizing geometric and algebraic approaches to fundamental physics. His work bridges abstract mathematics and physical models, with applications to brane dynamics, supergravity models, and holography. Recent publications explore self-dual Maxwell theory, fermionic cohomologies, and graph neural networks in diffusion analysis. Collaborations span global institutions, reflecting his interdisciplinary impact.
Daniele Angella is a Professor at the Dipartimento di Matematica e Informatica 'Ulisse Dini' of the University of Florence. His research focuses on complex non-Kähler geometry, Hermitian metrics, and cohomological properties of manifolds. He has contributed significantly to the study of locally conformally Kähler manifolds, Oeljeklaus-Toma manifolds, and geometric structures on complex spaces. Key areas of interest include Hermitian metrics, differential geometry, and geometric formalities. His work often intersects with symplectic geometry and algebraic geometry, addressing topics such as cohomogeneity one metrics, Calabi-Yau manifolds, and machine learning applications in geometry. Angella has authored over 60 papers, with recent contributions exploring Vaisman manifolds, Oeljeklaus-Toma rigidity, and Chern-scalar curvature stability. He has organized workshops and conferences, such as the 'Complex and Symplectic Geometry Workshop' and the 'CIME school on Complex non-Kähler geometry'. His research also involves collaborations with institutions worldwide, reflecting his international academic engagement.
Giuseppe Vallone is a Full Professor at the Department of Information Engineering, University of Padova, where he has served since February 2024. Previously, he was an Associate Professor (May 2019-January 2024) and Assistant Professor (May 2011-April 2019) at the same institution. His career spans quantum optics, quantum communication, and quantum information, with a focus on practical implementations of quantum technologies. Born in 1979 in Vico Equense (Naples), Vallone earned his Master's degree in Physics from the University of Torino in 2002 with top honors ("110/110 lode e menzione"). He completed his Ph.D. in Theoretical Physics at the University of Torino in 2006, with a thesis on String Theory titled "Nonperturbative aspects of gauge theory from strings" under the supervision of Professor A. Lerda. During his Ph.D., he was awarded a Marie Curie Fellowship, which allowed him to conduct research at the Nordic Institute for Theoretical Physics (NORDITA) in Copenhagen for 11 months. Vallone's research focuses on quantum optics, quantum communication and information, and quantum key distribution. His work has advanced the experimental implementation of Quantum Random Number Generators and Quantum Key Distribution protocols, particularly for earth-satellite communication. He leads the Quantum Communications group (also known as QuantumFuture) at the University of Padova, which has developed expertise in practical quantum communication systems. His team has made significant contributions to time-bin encoding, device-independent protocols, and space-based quantum communication. His recent publications reveal a strong trend toward practical quantum communication systems, with emphasis on satellite-based quantum networks, integrated photonics for quantum applications, and field demonstrations of quantum key distribution. His work bridges fundamental quantum physics with real-world applications, particularly in secure communication. Recent projects include high-speed quantum random number generators, intermodal quantum key distribution systems that work across different communication channels, and experiments combining quantum mechanics with general relativity. 2008: "Vito Volterra prize for young master student graduated in Physics after May 2001" from Societa Italiana di Fisica (S.I.F.) 2003-04: "Marie Curie training site" fellowship at NORDITA institute (Copenhagen) 2003: "OPTIME 2002/03 prize" from Industrial Association of Torino 2003: "Best master thesis of each course (a.y. 2001/02)" from University of Torino Vallone has secured significant research funding as principal investigator, coordinating multiple European projects including QUDICE (Horizon-EU, 2023-2024), QUANGO (EU-H2020, 2021-2023), and QUASAR (CARIPARO, 2020-2023). He has also served as principal investigator for projects funded by ESA, EU-QUANTERA, and ASI. His research group, QuantumFuture, has conducted field trials of quantum key distribution in Padua's metropolitan area and has developed integrated photonic solutions for quantum communication. Current work focuses on satellite quantum communication, quantum-secured time transfer, and the intersection of quantum mechanics with general relativity. The QuantumFuture research group at Padova, led by Vallone, specializes in practical quantum communication systems. They have developed expertise in experimental implementations of Quantum Random Number Generators and Quantum Key Distribution protocols, with particular emphasis on earth-satellite communication. The group has successfully demonstrated quantum communication over classical network infrastructure in Padua and has made significant progress on integrated photonic solutions for quantum technologies. Their research spans from fundamental quantum physics to deployable quantum communication systems.
