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

Emmanuela Orsiniمشاهده پروفایل

استادیار

• Cryptography
• Secure Computation
• Multiparty Computation
• +۷ مورد دیگر

Emmanuela Orsini serves as an Assistant Professor in the Department of Computing Sciences at Bocconi University in Milan, Italy. She previously held a permanent position as a Research Expert in the Computer Security and Industrial Cryptography (COSIC) group at KU Leuven, Belgium, and worked as a Senior Research Associate at the University of Bristol, UK. Her educational background includes a PhD in Mathematics and Statistics for the Computational Sciences from the University of Milano and a Master's degree in Mathematics from the University of Pisa. These qualifications form the foundation of her expertise in both theoretical and applied aspects of cryptography. Orsini's research spans the theoretical and practical dimensions of secure computation, with particular emphasis on multiparty computation and homomorphic encryption. Her work on efficient zero-knowledge schemes has contributed to practical implementations of cryptographic protocols that maintain security while optimizing computational resources. She has made significant contributions to post-quantum cryptography, notably through her involvement in the NIST post-quantum standardization process with the LIMA and NewHope submissions, as well as developing the FAEST signature algorithm which leverages AES for quantum-resistant signatures. Analysis of her recent publications reveals a strong focus on optimizing cryptographic protocols for practical deployment. Her work demonstrates consistent advancement in making multi-party computation more efficient while maintaining security guarantees, with particular attention to zero-knowledge proofs and post-quantum cryptographic constructions. The progression from theoretical foundations to practical implementations is evident across her publication history. Orsini has served on program committees for numerous prestigious cryptography conferences including CRYPTO, EUROCRYPT, and ACM CCS, reflecting her standing in the cryptographic research community. Her editorial work includes serving on the boards of Mathematical Cryptology and Communications in Cryptology. Her teaching activities span multiple institutions, with recent courses including Information Theory and Introduction to Computer Science at Bocconi University. Previously, she has taught post-quantum cryptography at the University of Pisa, public key cryptography at ESA/ESTEC, and coding theory at KU Leuven and University of Bristol. Orsini actively contributes to collaborative research projects, particularly in the post-quantum cryptography space through her involvement with the NIST standardization process. Her recent work on FAEST demonstrates her leadership in developing practical quantum-resistant signature schemes that balance security, efficiency, and implementation considerations.

• Number Theory
• Arithmetic Geometry
• Elliptic Curves
• +۳ مورد دیگر

Matteo Longo is a Full Professor at the University of Padua, affiliated with the Tullio Levi-Civita Department of Mathematics. He leads the Algebraic Geometry and Number Theory research group, focusing on advanced topics in arithmetic geometry. His research bridges elliptic curves, modular forms, and p-adic analysis, with particular emphasis on: p-adic L-functions and their applications Arithmetic of elliptic curves over number fields Iwasawa theory and Selmer groups Heegner points and Darmon points constructions His publication record demonstrates consistent contributions to number theory, with recent works exploring p-adic Maass-Shimura operators, Bloch-Kato Selmer groups, and anticyclotomic Iwasawa theory. The research spans both theoretical frameworks and computational aspects of modern arithmetic geometry. Professor Longo teaches core mathematics courses including Geometry, Number Theory, Topology, and Linear Algebra. Office hours are held Tuesdays at 12:00 in Room 533 of the Department of Mathematics building.

• Differential Geometry
• Complex Geometry
• Lie Groups
• +۳ مورد دیگر

Alberto Dolcetti is an Associate Professor in the Department of Mathematics and Computer Science at the University of Florence. His work bridges differential geometry, complex geometry, and algebraic geometry, with a focus on Lie groups, matrix analysis, and geometric structures. He has contributed significantly to the study of Riemannian properties of matrix manifolds and the differential properties of algebraic varieties. Research interests span: Geometry of Lie groups and matrix manifolds Bi-invariant metrics and isometry groups Algebraic structures in geometric contexts Arithmetically Gorenstein subschemes and Fano varieties His recent work explores generalized principal logarithms, SVD-closed subgroups, and elliptic isometries on definite positive matrices. Earlier contributions include classifications of Gorenstein divisors and Cohen-Macaulay surfaces. Despite prolific publication since the 1980s, no scientific awards are explicitly mentioned. No advising or grant information is available in the provided texts. He is actively involved in the academic community through research and possibly teaching at the University of Florence.

• Algebraic Geometry
• Optimization and Control
• Symbolic Computation
• +۳ مورد دیگر

Simone Naldi is a Lecturer (Maître de conférences) in Applied Mathematics at the University of Limoges, France, since 2017. His research focuses on algebraic geometry, optimization, and symbolic computation, with applications to semidefinite programming and linear matrix inequalities. He holds a PhD from CNRS-LAAS in Toulouse and has held postdoctoral positions at the University of Dortmund and the Fields Institute in Toronto. His work includes developing algorithms for solving polynomial systems and creating the SPECTRA library for exact LMI solutions. He has collaborated on projects involving geometric configurations, hyperbolic curves, and infeasibility certificates for optimization problems. Key research areas include semidefinite programming, algebraic certificates for moment problems, and computational tools for polynomial equations. He actively contributes to conferences like Structured Matrix Days and has been supported by institutions like the Simons Foundation. His recent work addresses degenerate systems and geometric configurations of spheres in tetrahedrons, reflecting his interdisciplinary approach combining pure mathematics with algorithmic development.

Raffaella Bernardiمشاهده پروفایل

دانشیار

• Natural Language Processing
• Computational Linguistics
• Visually Grounded Conversational Models
• +۹ مورد دیگر

Raffaella Bernardi is an Associate Professor at the Faculty of Engineering, Free University of Bozen-Bolzano, Italy. She previously held academic positions at the University of Trento and the Free University of Bozen-Bolzano. Her research is centered on Computational Linguistics, with a focus on the interplay between language and reasoning in multimodal and conversational contexts. Research Interests: Her primary research areas include Natural Language Processing, Visually Grounded Conversational Models, Large Language Models (LLMs), Vision-Language Models (VLMs), and the cognitive abilities of AI systems. She investigates how language and reasoning interact, particularly in dialogue and multimodal settings. The analysis of her 15 most recent publications reveals a strong emphasis on multimodal reasoning, human-AI interaction, and the cognitive evaluation of language models. Her work frequently explores how AI systems understand and generate language in context, particularly in grounded and interactive environments. There is a consistent trend toward benchmarking, evaluation, and understanding the reasoning capabilities of modern LLMs and VLMs. Fellow of ELLIS (European Laboratory for Learning and Intelligent Systems) Best Paper Award, INLG 2023 Best Paper Nomination, Clic-it 2020 Best Paper Nomination, NL4AI 2020 Raffaella Bernardi has supervised numerous PhD and Master’s students, including Leonardo Bertolazzi, Claudio Greco, Alberto Testoni, and Sandro Pezzelle. She has been involved in significant research projects, often funded by industrial partners like SAP and EU initiatives. She has also been active in organizing scientific events and serving in leadership roles within the ACL and AILC communities. She leads a research group focused on multimodal language understanding and grounded interaction. Her team has developed benchmarks such as BD2BB (Be Different to Be Better) to evaluate the complementarity of language and vision in AI systems.

Demis Bassoمشاهده پروفایل

استاد

• Cognitive Psychology
• Educational Neuroscience
• Developmental Psychology
• +۷ مورد دیگر

Demis Basso is a tenured full professor in General and Cognitive Psychology at the Faculty of Education, Free University of Bozen-Bolzano. He leads the Cognitive and Educational Sciences Laboratory (CESLab), focusing on interdisciplinary research bridging cognitive processes with educational practices. His work emphasizes STEM education efficacy, numerical cognition in children, and well-being promotion in educational settings. Basso collaborates with institutions like the Medical University of Innsbruck and University of Trento through projects like NeuroTRAIN. His research spans cognitive neuroscience, developmental psychology, and educational technology, with a focus on visuo-spatial planning, prospective memory, and executive functions. He teaches courses including General Psychology, Quantitative Methodology, and Coaching, and actively engages in public outreach through initiatives like the 'Week of the Brain'. Basso has coordinated major grants such as the Euregio NeuroTRAIN project (2022–ongoing) and StemUP! (2019–2023). His laboratory employs eye-tracking, behavioral testing, and neuroimaging to explore cognitive skills in educational contexts. Recent work evaluates learning strategies in primary school arithmetic and interventions for developmental dyscalculia. He advises doctoral candidate Giulia Prestera and collaborates with researchers like Laura Zamarian and Manuela Piazza. His research outputs span over 50 peer-reviewed articles, with a focus on cognitive development, educational interventions, and neuroscience applications.

Fabrizio Lambertiمشاهده پروفایل

استاد

• Computer Graphics
• Augmented Reality
• Virtual Reality
• +۱۶ مورد دیگر

Fabrizio Lamberti is a Full Professor in the Department of Control and Computer Science (DAUIN) at Politecnico di Torino , Italy, where he also serves as Coordinator of the Doctoral College in Computer and Systems Engineering. He leads the GRAINS (Graphics and Intelligent Systems) research laboratory and is the scientific director of VR@POLITO , the university's Virtual Reality initiative. Additionally, he is a member of the Interdepartmental Center SmartData@PoliTO and the Doctoral School Council. His primary research interests include: Computer Graphics Augmented and Virtual Reality Human-Computer and Human-Machine Interaction Machine Learning and Deep Learning Intelligent Systems Learning Technologies Computer Vision and Simulation His recent publications reflect a strong trend in applying extended reality (XR), artificial intelligence, and intelligent interface design to training, education, and industrial applications. Key themes include social VR, digital twins, metaverse architectures, zero-shot learning, and immersive training for emergency response. His work often bridges the gap between theoretical advances and real-world implementation, particularly in safety-critical domains. He has received numerous scientific awards, including: ICCE-Berlin 2021 Best Paper Award Best Paper at IISA2018 and HUCAPP2017 Best Student Paper at BIOSIGNAL2002 Life Membership in Eta Kappa Nu (IEEE Honor Society) Highly Cited Research Certificate by Elsevier Lamberti actively mentors PhD students and leads major research projects. He has served as Principal Investigator on EU-funded projects like FACETS, E2DRIVER, and Smart3D, as well as numerous industrial collaborations with companies such as General Motors, CRF/FCA, and Leonardo. He is also deeply involved in academic service, acting as Associate Editor for multiple IEEE journals and organizing international conferences like ICCE and INTETAIN. He leads research laboratories and collaborative initiatives focused on XR, blockchain, and intelligent systems.

• Cognitive Neuroscience
• Numerical Cognition
• Semantic Processing
• +۵ مورد دیگر

Manuela Piazza is a Full Professor of Psychobiology and Physiological Psychology at the University of Trento’s Center for Mind/Brain Sciences (CIMeC). She holds a PhD from University College London (2003) and a European Diploma in Cognitive and Brain Sciences (2002) from the Max Planck Institute. Her research focuses on the neurocognitive foundations of numerical and semantic processing, combining neuroimaging (fMRI, MEG), psychophysics, and cross-cultural studies in children and adults. Key interests include symbolic learning, spatial representation, and neurodevelopmental disorders. She has coordinated the CIMeC Master program in Cognitive Science (2019–2022) and currently serves on high-profile committees, including the ERC Starting Grants panel (2016–2020) and the Fondation Fyssen Scientific Advisory Board. Her work bridges neuroscience with education, highlighted by contributions to the development of the 'Number Catcher' intervention tool for dyscalculia. Her research outputs emphasize cross-modal neural coding (e.g., number-space mappings), developmental trajectories of numerical abilities, and the role of attention in perceptual and symbolic processing. Awards include a Fellowship at Columbia University (2020) and election to the International Neuropsychological Symposium (2019).

Paolo Montuschiمشاهده پروفایل

استاد

• Computer Engineering
• Computer Arithmetic
• Computer Architecture
• +۱۰ مورد دیگر

Paolo Montuschi is a Professor of Computer Engineering at Politecnico di Torino, Italy, and former Chair of the Control and Computer Engineering Department (2003–2011). He holds leadership roles in the IEEE, including Editor-in-Chief of the IEEE Transactions on Emerging Topics in Computing (2021–23) and Chair of the IEEE TAB Awards and Recognition Committee (2020–21). His academic career includes a PhD in Computer Engineering (1989) and full professorship since 2000. Research interests span computer arithmetic, computer architecture, graphics, and semantics in education. Notable contributions include work on decimal arithmetic, cryptography, error-tolerant systems, and virtual reality applications. He pioneered the first Italian/European IEEE-HKN chapter (Mu Nu) and received prestigious awards like the IEEE Computer Society Distinguished Service Award. Montuschi has advised notable students including Silvia Vitali (founder of Mu Nu Chapter), Luca Nassi (ARM), and Alessandro Sorniotti (IBM). His service spans over 30 roles in IEEE committees, focusing on publications, awards, and strategic planning. Current activities include advancing emerging computing topics and promoting interdisciplinary research through the GRAINS lab.

Julien Cassaigneمشاهده پروفایل

پژوهشگر ارشد

• Dynamical Systems
• Arithmetic
• Combinatorics

Julien Cassaigne is a Research Fellow at the French National Centre for Scientific Research (CNRS) and a core member of the Dynamics, Arithmetic, Combinatorics (GDAC) team at the Institute of Mathematics of Marseille (I2M), a joint research unit (UMR 7373) of CNRS, Aix-Marseille University, and Centrale Marseille. His primary institutional base is the Luminy Campus (Case 907, 13288 Marseille Cedex 9), one of I2M's two major sites in Marseille. His research spans the interconnected domains of dynamical systems, arithmetic combinatorics, and symbolic dynamics, with emphasis on sequence complexity, ergodic theory, and number-theoretic applications. This work bridges theoretical computer science and pure mathematics, particularly exploring pattern avoidance in infinite sequences and spectral properties of substitution systems. Contact details include email julien.cassaigne@math.cnrs.fr and telephone +33 (0)4 91 26 96 67. As an active researcher, he participates in I2M's seminar series including the Rauzy Seminar, contributing to Marseille's status as a hub for mathematical research in dynamical systems.

• Abstract Interpretation
• Program Analysis
• Program Verification
• +۵ مورد دیگر

Roberto Bagnara is a Full Professor of Computer Science at the Department of Mathematics and Computer Science of the University of Parma, Italy. He has been a faculty member since 1997, progressing from Assistant Professor to Associate Professor and finally to Full Professor in November 2010. In addition to his academic position, he serves as Chief Scientist, CTO, and President of BUGSENG srl, a university spin-off focused on software verification and validation technologies. Professor Bagnara received his laurea degree (magna cum laude) in Computer Science from the University of Pisa in July 1992, followed by a Ph.D. in Computer Science from the same university in September 1997. Prior to his doctoral studies, he worked at CERN in Geneva with Tim Berners-Lee, the inventor of the World Wide Web, and at the University of Bologna's Physics Department developing software for data acquisition and analysis. His research spans abstract interpretation, program analysis and verification, and semantics-based program manipulation techniques . Professor Bagnara has made significant contributions to the fields of static program analysis, with particular focus on convex polyhedra manipulation, constraint logic programming, and formal verification of safety-critical software. His work bridges theoretical foundations with practical applications, resulting in several influential software projects including the Parma Polyhedra Library (PPL), CHINA, PURRS, and ECLAIR. The PPL is particularly notable as it's used in the GNU Compiler Collection (GCC), the most widely used compiler suite worldwide. Professor Bagnara's recent publications reveal a strong focus on safe and secure programming, particularly in C language ecosystems. His work on C-rusted, MISRA compliance, and floating-point verification demonstrates his commitment to practical solutions for real-world software verification challenges. His research increasingly integrates formal methods with industry needs, especially for safety-critical embedded systems. Professor Bagnara has supervised numerous thesis students and has been involved in multiple national and international research projects, including ESPRIT, COFIN, and PRIN projects. He has served on program committees for major conferences such as SAS, VMCAI, and ICLP, and has organized workshops and summer schools in his field. He leads the Applied Formal Methods Laboratory at the University of Parma, which focuses on developing theoretical foundations and practical tools for software analysis and verification. The laboratory's work has significant industrial impact, particularly through the ECLAIR project, which aims to create an industrial-strength platform for analysis, verification and transformation of imperative languages.

• Financial Mathematics
• Investment Analysis
• Capital Budgeting
• +۴ مورد دیگر

Carlo Alberto MAGNI is a Full Professor in the Department of Economics "Marco Biagi" at the University of Modena and Reggio Emilia. He teaches courses including General and Financial Mathematics and Principles and Models for Managerial Decisions for the Business Economics and Management degree program. Professor MAGNI's research focuses on financial mathematics, investment analysis, and capital budgeting. His work centers around the development of the Split-Screen Approach for project appraisal, which unifies financial planning and investment analysis into a single theoretical framework. His research spans corporate finance, accounting, operations research, and mathematical methods of economics, with particular emphasis on NPV-consistency of rates of return, project valuation methodologies, and financial modeling techniques. His publication record shows a consistent output of high-quality research, with numerous articles in top journals. His work demonstrates a strong integration between theoretical finance concepts and practical applications, particularly in Excel-based financial modeling. The Split-Screen Approach represents his signature contribution to the field, providing innovative methods for project appraisal and financial planning. Professor MAGNI has developed comprehensive teaching materials, including a videobook for his courses that combines video lectures with texts related to course topics. His educational approach emphasizes the application of mathematical tools in economic and business analysis, with focus on developing students' ability to model and evaluate long-term managerial decisions.

Alberto Zanardoمشاهده پروفایل

دانشیار

• Modal and Temporal logics
• Branching-time logics
• Fibring of logics
• +۲ مورد دیگر

Alberto Zanardo serves as Associate Professor in Mathematical Logic within the Department of Mathematics at the University of Padua. His academic profile combines rigorous theoretical research with dedicated teaching across multiple mathematics programs. His research concentrates on: Modal and Temporal Logics, particularly Branching-time systems Fibring of Logics and combination methods Foundations and axiomatizations of scientific theories Mathematics Education and pedagogical frameworks Topological aspects of logical semantics Analysis of his 15 most recent publications reveals sustained contributions to temporal logic semantics, with significant work on branching-time structures, possible worlds quantification, and history-based models. His research demonstrates consistent output in premier logic journals (Studia Logica, Synthese) while maintaining strong international collaborations across Europe and South America. Methodologically, he bridges philosophical inquiry with mathematical rigor, often developing novel semantic frameworks for complex temporal phenomena. Teaching responsibilities span foundational courses including Axiomatic Method and Set Theory, Foundations of Mathematics, and Mathematics for Chemistry programs. His syllabi emphasize structural understanding through constructions like real numbers via homomorphisms and Peano axioms. All teaching materials are systematically organized through the University of Padua's Moodle platforms, reflecting his commitment to accessible mathematical education. Professor Zanardo maintains active research supervision and collaborates internationally, though specific grant details aren't publicly documented. His work continues to influence both theoretical logic and mathematics education through persistent scholarly output and pedagogical innovation.

• Mathematics
• Computer Science
• Algebraic Geometry
• +۷ مورد دیگر

Maria Alessandra Vaccaro is an Associate Professor at the Department of Mathematics and Computer Science , University of Palermo. Her academic career spans over 15 years, focusing on mathematics and its interdisciplinary applications. Active office hours: Wednesdays 3:00 PM–5:00 PM in Studio 205, Via Archirafi 34, Palermo. Contact: +3909123891082 | marialessandra.vaccaro@unipa.it Her research interests include: Algebraic structures (octonions, quaternions, hypercomplex numbers) Geometric transformations and polyhedra Elliptic curves in cryptography and number theory Historical developments in matrix theory and algebras Applications of chaos theory and fractals She has supervised numerous Master's theses covering topics such as: Elliptic curves and their arithmetic Penrose tilings and aperiodic geometry Geometric representations of Cayley-Dickson algebras Historical evolution of matrix theory Transformations in plane geometry

• Constructive Mathematics
• Type Theory
• Categorical Logic
• +۳ مورد دیگر

Maria Emilia Maietti is a Full Professor of Mathematical Logic at the Department of Mathematics "Tullio Levi-Civita" at the University of Padova, Italy. She was promoted to this position in August 2023, having previously served as an Associate Professor from September 2015 to July 2023. Professor Maietti is an active member of the Logic Group in Padova and has established herself as a leading researcher in constructive mathematics and related fields. Her educational background includes a Laurea with honors in Mathematics from the University of Padova in 1993 and a PhD from the same institution in 1998. Her academic journey included visiting positions at Utrecht University, Cambridge University, and the University of Birmingham before returning to Padova. Professor Maietti's research focuses on the intersection of several foundational areas: Constructive Mathematics and its Foundations Type Theory, particularly the Minimalist Foundation framework Categorical Logic and its connections to type theory Constructive Topology and Formal Topology Her publication record shows a consistent output of high-quality research, with recent work exploring the compatibility of the Minimalist Foundation with Homotopy Type Theory, connections to classical predicative mathematics, and various aspects of categorical logic. Her research often addresses fundamental questions about the relationships between different foundational systems for mathematics. Among her notable professional activities: Padova coordinator of the European RISE project CID (2017-2023) Padova coordinator of the European IRSES project CORCON (2014-2017) Member of the Editorial Board of ZML: Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik (from July 4, 2025) Former Member of the Editorial Board of Mathematical Logic Quarterly (2016-2025) Member of the Editorial Board of The Journal of Logic and Analysis (since 2020) Professor Maietti maintains an active research group and regularly participates in organizing international workshops and conferences, including the upcoming Categorical Logic Days in 2025 and the 7th Workshop on Formal Topology in Venice in 2026. Her work continues to influence both theoretical developments in mathematical logic and potential applications in computer science.