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

Martín Ceresaمشاهده پروفایل

پژوهشگر

• Theoretical Computer Science
• Programming Languages Theory
• Type Theory
• +۹ مورد دیگر

Martín Ceresa is a Post-doctoral Researcher at the IMDEA Software Institute in Madrid, Spain. His work focuses on theoretical computer science, programming languages, type theory, and blockchain technologies. He collaborates extensively with Prof. César Sánchez on formal methods for scaling blockchains and verifying smart contracts. Education: PhD in Computer Science from the National University of Rosario (Argentina), under Dr. Mauro Jaskelioff. His thesis developed an effectful improvement theory for languages with algebraic effects. Research Interests: Blockchain scalability, formal verification of smart contracts, runtime verification, embedded systems design, and foundational mathematics. His current projects include Setchain (a Byzantine-tolerant distributed data structure) and a non-Turing-complete language for critical embedded systems. Key Contributions: Co-developed the MegaDeTH tool for test case generation (now QuickFuzz), created the Coq-based Multi library for multi-contract analysis, and pioneered formal methods for layer-2 blockchain solutions. Collaborations: Active in the formal methods community, with contributions to EasyCrypt and collaborations with researchers like Gustavo Grieco and Antonio Fernández Anta.

• Music Education
• Musical Expressiveness
• Music and Emotion
• +۳ مورد دیگر

Carolina Bonastre Vallés is an Assistant Professor at the Faculty of Education, University of Madrid (UCM). She holds a PhD in Didactics and Educational Theory from Universidad Autónoma de Madrid (UAM) with a thesis on musical expressiveness and emotion. Her research focuses on music didactics, innovative educational tools, and pedagogical innovation in digital environments. She has led multiple teaching innovation projects, including the Service-Learning initiative 'Moving Music with Service-Learning for Children' (2022) and collaborated on the R&D project PLECTRUM (2020-2023), which developed software for real-time assessment of musical intonation. Education: PhD in Didactics and Educational Theory (UAM) Senior Lecturer's degree in Piano Predoctoral fellowship at University of Sheffield Research Interests: Musical expressiveness and emotion in performance Innovative digital tools for music education Service-Learning methodologies in music pedagogy Gender equality in educational technology Key Projects and Grants: R&D Project PLECTRUM (Ministry of Science & Innovation, 2020-2023) UCM Diversity & Inclusion grants for Service-Learning projects (2019-2022) Innova-Docencia projects on gender equality and digital competencies Labs/Teams: Member of the research group 'The didactics of the Social Sciences and pedagogical innovation in the digital society', collaborating with institutions like the University of Oviedo and University of Sheffield.

• Postcolonial Literature
• Ecolinguistics
• English-Speaking Countries History
• +۳ مورد دیگر

José Santiago Fernández Vázquez serves as a Full Professor in the Department of Modern Philology at the University of Alcalá, specializing in English-language literature and cultural studies. His academic portfolio spans both teaching and administrative responsibilities across multiple degree programs including English Studies, Hispanic Studies, and Translation. His research interests center on postcolonial literature, ecolinguistics, and critical discourse analysis, with particular emphasis on transcultural narratives and environmental communication. Recent scholarly output reveals a strategic pivot from traditional postcolonial literary analysis toward multimodal ecolinguistic studies examining sustainability discourse in digital spaces. Analysis of his 15 most recent publications demonstrates an evolving trajectory from foundational postcolonial literary criticism (2000-2015) toward contemporary interdisciplinary environmental communication research (2020-2023), reflecting broader academic shifts toward sustainability studies while maintaining postcolonial theoretical frameworks. His work consistently applies critical discourse analysis to examine power structures in both literary and digital contexts. Fernández Vázquez actively participates in the American Interdisciplinary Cultural Studies research group, focusing on Spanish presence in North America, US-geopolitical relations, and American comic studies. His collaborative projects frequently address educational innovation, particularly regarding sustainability competencies and transcultural awareness in university curricula. His teaching responsibilities include History of English-Speaking Countries and Postcolonial Literatures across multiple undergraduate programs, demonstrating institutional commitment to decolonial perspectives in language education. Administrative contributions include directing orientation programs for secondary school students and participating in university sustainability initiatives through the UI GreenMetric framework.

• Spanish Linguistics
• Language Policy
• Translation Studies
• +۳ مورد دیگر

David Fernández Vítores is an Associate Professor in the Department of Modern Philology at the University of Alcalá. His academic work centers on Spanish linguistics, language policy, and translation studies. He is actively involved in research groups such as Estudios Culturales Interdisciplinares sobre Estados Unidos (American Interdisciplinary Cultural Studies) and Formación e Investigación en Traducción e Interpretación en los Servicios Públicos (Training and Research in Public Service Translation and Interpreting). These groups explore themes including North American cultural studies, Spanish linguistic presence globally, and sociopolitical aspects of translation. Research Focus: Fernández Vítores' work spans Spanish as an international language, linguistic policies in the EU, sociolinguistics of Spanish-speaking regions, and intercultural communication. His publications frequently analyze the geopolitical impact of Spanish, language vitality, and translation economics. Recent research emphasizes Panhispanism, Spanish in scientific communication, and postcolonial linguistic dynamics in North Africa. Publication Trends: A thematic analysis of his 15 most recent articles (2010–2025) reveals consistent focus on: Spanish language globalization, EU language policy critiques, sociolinguistic demographics, and postcolonial language revival. Methodologies blend quantitative analysis of language usage with qualitative cultural studies, reflecting interdisciplinary engagement across linguistics, political science, and cultural theory. Research Groups & Teaching: He contributes to curricular development in Translation Project Management and Specialized Translation within the Modern Languages and Translation programs. His research groups prioritize practical applications in public service translation and interdisciplinary cultural analysis.

• British Literature
• Postcolonial Studies
• Translation Studies
• +۳ مورد دیگر

Silvia García Hernández is a Professor in the Department of Modern Philology at the University of Alcalá. Her academic work focuses on British literature, postcolonial studies, translation pedagogy, and innovative language education methods. She actively participates in two research groups: 'Literatures and Cultures in English' and 'Language and Education,' contributing to areas like bilingual teaching methodologies and the application of literary studies in classroom settings. Her research projects include a 2007-2010 study on postcolonial diaspora metaphors in British literature. Recent work addresses pandemic-era educational challenges, online teaching dynamics, and collaborative creative writing-translating projects. She coordinates courses such as 'British Writers of Historical Fiction' and 'Creative Writing' across multiple degree programs, emphasizing pedagogical innovation. Publications span literary analysis (e.g., Michèle Roberts' narrative techniques) and educational studies, including groundbreaking works on virtual teaching during the pandemic. Her work bridges theoretical literary studies with practical classroom applications, fostering interdisciplinary approaches to language education.

• Cooperative Learning
• Reflective Learning
• Sustainable Education
• +۵ مورد دیگر

Dr. Maria Dolores Cañabate Ortiz serves as a Lecturer in the Department of Specific Didactics at the University of Girona, Catalonia, Spain. She is the Principal Investigator of the Research Group GREPAI (Education, Heritage and Arts Intermedia) and Coordinator of the Spanish Network of Cooperative Learning. Her academic work spans physical education, cooperative learning methodologies, and movement-based pedagogy within higher education contexts. Dr. Cañabate's research focuses on two primary areas: (1) Reflective and Cooperative Learning with emphasis on Sustainable Education in Higher Education, where she fosters responsible, critical and active learning approaches; and (2) The languages of movement, exploring how body expression can serve as an educational strategy from an integral perspective. Her work demonstrates how physical education and movement-based approaches can address broader educational goals including emotional regulation, social skills development, and sustainable development. Analysis of her recent publications reveals strong interdisciplinary connections between physical education, sustainable development goals, and innovative teaching methodologies. Her work consistently bridges theoretical educational frameworks with practical classroom applications, particularly in cooperative learning structures. A significant portion of her research examines how movement and physical expression can enhance cognitive development, emotional regulation, and social integration across diverse educational contexts from preschool through university levels. As Principal Investigator of GREPAI, Dr. Cañabate leads research on education, heritage, and intermediate arts. She has developed multiple collaborative projects examining how cooperative learning approaches can foster sustainable development competencies. Her leadership extends to coordinating the Spanish Network of Cooperative Learning, connecting researchers and practitioners across the country. Dr. Cañabate's laboratory work focuses on movement analysis and cooperative learning implementation. Her team employs multimodal approaches to study physical education methodologies, often incorporating video analysis, reflective practice frameworks, and student perception surveys to evaluate educational interventions. Current projects examine how movement-based pedagogies can address educational inequalities and promote sustainable development goals.

• Time series analysis
• Machine learning
• Descriptive computational complexity
• +۱ مورد دیگر

Argimiro Alejandro Arratia Quesada is a Professor at the Universitat Politècnica de Catalunya-BarcelonaTech (UPC), affiliated with the IDEAI-UPC - Intelligent Data Science and Artificial Intelligence Research Group and the SOCO - Soft Computing sub-group . He works in the Department of Computer Science under the College of Industrial, Aerospace and Audiovisual Engineering (ESEIAAT) . Research Interests: Time series analysis, machine learning, descriptive computational complexity, and financial engineering. Projects: Developed the clustAnalytics R package for network clustering assessment, contributed to Bayesian modeling of pandemic data, and designed entropy-based portfolio optimization techniques. Conference Participation: Actively involved in the International Conference on Time Series and Forecasting (2021-2023) and the Catalan Association for Artificial Intelligence conferences. Scientific Output Trends: Recent publications span finance (portfolio optimization, cryptocurrency forecasting), epidemiology (Covid-19 burden estimation), network science (clustering evaluation), and mathematical finance. Methodologies emphasize statistical inference, entropy optimization, and machine learning.

José María Alonso Moralمشاهده پروفایل

دانشیار

• Explainable Artificial Intelligence
• Trustworthy AI
• Machine Learning
• +۳ مورد دیگر

Dr. José María Alonso Moral is an Associate Professor at the Department of Electronics and Computation of CiTIUS-USC (Research Center for Intelligent Technologies) at the University of Santiago de Compostela. With a PhD in Telecommunication Engineering from Universidad Politécnica de Madrid (2007) and a 'Doctor Europeus' distinction, he has held prestigious positions including Ramón y Cajal researcher (2018-2022), Juan de la Cierva postdoctoral researcher (2012), and served as President of the European Society for Fuzzy Logic and Technology (EUSFLAT) and Vice-Chair of IEEE Computational Intelligence Society's Explainable Fuzzy Systems Task Force. IEEE Senior Member Associate Editor: IEEE Computational Intelligence Magazine (Q1) and International Journal of Approximate Reasoning (Q2) Board Member: ACL SIGGEN (2019-2022) His research focuses on Explainable AI and Trustworthy Artificial Intelligence , particularly through interpretable fuzzy systems and natural language generation. Key contributions include the ExpliClas web service for decision tree explanations and JFML library for IEEE 1855-2016 fuzzy system modeling. Recent publications examine counterfactual explanations, fuzzy temporal constraint networks, and feature attribution faithfulness metrics. He leads projects like TRUST (Trustworthy AI) and ReproHum (NLP Evaluation Reproducibility), emphasizing human-centered AI design and cross-disciplinary applications in healthcare and education. As an educator, he developed high school workshops on explainable AI fundamentals through CiTIUS-USC's STEM outreach program. His technical work includes developing explainable classifiers for Alzheimer's disease progression and implementing fuzzy logic systems in embedded platforms like Arduino and Raspberry Pi.

• Smart Cities
• Semantic Web
• Distributed Systems
• +۴ مورد دیگر

Luis Sanchez Fernandez is a Full Professor at the Department of Telematics Engineering, Carlos III University of Madrid. His research focuses span Smart Cities, Semantic Web, and Distributed Systems. Contact information includes email luis.sanchez@uc3m.es and office location 4.1.F08 in Leganés. His research program integrates Blockchain Governance , Urban Mobility Analysis , and Complex Systems Modeling . Recent work examines approval-based voting mechanisms in decentralized networks and fractional transport equations for physical simulations. Publications demonstrate a strong emphasis on fair algorithm design for societal applications. Key article themes show convergence of Smart City Data Integration Multiwinner Election Algorithms Cellular Automaton Dynamics Semantic Annotation Frameworks As Deputy Director of Teaching Affairs, he leads curriculum innovation in Telematics Engineering. His educational background includes a Doctorate from Universidad de Salamanca, focusing on Wikipedia as a teaching resource in higher education.

Pedro Antonio Palmer Rodríguezمشاهده پروفایل

مدرس ارشد

• Computer Graphics
• Image Processing
• Mobile Application Development
• +۵ مورد دیگر

Dr. Pedro Antonio Palmer Rodríguez serves as Senior Lecturer in the Department of Informatics Engineering at the University of the Balearic Islands' School of Mathematics and Computer Science. With continuous service since 1993, he teaches core theoretical and practical computer science subjects across multiple campuses including Majorca, Ibiza, and Minorca. His research focuses on multimedia technologies with specializations in: Image synthesis and deformable object representation Mobile and television application development Social media content analysis systems Algorithmic language implementations As an active member of both the Multimedia Information Technology (TIM) and Computational Biology and Bioinformatics (BIOCOM) research groups, he bridges theoretical computer science with practical multimedia applications. His current teaching portfolio emphasizes compilers, theory of computation, and final degree projects across various Informatics Engineering programs. Dr. Palmer Rodríguez maintains regular office hours in Anselm Turmeda building (Room 142) and supervises student research through the university's Informatics Engineering programs. His academic journey includes completing both undergraduate and doctoral studies at UIB, with his PhD awarded in 2014 after two decades of teaching experience.

Fritz Hengleinمشاهده پروفایل

استاد

• Programming Languages
• Functional Programming
• Domain-Specific Languages (DSLs)
• +۶ مورد دیگر

Fritz Henglein is a Professor at the Department of Computer Science, University of Copenhagen (DIKU), with affiliations also at Deon Digital. His career spans over three decades, with notable roles including Head of the Algorithms and Programming Languages (TOPPS) research group and Director of the HIPERFIT research center. Research interests include Programming languages and type systems Functional programming and DSLs High-performance computing Contracts and distributed ledger technology Algorithmic logic and formal semantics His work often bridges theoretical rigor with practical applications, particularly in financial information technology and compiler design. Collaborations include leadership in conferences like POPL, ICFP, and PEPM, with a focus on mentoring through academic events and community-building initiatives.

KC Sivaramakrishnanمشاهده پروفایل

استاد مدعو

• Functional Programming
• Language Runtimes
• Concurrency
• +۵ مورد دیگر

KC Sivaramakrishnan serves as an Adjunct Professor at the Indian Institute of Technology, Madras and CTO of Tarides, bridging academic research and industrial application in programming languages and systems. His dual roles reflect a commitment to advancing both theoretical foundations and practical implementations in computer science. His research spans Functional Programming, Language Runtimes, Concurrency/Parallelism/Distribution, and Weak Memory/Consistency models, with particular focus on the OCaml programming language. Sivaramakrishnan's work addresses fundamental challenges in concurrent and distributed systems through innovative language design and runtime techniques. Analysis of his publication record reveals a consistent trajectory from foundational work on effect handlers and concurrency models (2015-2020) to more recent contributions in verified systems, multicore programming, and distributed data types (2021-2025). His research demonstrates strong continuity in exploring how programming language principles can solve real-world systems challenges. Sivaramakrishnan actively contributes to the academic community through program committee memberships across major PL conferences including POPL, PLDI, ICFP, and SPLASH. His service spans multiple roles from committee member to track chair and diversity co-chair. As CTO of Tarides, he leads industrial efforts in OCaml compiler development and systems programming, maintaining a productive synergy between his academic research and industry leadership. His work with the OCaml community includes significant contributions to multicore support and effect handler implementations.

Derek Dreyerمشاهده پروفایل

استاد

• Programming Languages
• Type Theory
• Separation Logic
• +۶ مورد دیگر

Derek Dreyer is the Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and an Adjunct Professor in the Saarland Informatics Campus of Saarland University . His research focuses on programming languages , type theory , and formal verification of software systems. Education : PhD in Computer Science from Carnegie Mellon University (2005), advised by Bob Harper and Karl Crary. Key Contributions : Pioneering work in separation logic , ownership types , and memory safety for languages like Rust and C. Awards & Grants : Recipient of significant grants for research on logical foundations of safe systems programming . Leadership : Program Chair for POPL and PLDI, Organizer of RTFM (Red-Hot Topics in Faculty Mentoring), and active role in mentoring students through PLMW. Labs & Teams : Leads a dynamic research group at MPI-SWS , driving collaborative projects in programming languages and systems verification.

Tej Chajedمشاهده پروفایل

استادیار

• Formal Verification
• Systems Software
• Concurrency
• +۴ مورد دیگر

Tej Chajed is an Assistant Professor in the Department of Computer Science at the University of Wisconsin-Madison. His research focuses on formal verification of systems software, particularly addressing concurrency and crash safety in file systems and distributed protocols.

Veronica Steffen Garcíaمشاهده پروفایل

استاد مدعو

• International Education
• Curriculum Development
• Language Teaching and Learning
• +۳ مورد دیگر

Veronica Steffen García es profesora adjunta en el Máster Universitario en Educación Internacional y Bilingüismo (MEIB) y el Máster Universitario en Dirección, Innovación y Liderazgo de Centros Educativos en la Universidad Camilo José Cela (UCJC). Doctora en Educación Cum Laude (2015) con tesis sobre la implementación del currículo PYP del Bachillerato Internacional, posee formación académica internacional destacada por sus títulos Suma Cum Laude y Magna Cum Laude en Iowa State University y Trenton State College. Doctorado : UCJC, 2015 (Cum Laude) Master : Trenton State College, 1988 (Suma Cum Laude) Dos Licenciaturas : Iowa State University, 1985 (Cum Laude y Magna Cum Laude) Su trayectoria profesional se centra en la acreditación y evaluación de instituciones educativas internacionales, liderando equipos de verificación del Bachillerato Internacional (IBO) y el Consejo de Escuelas Internacionales (CIS). Ha trabajado como coordinadora de currículo en Qatar Foundation (2015-2016), VIPKID (2017-2018), y en la implementación del PYP en múltiples escuelas. Como formadora certificada del IB y líder de equipos de visita, ha facilitado más de 30 talleres IB globales desde 1999. Su investigación se enfoca en la implementación de programas internacionales, evaluación basada en criterios y enseñanza de lenguas adicionales. Sus publicaciones destacan por su enfoque en la integración curricular, estrategias pedagógicas y análisis comparativo de frameworks educativos. Ha colaborado con instituciones como California State University San Marcos, University of Hong Kong y Murdoch University en consorcios de investigación. Publicaciones clave : Análisis de implementación PYP, enseñanza de lenguas por indagación, inteligencia emocional social, estrategias de liderazgo pedagógico Conferencias : EDULEARN15, American Space Madrid, INTED 2015, IBAEM Regional Conference Su reconocimiento académico incluye múltiples premios de excelencia como la Beca Louise Simmons, la Beca NEA Educators y varias distinciones por desempeño académico sobresaliente. Como parte de UCJC, supervisó la implementación del Certificado de Educador IB y contribuyó a la acreditación de instituciones educativas internacionales.