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

• Mathematics Education
• History of Mathematics
• Semiotic Mediation
• +۵ مورد دیگر

Michela Maschietto is a Full Professor at the Department of Education and Human Sciences, University of Modena and Reggio Emilia, with a focus on mathematics education methodology and historical mathematical artifacts. She previously held positions at the Mathematics campus and leads the Laboratory of Mathematical Machines. Research Interests: Her work bridges physical and digital tools in mathematics education, emphasizing semiotic mediation, argumentation development, and historical instrument reconstruction for pedagogical purposes. She explores geometric-mechanical artifacts for calculus concepts and investigates connections between spatial/geometrical knowledge. 2025 study on geometry education trends using didactic tetrahedron model 2024 research on physical-digital tool integration for argumentative skill development 2023 projects involving tactile calculus devices and conic section machines Teaching Activities: She designs mandatory laboratory components for primary education students, covering national guidelines, semiotic mediation theory, and historical artifacts like abacuses and programmable robots. Her courses emphasize problem-solving, geometric visualization, and standardized assessment analysis. Laboratory Involvement: As head of the Mathematical Machines Laboratory, she organizes exhibitions and workshops using reconstructed historical instruments for mathematics popularization. This includes collaborations with international researchers on topics like the Pythagorean theorem and conic sections.

Marianna Nicolosi Asmundoمشاهده پروفایل

دانشیار

• Mathematical Logic
• Automatic Deduction
• Description Logic
• +۷ مورد دیگر

Marianna Nicolosi Asmundo is an Associate Professor of Mathematical Logic (MAT/01) at the Department of Mathematics and Computer Science (DMI) of the University of Catania. She earned her PhD from the same university in 2003 and serves as a proposing member of CINUM - Interdepartmental Center for Humanistic Computing. Teaches undergraduate and graduate programs in Mathematics Master's Degree Programs in Computer Science Textual Sciences for Digital Professions (Department of Humanities) Her research spans automatic deduction, tableaux-based deductive systems, decision procedures in elementary set theory and non-classical logic, interactive theorem proving, knowledge bases, ontologies, and reasoning services for the semantic web. Recent publications emphasize ontology interoperability, blockchain-based knowledge representation, and set-theoretic reasoning frameworks. She contributes to ontologies for cultural heritage (Saint Gall monastery modeling, archaeological Sicilian landscapes) and blockchain applications. Collaborates extensively with researchers like D. Cantone and D.F. Santamaria on description logic systems. Active member of CINUM - Interdepartmental Center for Humanistic Computing Supervises thesis projects on semantic web and blockchain ontologies

• Blockchain
• Cybersecurity
• Distributed Systems
• +۵ مورد دیگر

Roberto Zunino is an Associate Professor in the Department of Mathematics at the University of Trento, specializing in blockchain technologies, formal methods, and distributed systems. His research bridges theoretical computer science with practical cryptographic applications, particularly in Bitcoin and smart contract ecosystems. His research interests focus on blockchain security , smart contract formalization , and probabilistic verification . Key areas include MEV (Maximal Extractable Value) theory, UTXO-based smart contracts, and computationally sound tokenization. His work combines rigorous mathematical modeling with real-world protocol analysis, emphasizing security guarantees through formal methods. Recent publications demonstrate a strong trend toward theoretical foundations of blockchain economics and security. His 15 most recent papers (2020-2025) analyze MEV formalization, Bitcoin contract liquidity, UTXO scalability, and smart contract language design, revealing deep integration of type theory, game theory, and cryptographic primitives. Zunino actively teaches courses including Informatics , Interactive Theorem Proving (using Lean 4), and Computer Tools for Mathematics . His educational focus emphasizes formal verification, imperative programming foundations, and mathematical logic applications in computer science.

• Logic
• Quantum Computing
• Theoretical Computer Science
• +۵ مورد دیگر

Andrea Masini is a Full Professor in the Department of Computer Science at the University of Verona. His research focuses on the logical foundations of computer science and quantum computing, including proof theory, quantum computability, lambda calculi, and type theory. He actively teaches courses such as Algebra and Foundations of Mathematics (Bachelor's degree in Computer Science, 2025/2026) Interactive Theorem Proving (Master's degree in Computer Science and Engineering, 2025/2026) with previous contributions to operating systems, programming, logic, and discrete mathematics. He is associated with the Quantum Informatics Laboratory (QUILAB) and participates in university governance via the Computer Science Teaching Committee and Department Council. Office hours are held on Thursdays from 2:30 PM to 4:30 PM, requiring prior email booking. Contact: andreamasini@univr.it , +39 045 802 7922.

• Mathematical Logic
• Formal Methods
• Computer Science
• +۵ مورد دیگر

Marco Maggesi is an Associate Professor at the University of Florence, affiliated with the Department of Mathematics and Computer Science 'Ulisse Dini'. His research focuses on the formal representation of mathematical and computational systems using proof assistants like HOL Light and UniMath. Research interests span mathematical logic, formal methods, computer science, theorem proving, and category theory, with applications in complex systems, quaternionic analysis, and type theory. His work emphasizes rigorous verification of emergent behaviors in adaptive systems and foundational computational structures. Publication trends show consistent contributions to formal verification (e.g., provability logic, universal algebra), interdisciplinary applications (e.g., IoT, blockchain), and educational outreach (e.g., visual machine learning guides). Research is frequently supported by national projects such as MIUR PRIN grants.

Claudio Sacerdoti Coenمشاهده پروفایل

دانشیار

• Mathematical Knowledge Management
• Interactive Theorem Proving
• Logical Frameworks
• +۱۴ مورد دیگر

Claudio Sacerdoti Coen is an Associate Professor in Computer Science at the Department of Computer Science and Engineering , University of Bologna. His research focuses on Mathematical Knowledge Management , Interactive Theorem Proving , and their applications to functional programming languages and markup languages like XML and MathML. He has led the DAMA project for didactic applications of theorem provers. Employment: Associate Professor (2017–present), previously Lecturer (2007–2017) Education: Ph.D. in Computer Science (University of Bologna, 2004), Master’s in Computer Science (2000) Research Interests include: Integration of XML-based Mathematical Knowledge Management with Interactive Theorem Provers (e.g., Coq, Matita) Reduction strategies in the Calculus of (Co)Inductive Constructions Formal verification of algorithms and compilers Constructive analysis and formal topology User interface design for proof assistants Publications over the last decade highlight advancements in: Efficient substitution mechanisms for lambda calculi Formalization of mathematical theorems (e.g., Lebesgue’s Dominated Convergence Theorem) Development of proof assistant frameworks (Matita kernel, ELPI interpreter) Mathematical document structuring and search engine design

Alessandro Artaleمشاهده پروفایل

دانشیار

• Description Logics
• Ontologies
• Knowledge Representation
• +۷ مورد دیگر

Alessandro Artale is an Associate Professor in the Faculty of Computer Science at the Free University of Bozen-Bolzano, where he is affiliated with the KRDB Research Centre. His research spans theoretical and applied aspects of knowledge representation, ontologies, and temporal reasoning. He earned his PhD in Computer Science from the University of Florence in 1994 and has held research and academic positions at CNR-LADSEB, IRST (now FBK), and UMIST (University of Manchester). PhD in Computer Science, University of Florence, 1994 His research interests include: Description Logics Ontologies and Conceptual Modelling Temporal and Computational Logics Knowledge Representation and Databases Artificial Intelligence and Natural Language Semantics His recent scholarly activities are reflected in his participation in leading international conferences such as AAAI, IJCAI, ECAI, KR, DL, TIME, and FoIKS. These publications and committee roles highlight a consistent focus on formal methods in AI, particularly in the areas of description logics, temporal reasoning, and ontology-based systems. The research demonstrates a strong theoretical foundation with applications in semantic web technologies and knowledge-driven systems. Notable scientific contributions include: Principal Investigator of the EPSRC project on Temporal Databases using Description Logics (2001–2004) Member of the KnowledgeWeb Network of Excellence Member of the InterOp Network of Excellence Member of the ESPRIT DWQ project on Data Warehouse Quality Artale has advised numerous Master's and PhD students through project supervision and has organized academic events such as the TIME and DL workshops. He has served on the program committees of over 50 international conferences and workshops, demonstrating extensive engagement with the research community. His teaching includes core computer science courses in algorithms, formal languages, compilers, and discrete mathematics. He is actively involved in research labs and teams including: KRDB Research Centre, Free University of Bozen-Bolzano Collaborations with European research networks (KnowledgeWeb, InterOp)