Alberto Momigliano is an Associate Professor at the Department of Computer Science , University of Milan, Italy. His research focuses on formal methods, proof theory, and logical frameworks in programming languages. He has contributed extensively to property-based testing, coinductive proofs, and mechanized metatheory. Research Interests : Formal verification of programming languages Higher-order abstract syntax Logical frameworks (Hybrid, Beluga) Proof theory and type systems Property-based testing Coinductive methods Recent Articles explore substructural contexts, proof outlines for testing, and coinductive formalizations. His scientific awards include the Distinguished Paper Award at CPP 2025. Academic Activities : Program Committee Member at CPP 2024 and CPP 2025 Organized Logic Colloquium 2023 in Milan Steering Committee member of PPDP Involved in mechanizing metatheory with Coq automation
Julio Manuel Barroso Osuna is a Professor at the Department of Didactics and Educational Organization within the Faculty of Educational Sciences at the University of Seville. With decades of academic service, he has established himself as a leading expert in educational technology and digital teaching competence. His extensive research portfolio demonstrates significant contributions to the understanding of technology integration in educational contexts across multiple levels of instruction. Department of Didactics and Educational Organization Faculty of Educational Sciences Faculty of Nursing, Physiotherapy and Podiatry (cross-appointment) Professor Barroso Osuna's research interests center on educational technology, with particular emphasis on e-learning systems, digital teaching competence frameworks, and technology integration in teacher training. His work bridges theoretical educational frameworks with practical technological applications, focusing on how digital tools can transform teaching methodologies and enhance learning outcomes. He has pioneered research on personal learning environments, cognitive load in technology-mediated instruction, and the adaptation of educational taxonomies for the digital age. Analysis of his recent publications reveals a strong focus on the DigCompEdu framework for assessing digital teaching competence across international contexts, particularly in Latin American universities. His research demonstrates consistent evolution from foundational work in multimedia educational materials toward contemporary investigations of immersive technologies and personalized learning environments. The interdisciplinary nature of his work connects educational theory, cognitive science, and technological innovation. Principal Investigator on numerous national research projects including 'Realidad Aumentada para Aumentar la Formación' (2014-2017) Coordinated the 't-MOOC' project for digital competence development of university faculty Extensive publication record spanning over 25 years in educational technology Contributor to the development of the European DigCompEdu framework Professor Barroso Osuna has supervised numerous research projects focused on educational technology implementation, particularly in the context of the European Higher Education Area. His work has influenced teacher training programs across Spanish and Latin American universities, with particular emphasis on practical applications of technology in diverse educational settings. He has developed multiple innovative educational resources and assessment tools that have been adopted by institutions throughout Spain. His research group 'GRUPO DE INVESTIGACIÓN DIDÁCTICA: ANÁLISIS TECNOLÓGICO Y CUALITATIVO DE LOS PROC. DE ENSEÑANZA-APRENDIZAJE' has served as a hub for interdisciplinary research on technology-mediated teaching and learning processes, fostering collaboration between educational researchers, technologists, and practitioners.
