Find Academic Supervisors

• Computer Engineering
• Circuit Design
• Fault Tolerance
• +6 more

Matteo Sonza Reorda is a Full Professor at the Polytechnic University of Turin, affiliated with the Department of Automatic Control and Computer Science (DAUIN). He holds roles such as Partnership Agreement Coordinator with SMAT and has served as Vice-Rector for Research (2021–2024). His research focuses on fault tolerance, hardware reliability, and AI acceleration, with contributions to GPU/CNN reliability, self-test libraries, and defect-oriented testing. Education: M.S. in Electronics Engineering, Politecnico di Torino (1986) Ph.D. in Computer Engineering, Politecnico di Torino (1990) Research Interests: His work spans automatic test equipment, circuit reliability, GPU fault tolerance, neural network hardening, and embedded systems safety . He leads the Electronic CAD & Reliability Group and collaborates with institutions like the ISI Foundation and the National Research Council (CNR). Publications & Impact: With over 180 publications, his recent work emphasizes AI accelerator reliability, fault injection techniques, and safety-critical systems. Key trends include GPU resilience for CNNs, self-test library optimization, and radiation fault modeling in neural networks. Awards & Recognition: IEEE Fellow (2016–) Multiple best-paper awards at IEEE conferences (DDECS, DATE, etc.) Grants & Collaborations: Coordinator of EU projects (RESCUE, TUTORIAL) Partnerships with EDF, Marelli Europe, and SMAT Lead on National HPC/Quantum Computing Spoke 1 (2022–2025) Labs/Teams: Leads the CAD Group and collaborates with the French-Italian LIA LAFISI lab on hardware-software integration.

Roberto PagariaView profile

Associate Professor

• Algebraic Topology
• Combinatorics
• Configuration Spaces
• +4 more

Roberto Pagaria is an Associate Professor in Algebraic Topology at the University of Bologna. He is a member of the EMS Young Academy and has supervised three PhD students. His research focuses on Abelian arrangements, configuration spaces, matroids, representation theory, spectral sequences, and quiver varieties. Education: PhD in Mathematics (2019), thesis: 'Cohomology and Combinatorics of Toric Arrangements', advised by Filippo Callegaro Master's thesis: 'Geometry of Quiver Varieties', advised by Andrea Maffei Bachelor's thesis: 'The Brauer Group of a Local Field', advised by Angelo Vistoli and Ilaria Del Corso Research Interests: Pagaria's work bridges algebraic topology, combinatorics, and geometry. He explores cohomological structures of toric arrangements, elliptic arrangements, and configuration spaces. His studies include Hodge theory for polymatroids, combinatorial decomposition theorems, and applications of spectral sequences in representation theory. Academic Engagement: He co-organized the 2023 Summer School on 'Quiver Representations, Quiver Varieties, and Combinatorics' and delivered invited talks at leading institutions such as MIT, University of Strasbourg, and the Göran Gustafsson Symposium. His software tools like 'arithmat' (for arithmetic matroids) and 'Characteristic OT' enhance computational research in combinatorial algebraic geometry. Grants and Awards: While no specific grants are detailed, his active conference participation and software contributions highlight sustained academic engagement. His work has been published in top journals like the Journal of the London Mathematical Society and the International Mathematics Research Notices.

Luca SterponeView profile

Professor

• Reconfigurable computing
• Computer-aided design algorithms
• Fault tolerance and reliability
• +7 more

Luca Sterpone is a Full Professor at the Department of Control and Computer Science (DAUIN), Politecnico di Torino. He serves as Head of the Control and Computer Engineering Department (2023-2027), coordinates the Aerospace and Safety Computing Lab, and is a member of the Academic Senate and Power Electronics Innovation Center (PEIC). His research spans reconfigurable computing, fault tolerance, and radiation effects analysis in electronic systems. Professor since 2021 Department Head (DAUIN) since 2023 Coordinates international collaborations with ESA, AMD Xilinx, NVIDIA, and Thales Alenia Space Develops radiation-hardened FPGA tools (SETA, VERI-Place, PyXEL) 2007 EDAA Outstanding Dissertation Award and 2005 IEEE Best Paper Award Research Focus : Designing radiation-tolerant systems for aerospace, including fault-tolerant AI accelerators, FPGA reliability, and software-based error mitigation. He investigates soft error propagation in nanoscale circuits and develops tools for radiation sensitivity analysis in VLSI. His work integrates hardware-software co-design for mission-critical applications. Awards : EDAA Outstanding Dissertation Award (2007) IEEE European Test Symposium Best Paper (2005) SMACD Best EDA Tool Award (2018) ARC Best Paper candidate (2018) Teaching : He leads courses in Reconfigurable Computing (PhD level), GPU Programming , and Operating Systems . He has formal responsibility for teaching roles across 9 bachelor's and 7 master's years, and mentors multiple PhD students. Collaborations : Coordinates with the European Space Agency (ESA), University of Bielefeld, Universidad de Sevilla, and industrial partners like AMD Xilinx, NVIDIA, and General Motors. He leads projects such as RESCHIP4EU, VEGAS, and TERRAC for radiation-hardened computing solutions.

• Analytic Number Theory
• Prime Number Distribution
• Additive Number Theory
• +5 more

Prof. Alessandro Zaccagnini is an Associate Professor at the Department of Mathematical, Physical and Computer Sciences, University of Parma. He graduated in Mathematics in 1989 and obtained his PhD in 1994, focusing on Analytic Number Theory. His academic journey includes a competitive appointment as Associate Professor in 2004 after serving as a Researcher from 1993 to 2004. Education : PhD in Mathematics (1994), University of Parma Academic Positions : Researcher (1993–2004), Associate Professor (2004–present) His research spans Analytic Number Theory, focusing on additive problems like the Hardy-Littlewood conjectures, Goldbach representations, prime distribution in short intervals, Diophantine equations with primes, and Mertens' constants. He also contributes to Cryptography education. Key Research Areas Additive Number Theory (Goldbach, Goldbach-Linnik problems) Prime Distribution in Short Intervals Diophantine-type Problems with Prime Variables Mertens' Constant for Arithmetic Progressions Cryptography and Mathematical Education Recent publications include studies on Laplace convolutions, Cesàro averages for additive problems, and educational materials using everyday objects for mathematical teaching. His work bridges theoretical research (e.g., Riemann zeta function) and practical applications (e.g., cryptographic protocols). Teaching responsibilities include Mathematical Analysis , Cryptography , and Elementary Number Theory for undergraduate and graduate programs in Mathematics and Computer Science.

Gabriele PulciniView profile

Assistant Professor

• Proof Theory
• Philosophy of Mathematics
• Hilbert's 24th Problem
• +6 more

Gabriele Pulcini is an Assistant Professor in Logic and Philosophy of Science at the Philosophy Department, University of Rome 'Tor Vergata'. He holds dual PhDs in Philosophy and Theory of Human Sciences from the University of Rome 3 and in Discrete Mathematics from the University of Aix-Marseille II. Since 2020, he has served as a council member of the Italian Society for Logic and Philosophy of Science (SILFS). Previously, he was a postdoctoral researcher at the Institute for Logic, Language and Computation (ILLC) in Amsterdam, and has taught master courses in proof theory and set theory at institutions including the Sorbonne, University of Campinas, and the University of Lisbon. His research focuses on proof theory, Hilbert's 24th problem, and the philosophy of mathematics, with contributions to linear/nonmonotonic logics, refutation calculi, and Gödel's incompleteness theorems. His work bridges formal logic with interdisciplinary applications, such as integrating logical frameworks into molecular biology. Key themes include deductive saturation, context-sensitiveness in logical systems, and foundational questions in mathematical logic. Pulcini's publications explore advanced topics like cut-elimination, complementary proof nets, and fractional semantics, often addressing the interplay between classical and non-classical logics. His recent work emphasizes innovations in refutation systems and their philosophical implications.

Giuseppe ZappalàView profile

Associate Professor

• Commutative Algebra
• Algebraic Geometry
• Hilbert Functions
• +5 more

Giuseppe Zappalà is an Associate Professor of Geometry at the Department of Mathematics and Computer Science (DMI) of the University of Catania, Italy. He has been with the university since 1996, initially as a Researcher and promoted to Associate Professor in 2021. His academic home is firmly rooted in the University of Catania, where he completed both his undergraduate studies and PhD. His research focuses primarily on Commutative Algebra and Algebraic Geometry . More specifically, he investigates Hilbert functions of 0-dimensional subschemes of curves, arithmetically Gorenstein schemes, fat points in projective spaces, reducibility of Hilbert schemes, and Lefschetz properties. His work often bridges theoretical concepts with concrete geometric constructions. His publication record shows a consistent focus on the intersection of algebraic structures and geometric properties, with particular attention to graded algebras, Betti numbers, and special configurations of algebraic varieties. Over the years, his research has evolved from foundational work on subschemes to more specialized investigations of Gorenstein properties and Lefschetz phenomena. As an academic service contributor, Zappalà has served as a referee for national and international journals and as a reviewer for Zentralblatt MATH. He has been actively involved with the Pragmatic research school for 15 editions (1997-2012), which has trained numerous algebraic geometers from around the world. He teaches Linear Algebra and Geometry courses for both Computer Engineering and Computer Science degree programs at the University of Catania. His office hours are held Tuesday and Thursday from 10:00 to 12:00 in Studio 46, III Blocco, DMI.

• Numerical Cognition
• Animal Behavior
• Comparative Psychology
• +4 more

ROSA RUGANI is an Associate Professor at the University of Padua, Italy, specializing in cognitive and developmental psychology with a focus on numerical cognition. Her work explores how numerical and spatial representations emerge in non-human animals and humans, particularly through studies on domestic chicks, rhesus monkeys, zebrafish, and insects. She investigates foundational questions about innate numerical abilities, spatial-numerical associations, and the evolutionary origins of mathematical concepts. Her research integrates behavioral experiments, comparative approaches, and developmental studies to understand cross-species cognition. Research interests include proto-arithmetic capacities in animals, the mental number line in non-linguistic species, and the interaction between animacy, numerosity, and spatial processing. She has pioneered studies demonstrating that newborn chicks exhibit left-to-right spatial-numerical associations similar to humans, suggesting evolutionary conservation of these mechanisms. Her work challenges anthropocentric views of numerical cognition, emphasizing cognitive capacities in animals. Rugani's studies often use interdisciplinary methods, combining behavioral testing with computational modeling and neurobiological insights. She has contributed to debates on the biological basis of numerical concepts, the role of early environmental influences on cognitive development, and the relationship between numerical processing and other cognitive domains like object individuation and spatial attention.

Raffaella BernardiView profile

Associate Professor

• Computational Linguistics
• Natural Language Processing
• Artificial Intelligence
• +6 more

Raffaella Bernardi is an Associate Professor at the University of Trento, affiliated with the Department of Information Engineering and Computer Science (DISI) and the Center for Mind/Brain Science (CIMeC). She holds a PhD in Logic and Language from Utrecht University (2002) and has held academic positions at the Free University of Bozen-Bolzano and the University of Trento. Her research focuses on computational linguistics, formal semantics, distributional semantics, and multimodal models, with a particular emphasis on integrating vision and language systems. Education: PhD in Logic and Type Theory (2002, Utrecht University), Master's in Philosophy (1994, University of Chieti), and High School Diploma (1990). Research Interests: Natural Language Processing, Categorial Type Logic, Compositional Distributional Semantics, Visual Dialogues, and Multimodal Reasoning. She has pioneered work on grounding language in visual contexts and has contributed to key projects like the ERC-funded COMPOSES initiative. Grants & Leadership: Principal Investigator on EU projects (e.g., CACAO, Galateas) and member of the ERC COMPOSES team. She chairs conferences like ACL and EMNLP and serves on editorial boards for journals like the Journal of Logic, Language, and Information. Labs: Leads the LaVi (Language and Vision) research group and collaborates with the CLIC Lab. Active in organizing workshops on Formal Grammar and Vision-Language Integration.

Francesco VenezianoView profile

Associate Professor

• Geometry
• Number Theory
• Algebra
• +3 more

Francesco Veneziano serves as an Associate Professor in the Department of Mathematics (DIMA) at the University of Genoa, Italy, holding academic rank MATH-02/B in Geometry. His teaching portfolio spans multiple engineering and mathematics programs, including Geometry for Computer Engineering and Naval Engineering undergraduates, and advanced graduate courses such as Galois Theory and Higher Geometry in Institutions for Mathematics Master's students. Office hours are maintained via the university's Aulaweb platform. His research program centers on pure mathematics with emphases on geometric structures and number-theoretic phenomena. Primary investigations explore continued fractions over algebraic number fields, rational angle classification in lattice geometries, and nonlinear recurrence relations. Recent work demonstrates interdisciplinary expansion into computational mathematics, notably applying reinforcement learning to game theory problems. The geometric perspective permeates all research strands, connecting abstract algebraic frameworks with concrete discrete structures. Analysis of his 2022-2024 publications reveals consistent focus on classical number theory problems with geometric interpretations. Key trends include periodicity properties in continued fraction expansions, Diophantine constraints in lattice configurations, and algorithmic approaches to strategic game analysis. The 2024 publication on 7 Wonders Duel represents a methodological evolution, merging dynamical systems theory with artificial intelligence techniques while maintaining core mathematical rigor. No scientific awards or honors were documented in the source material. No information regarding doctoral advisees, master's students, or externally funded research grants was provided. His academic contributions appear concentrated in theoretical research and advanced mathematical education within the university's mathematics department.

Duccio PianigianiView profile

Researcher

• Mathematical Logic
• Proof Theory
• Computational Complexity
• +2 more

Duccio Pianigiani serves as a University Researcher in the Department of Information Engineering and Mathematical Sciences at the University of Siena. He teaches the Master's Degree course "Formal Systems" for the 2025/2026 academic year and has instructed this course continuously since 2020/2021. His office hours are held Thursdays 11:00-13:00 in room 215 (subject to change), with appointments recommended via email or phone due to scheduling constraints. His research centers on Mathematical Logic with specialized expertise in Proof Theory and Computational Complexity . Key contributions include foundational work on dialectical systems, weak arithmetical theories, and the empirical dimensions of metamathematics. His methodology bridges theoretical computer science and mathematical philosophy, particularly through collaborations with Andrea Sorbi and Luca San Mauro on trial-and-error mathematics frameworks. Analysis of his 2016-2021 publications reveals consistent focus on mathematical logic's structural aspects. His work demonstrates progressive exploration of dialectical systems' computational properties, density phenomena in weak theories, and philosophical implications of metamathematical practice. These studies predominantly appear in high-impact venues like the Archive for Mathematical Logic and Review of Symbolic Logic, establishing his niche in computational foundations. While no student advisement or grant activities are documented, Dr. Pianigiani maintains active scholarly engagement through his forthcoming book "Lectures in Proof-Theory and Complexity" (USiena Press FU) and comprehensive course materials including video lectures, notes, and slides accessible via Moodle. His pedagogical approach emphasizes resource accessibility for graduate mathematics education.

• Functional Safety
• Functional Testing
• Microprocessor Testing
• +9 more

Riccardo Cantoro is an Associate Professor in the Department of Control and Computer Science (DAUIN) at Politecnico di Torino, where he is a member of the College of Computer, Film and Mechatronics Engineering and the College of Mechanical, Aerospace and Automotive Engineering. He is affiliated with the CAD - Electronic CAD & Reliability Group and the CARS@PoliTO Interdepartmental Center for Automotive Research and Sustainable Mobility. His work bridges academic research and industrial applications through multiple commercially funded projects. Scientific Disciplinary Sector: IINF-05/A - Information Processing Systems ERC Sectors: PE7_4, PE6_2, PE6_11, PE6_12 His research focuses on functional safety, functional testing, and microprocessor testing, with a strong emphasis on embedded systems and reliability. He applies machine learning and formal methods to enhance test efficiency and system robustness, particularly in automotive and safety-critical domains. His work integrates computer-aided design, fault modeling, and resilience assessment in both hardware and AI systems. The recent publications highlight a trend toward data-efficient and intelligent testing methodologies, combining machine learning (e.g., TabPFN, active learning) with traditional electronic design automation. Topics include microcontroller performance screening, CNN resiliency, FeFET device testing, and system-level test optimization, reflecting a cohesive research agenda in trustworthy computing and hardware reliability. Scientific Awards: No awards explicitly mentioned in the provided texts. Advising and Grants: Dr. Cantoro supervises numerous PhD students in Computer and Systems Engineering, focusing on functional safety, test methodologies, and AI for CAD. He leads multiple industry-funded research projects, including collaborations with Infineon Technologies and Dana-TM4 Italia, on topics such as ATPG tools, speed monitor modeling, and power module reliability. His role as Scientific Manager/Head underscores his leadership in applied research and technology transfer. Labs and Teams: He is a core member of the CAD - Electronic CAD & Reliability Group (DAUIN) and contributes to the CARS@PoliTO center, fostering interdisciplinary research in automotive systems and sustainable mobility.

Alberto MarconeView profile

Professor

• Mathematical Logic
• Reverse Mathematics
• Descriptive Set Theory
• +4 more

Alberto Marcone is a Full Professor of Mathematical Logic at the University of Udine, where he serves as the Director of the Department of Mathematical, Computer and Physical Sciences (DMIF) since October 1, 2024. His academic home is within the Department of Mathematical, Computer and Physical Sciences at the University of Udine, located at Via delle Scienze, 208 -- Loc. Rizzi, 33100 Udine, Italy. Professor Marcone's research spans several interconnected areas within mathematical logic. His primary interests include reverse mathematics, descriptive set theory, well-quasi-order and better-quasi-order theory, and computable analysis with particular emphasis on the Weihrauch lattice. His work explores the logical strength of mathematical theorems, classification problems in continuum theory, and the computational content of mathematical principles. He has made significant contributions to understanding the relationships between different mathematical principles and their proof-theoretic strength. Analysis of his recent publications reveals a consistent focus on the intricate connections between order theory, reverse mathematics, and descriptive set theory. His work often examines the logical strength of combinatorial principles related to well-quasi-orders and better-quasi-orders, while increasingly exploring connections to computable analysis through the Weihrauch lattice framework. Recent publications demonstrate growing international collaboration, particularly with researchers across Europe, and an expanding application of logical methods to topological and metric space problems, including connections to knot theory and fractal geometry. Member of editorial board of the journal Computability Member of the board of the PhD program in Mathematics and Physics Organizer of Logic Colloquium 2018 (Udine) Organizer of Special Session on Computability Theory at AMS-UMI International Joint Meeting (Palermo, July 2024) Organizer of XXVIII Incontro di Logica AILA (Udine, September 2024) Professor Marcone teaches Mathematical Logic for both undergraduate and graduate mathematics programs at the University of Udine. His office is located on the 2nd floor, room A2 90, where he holds student reception hours either in person or via Microsoft Teams by appointment. As department director, he oversees the academic and administrative functions of the Department of Mathematical, Computer and Physical Sciences.

Marco D'AnnaView profile

Professor

• Commutative Algebra
• Numerical Semigroups
• Good Semigroups
• +6 more

Marco D'Anna is a Full Professor of Algebra at the Department of Mathematics and Computer Science, University of Catania, where he has worked since 1997. His academic career includes significant institutional roles including Head of the Master's Degree Course in Mathematics (2012-2015, 2018-2020) and Vice-director of the Department of Mathematics and Computer Science (2015-16). Dr. D'Anna earned his Mathematics degree with honors (110/110) from the University of Rome 'La Sapienza' in 1991, completed his PhD there in 1996 with a thesis on 'Canonical module of reduced rings of dimension one and their associated semigroups,' and conducted research visits at Purdue University under Professor William J. Heinzer. His research focuses on Commutative Algebra, particularly numerical semigroups, good semigroups (including value semigroups of curve singularities), one-dimensional rings, and ideal theory. He has published 43 scientific papers and a monograph, and has been scientific organizer of multiple international meetings including INdAM workshops in Cortona and Rome. As an educator, Professor D'Anna teaches Algebra and Commutative Algebra courses for both undergraduate and graduate Mathematics programs. He has supervised numerous bachelor's and master's theses (with four winning the Anile Prize in 2009, 2012, 2016, and 2022), advised eight PhD students to successful completion, and currently mentors one PhD student. Premio di Laurea 'Angelo Marcello Anile' for student theses (2009, 2012, 2016, 2022) Socio corrispondente residente of Acccademia Gioenia di Catania (2022) Professor D'Anna serves as coordinator of the Laboratory in Commutative Algebra and Algebraic Geometry and has been Principal Investigator for the local research project 'Proprietà locali e globali di anelli e varietà algebriche' (PIACERI 2020-22), while also participating in the national PRIN 2020 project 'Squarefree Gröbner degenerations, special varieties and related topics.' Since 2015, he has organized the Algebra and Algebraic Geometry seminar series at the University of Catania.

• Algebra
• Group Theory
• Lie Theory
• +3 more

Giovanni Falcone is a Full Professor (MATH-02/B) in the Department of Mathematics and Computer Science at the University of Palermo, Italy. His office is located at Via Archirafi 34, Palermo, Room 107, where he holds office hours on Tuesdays from 2:00 PM to 5:00 PM. Professor Falcone's research spans multiple areas of pure mathematics with a focus on: Algebraic structures and Lie theory Combinatorial designs and finite geometries Number theory and algebraic geometry Coding theory and applications His scholarly work demonstrates a consistent trajectory through advanced mathematical structures, with recent publications focusing on Steiner systems, Lie algebras, hyperelliptic curves, and combinatorial designs. Over the past two decades, his research has evolved from foundational work in Lie theory and group theory toward increasingly sophisticated applications in coding theory and geometric structures, showing remarkable continuity and development across multiple mathematical disciplines. Professor Falcone maintains an active publication record with significant contributions spanning both theoretical developments and practical applications, particularly at the intersection of combinatorial mathematics and algebraic structures. His work on Steiner systems and affine designs represents ongoing innovation in classical areas of combinatorics, while his research on hyperelliptic curves and Goppa codes demonstrates relevance to modern cryptographic applications.

Juan David Guerrero BalagueraView profile

Research Fellow

• AI Accelerators
• GPU Reliability
• Fault Tolerance
• +7 more

Juan David Guerrero Balaguera is a Research Fellow at Politecnico di Torino's Department of Automatic Control and Computer Science (DAUIN), affiliated with the CAD group. He holds a Ph.D. in Computer and Control Engineering from Politecnico di Torino (2024), advised by Prof. Matteo Sonza Reorda and Prof. Ernesto Sanchez. His research focuses on dependable hardware for safety-critical systems, including GPU reliability, fault tolerance, AI accelerators, and functional in-field testing. Prior to his Ph.D., he earned a Master's (2017) and Bachelor's (2013) in Electronics Engineering from Universidad Pedagógica y Tecnológica de Colombia, where he taught digital design, embedded systems, and FPGA-based image processing from 2014 to 2020. His research interests span advanced FPGA design, computational arithmetic for AI, fault effects analysis in GPUs, and reliability assessment of neural networks. Notable contributions include methods for generating self-test libraries (STLs) for GPUs, evaluating fault impacts on TCUs, and enhancing CNN robustness via dropout layer optimization. Education: Ph.D. in Computer and Control Engineering, Politecnico di Torino (2024) M.S. in Electronics Engineering, Universidad Pedagógica y Tecnológica de Colombia (2017) B.S. in Electronics Engineering, Universidad Pedagógica y Tecnológica de Colombia (2013) He has received the Ph.D. Quality Award (2023 and 2024) from Politecnico di Torino and Best Paper recognitions at DATE 2023 and DDECS 2021. His work bridges theoretical fault models with practical GPU testing methodologies, emphasizing real-world applications in AI and edge computing. Current teaching roles include collaborating on GPU programming (Master's level) and computer sciences courses (Automotive Engineering). Research collaborations involve exploring reliability trade-offs in split-computing DNNs and developing fault-aware design flows for AI accelerators.