Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology . Her research focuses on Programming Languages , Type Theory , and Formal Methods , with applications to concurrent programming , security verification , and intermittent computing . PhD in Pure and Applied Logic from Carnegie Mellon University (2021) Postdoctoral Fellow at Carnegie Mellon University Her research projects include: Designing modal logic for system verification Relational logic for GPU side-channel security Type systems for intermittent computing Behavioral types for security Advising : PhD Students: Godha Pallavi Bhogadi (co-advised with Stefan Muller), Myra Dotzel (co-advised with Limin Jia), Lang Liu Master's Students: Akash Madhu (co-advised with Minxuan Zhou) Scientific Awards : NSF Collaborative Award #2350217 for "Mixed Assurance Reasoning via Modal Logic" (2024) Teaching : Courses include CS595. Language-based Security , CS534. Types and Programming Languages , and CS440. Programming Languages and Translators at Illinois Tech.
Thomas P. Jensen is a Researcher at INRIA Rennes , France, specializing in program analysis , software security , and abstract interpretation . With a Cand. scient. in Computing and Mathematics from the University of Copenhagen (1990) and a PhD from Imperial College, University of London (1992), he has led research teams at INRIA, including the Celtique project-team (2010-2022) and currently the Epicure project-team (since 2022). He holds a Habilitation à diriger des recherches from Université Rennes 1 (1999). Research Focus Program analysis with type-based and big-step semantics approaches Certification of static analysis tools for embedded systems Software fault isolation and language-based security Information flow control through hybrid static-dynamic analysis His work spans Java security (including Java Card and mobile telephony) and formal verification of compilers and sandboxes. Notable projects include JavaSec , AJACS , and the CominLabs cybersecurity network. He received a Best Paper Award at GPCE 2018. Publications & Editorial Recent publications focus on algebraic data types , automata-based verification , and control-flow analysis with applications in cybersecurity . He has contributed to the Strategic research and innovation roadmap for SPARTA (2022) as editor. His work appears in top venues like POPL , PLDI , ICFP , and ESOP . Leadership Director of Laboratoire d'Excellence CominLabs (since 2022) Co-chair of VMCAI 2026 and member of PriSC 2024 Program Committee
Dr. Yolanda Marhuenda Garcia is an Associate Professor at Miguel Hernández University of Elche, affiliated with the Department of Statistics, Mathematics and Informatics. She serves as coordinator, lecturer, and laboratory instructor for database-related courses across multiple bachelor's programs including Business Statistics, Computer Engineering, Data Science, and Fine Arts. Research Focus: Computational Statistics and data science applications Contact: +34 96 665 8536 | Office hours: Wednesday 12:30-15:00 & Friday 10:30-14:00 (by appointment via y.marhuenda@umh.es) Associated Institutes: Center of Operations Research (CIO) Her teaching portfolio includes core courses like DATABASE DESIGN AND MANAGEMENT, PROGRAMMING METHODOLOGIES AND ALGORITHMS, and INFOGRAPHIC LANGUAGES across academic years 2023/24 to 2025/2026, with consistent coordination responsibilities.
Juan Pedro Moreno is a Part-time Lecturer and Associate Professor at the Department of Statistics, Mathematics and Computer Science of the Miguel Hernández University of Elche, Spain. His academic roles focus on teaching and research in computing languages and systems. Education : MSc in Research in Industrial Technologies and Telecommunication, Miguel Hernández University of Elche PhD student in the Doctoral Program in Statistics, Optimization and Applied Mathematics, Miguel Hernández University of Elche Research Interests : Human-Computer Interaction (HCI) Mobile usability evaluation and design User-Centered Design (UCD) methodologies Teaching Activities : Course: Design of Internet Information Systems (Bachelor's in Business Statistics) Course: E-Commerce (Bachelor's in Computer Engineering in Information Technologies) Course: Internet Application Development (Bachelor's in Computer Engineering in Information Technologies) Teaching since 2023/2024 academic year, continuing through 2025/2026 Contact Information : Email: juan.morenom@umh.es Office: Statistics, Mathematics and Informatics Department, Miguel Hernández University Address: Avda. Universidad, s/n., 03202 Elche (Alicante), Spain
Joaquín Francisco Rives Ballesta is a Part-time Lecturer in the Department of Statistics, Mathematics and Informatics at Miguel Hernández University of Elche. His primary role involves teaching and coordinating courses in the Master's in Teacher Training for Secondary, Vocational and Language Education program, focusing on curriculum design and evaluation methodologies for vocational guidance and administrative professions. Teaching Activities: He coordinates and lectures multiple courses, including: CURRICULAR PLANNING & EVALUATION OF PROF. FAMILIES IN ADMIN., OCCUPATIONAL MANAGEMENT & GUIDANCE CURRICULAR PLANNING AND EVALUATION OF OCCUPATIONAL TRAINING & GUIDANCE His teaching spans laboratory and lecture formats, emphasizing practical applications in educational settings. Research Interests: While explicit research areas are not detailed, his academic focus aligns with teacher training, vocational pedagogy, and interdisciplinary applications of statistics and informatics in education.
Irene Achón Lezaun serves as Professor and Director of the Translation and Intercultural Communication Degree at San Jorge University's Faculty of Communication and Social Sciences since 2019. She teaches Literature and Text Analysis for Journalism, Advertising, Public Relations, Audiovisual Communication, and Spanish Language courses within the Translation program. Her research spans Romanticism, Gothic literature, and the uncanny, with emphasis on female gothic theory (drawing on Ellen Moers' work), monstrous identities in Tim Burton's cinema, and audiovisual representations of altered states. She examines intersections between reality/fiction, mass psychology, and individual heroism through literary and cinematic lenses. As principal investigator of the Cultural and Audiovisual Communication Research Group (CACRG) from 2018-2023, she led interdisciplinary projects connecting literary theory with contemporary media. Her publication trends reveal sustained focus on Gothic frameworks applied to modern audiovisual culture, with increasing attention to gendered perspectives in 2020-2021 works. Academically, she contributes to international scholarly discourse as member of the advisory board for Costa Rica's Revista Lenguas Modernas since 2020, and participates in research groups including Cultura y Comunicación Audiovisual and Visiones Interdisciplinares sobre el Patrimonio . Her methodological approach combines Hispanic philology with interdisciplinary cultural analysis.
Almudena Nevado Llopis serves as a Professor at Jaume I University's Faculty of Communication and Social Sciences, teaching core courses in the Translation and Intercultural Communication degree program including Translation B-A (English-Spanish) I, Interpretation Techniques B-A (English-Spanish), Intercultural Mediation, and Public Service Interpreting. She extends her expertise to the Nursing degree through Health Communication and Education courses and contributes to the Master's in Health Sciences Research with Qualitative Research Designs instruction, demonstrating significant interdisciplinary engagement across communication, health, and social sciences domains. Her academic foundation includes a Licentiate in Translation and Interpretation and a PhD in Translation, Society and Communication, both completed at Jaume I University where she earned the prestigious Extraordinary Doctorate Award for her dissertation. These credentials establish her deep institutional roots and scholarly recognition within Spain's academic framework. Dr. Nevado Llopis's research program centers on intercultural communication and mediation with specialized focus on public service interpreting, particularly in healthcare settings. Her scholarly work systematically examines language brokering dynamics, ethical challenges in gender-based violence contexts, interpreter training methodologies, and the transformative impact of digitalization and pandemics on remote interpreting services. She investigates how cultural and linguistic barriers affect healthcare access for immigrant populations in Spain, advocating for professionalized interpreting services and intercultural competence development through rigorous empirical analysis and policy-relevant recommendations. Analysis of her recent publications (2022-2024) reveals three dominant trajectories: (1) healthcare interpreting systems across Spain, Italy and Romania through comparative studies of provider and user perspectives; (2) innovative training approaches for medical interpreters emphasizing ethical decision-making and crisis management; and (3) the pandemic-driven acceleration of remote interpreting services and its implications for quality assurance. Her work increasingly addresses mental healthcare accessibility through multilingual resources and intercultural competence building in educational institutions. Her scientific recognition includes the Extraordinary Doctorate Award. Significant research contributions include coordination of the ReACTME project (2019-2022) which developed medical interpreting training resources and databases, and participation in multiple Erasmus+ initiatives advancing intercultural education and healthcare communication across European borders. Dr. Nevado Llopis has successfully led international research collaborations including the ReACTME consortium and Erasmus+ projects, securing funding for cross-border studies on medical interpreting. Her research stays at King's College London's Clinical Communication Unit (2016) and Babeș-Bolyai University (2018) demonstrate active global engagement. Current work focuses on mapping mental healthcare resources through the MentalHealth4All project and analyzing leadership in international education contexts, with strong emphasis on practical implementation and policy impact. Embedded within Jaume I University's Translation and Intercultural Communication program, her research operates through dynamic project-based collaborations rather than a dedicated laboratory. She maintains strategic partnerships with European institutions including King's College London and Babeș-Bolyai University, contributing to transnational networks focused on healthcare interpreting standards, intercultural communication training, and multilingual resource development for vulnerable populations.
María Luisa Sierra Huedo serves as Professor and Vice Dean of Internationalization at the Faculty of Communication and Social Sciences, Universidad San Jorge, where she teaches Intercultural Communication for Communication and Translation undergraduate programs and Educational Processes and Contexts for the Master's in Teaching program. Her leadership in internationalization initiatives shapes institutional strategy across Spanish higher education. Her academic credentials include: PhD in International Education, University of Minnesota Master in Comparative International Development Education, University of Minnesota Dr. Sierra Huedo's research establishes critical connections between intercultural competence development, climate migration patterns, and higher education internationalization. She pioneers frameworks for implementing intercultural pedagogy across art education, translation studies, and nursing curricula while addressing Mediterranean migration challenges through EU-North African university collaborations. As principal investigator for seven Erasmus+ projects (2016-2024), she advances practical models for inclusive teaching through initiatives like MULTICLASS and REACT, with fieldwork spanning Morocco, Turkey, and Bulgaria. Her publication trend reveals three interconnected research streams: intercultural competence assessment in Spanish degree programs (2009-2012), climate migration impacts on Mediterranean education systems (2014-2019), and innovative internationalization-at-home methodologies (2013-2020). This work consistently bridges theoretical development with practical implementation across arts, health sciences, and technological education. Her grant portfolio demonstrates sustained European Commission funding through major Erasmus+ initiatives: LIFE (2016-2018): Interculturality through religious education CATCH (2019-2021): 21st-century teaching approaches LIFE TWO (2019-2022): Outreach-focused intercultural activities Learning Schools (2020-2022): Inclusive classroom environments REACT (2020-2024): Critical thinking development MULTICLASS: Multicultural higher education classrooms PAIDEIA: EU Solidarity Corps innovation She actively contributes to the DGA-recognized research group "Migraciones, Interculturalidad y Desarrollo Humano," coordinating cross-border collaborations that examine climate migration through educational lenses while developing practical intercultural teaching resources for European universities.
Yasmina Tejero Gascón serves as Professor at the Faculty of Communication and Social Sciences, teaching courses on developmental disorders, learning difficulties intervention, and supervising undergraduate/master's theses (TFG/TFM) and Tutorial Action Plans (PAT) in Education degrees. She currently coordinates communication/social media for Early Childhood and Primary Education programs and actively participates in the Support Service for Students with Specific Needs (SAENE). Her academic background includes: Licentiate in Psychology from UNED (2013) Bachelor's Degree in Primary Education from Pontifical University of Salamanca with specializations in Specific Educational Needs (2015) and Hearing/Language (2016) Her research centers on inclusive education through Universal Design for Accessible Learning (DUA-A) and multi-dimensional accessibility (cognitive, sensory, digital). As a GIES (Education and Society) research group member, she drives educational innovation projects including current initiatives on Cognitive Accessibility in universities and the Service-Learning project "Education without limits: the digital triad for inclusion". She actively promotes inclusive environments through conference communications and awareness campaigns like "Inclusion in Action". She mentors students via TFG/TFM supervision and organizes key events including the V Symposium for International Day of Persons with Disabilities focusing on Cognitive Accessibility. Her work with the GIES research group emphasizes practical service-learning approaches to dismantle educational barriers.
Víctor Manuel Acosta Rodríguez serves as a Full Professor in the Department of Didactics and Educational Research at the University of La Laguna, where he is actively affiliated with the IUNE research institute and leads the ACENTEJO research group focused on language difficulties in educational contexts. His scholarly work spans core areas of educational science: Didactic methodologies and curriculum design School organisation and institutional dynamics Linguistic challenges in learning environments Educational psychology applications Social sciences frameworks for pedagogy He contributes to two doctoral programs—Official Doctoral Program in Education and Official Doctoral Program in Psychology—indicating cross-disciplinary supervision activity. His research falls under Social and Legal Sciences, with the ACENTEJO group specifically investigating language acquisition barriers. No awards or specific student mentorship details are documented in the source material, though his institutional roles confirm active research leadership within university-affiliated structures.
Dr. María Belando Montoro is a Professor in the Theory and History of Education department at the Complutense University of Madrid's Faculty of Education. She is affiliated with the EDUINNO - HUM971 Eduinnovagogía research group and specializes in Educational Gerontology, Service-Learning methodology, and Social Pedagogy. Dr. Belando Montoro's research focuses on educational aspects of aging, health promotion for elderly populations, and socio-educational interventions for older adults. Her work challenges traditional notions of retirement as a period of passive leisure, instead framing it as an opportunity for personal development. She has developed comprehensive programs addressing physical, psychological, and social dimensions of aging, emphasizing conscious use of free time despite health or economic limitations. Her recent publications demonstrate a strong focus on Service-Learning methodology in higher education, with studies examining student perceptions across sociodemographic variables and systematic reviews of international implementations including in China. Her work consistently identifies the need for more conscious learning about competencies acquired through university studies. Extensive research on elderly care and educational gerontology Significant contributions to Service-Learning methodology research Multidimensional studies on vocational education decision-making Development of socio-educational intervention programs for aging populations Dr. Belando Montoro employs mixed-methods research approaches, combining qualitative and quantitative methodologies. Her work has important implications for educational policy and practice, particularly regarding information systems to support students and families in educational decision-making and expanding Service-Learning beyond higher education to other educational stages. She is actively involved in the training of Social Educators at the Complutense University of Madrid, contributing to professional development programs that prepare educators for non-formal educational settings and socio-educational interventions.
Francisco Javier Pérez de la Cruz serves as an Associate Professor in the Department of Civil Engineering at the School of Industrial Engineering, Polytechnic University of Cartagena, Spain. His academic career integrates technical expertise in water infrastructure with innovative educational methodologies, reflecting a commitment to sustainable engineering solutions and pedagogical advancement within civil engineering disciplines. His research spans water resources engineering, flood risk management, and sustainable water systems, with notable focus on historical water supply contexts, energy recovery in distribution networks, and carbon footprint reduction in irrigation. Educational research forms a parallel pillar, emphasizing project-based learning and gamification tools like Kahoot! to enhance multidisciplinary engineering education. This dual trajectory bridges practical infrastructure challenges with evolving teaching paradigms. Analysis of his 15 most recent publications (2018-2025) reveals consistent interdisciplinary patterns: historical engineering analyses inform modern sustainability practices, while flood risk modeling and SUDS implementation address climate resilience. Educational studies demonstrate systematic exploration of digital tools for competency development, with Kahoot! research evolving from classroom implementation to cross-disciplinary frameworks. The convergence of water-energy nexus investigations and pedagogical innovation defines his scholarly identity. Scientific Awards: No awards, fellowships, or medals were documented in the available information. Advising and Grants: The provided text contains no records of student advisement, research grants, or funded projects. His supervisory roles and external funding mechanisms remain unreported in the current dataset. Labs and Teams: No specific research laboratories, field teams, or collaborative networks were referenced. His operational research environment appears institutionally embedded within the university's civil engineering infrastructure without dedicated team descriptions.
Alazne Fernandez Ortube is a Researcher at the University of Deusto's Faculty of Education and Sport, specializing in educational assessment and self-regulated learning (SRL) for pre-service teachers. Her work examines rubric design, feedback mechanisms, and cognitive processes in educational evaluation through innovative methodologies including eye-tracking technology. Her research spans: Educational Assessment & Rubric Design Self-Regulated Learning Interventions Teacher Education Development Educational Psychology Applications Eye-Tracking in Cognitive Research Language Impact on Assessment Interpretation Recent publications reveal a strong focus on digital assessment tools and SRL strategies, with 2024-2025 works analyzing online rubric platforms and emotional regulation techniques in teacher training. Her research demonstrates consistent international collaboration across European academic networks. Dr. Fernandez Ortube secured significant funding through a Spanish Ministry of Science and Innovation project (2020-2024) analyzing formative assessment in higher education. She actively mentors researchers through intervention studies and presents findings at major conferences including EARLI and SIG1 events across Greece, Spain, Germany, and Portugal. Her laboratory work, though not formally named, centers on experimental assessment design with emphasis on practical applications for teacher education programs. Current projects extend her eye-tracking research to multilingual educational contexts and adaptive feedback systems.
Bas Spitters is an Associate Professor at the Department of Computer Science, Aarhus University, Denmark. He leads the Concordium Blockchain Research Center and the Blockchain workpackage in Digit , and contributes to Aarhus University's Quantum Campus initiative. His research spans Homotopy Type Theory , Formal Verification , and High-assurance cryptographic software . He develops proof assistants like Coq for applications in probabilistic programming , blockchain security , and quantum computing . Recent article trends focus on verified compilation (CertiCoq-Wasm), smart contract certification (ConCert), and applications of HoTT to probabilistic and blockchain systems. Key keywords include Formal Methods , Blockchain , Quantum Computing , and Cubical Type Theory . Scientific awards and grants: AFOSR grant (2018-2021) for Homotopy Type Theory in probabilistic computation Villum Foundation grant (2015-2019) for Guarded Homotopy Type Theory NWO VENI grant (2010-2013) for Reasoning and Computing DIAMANT researcher grant Advising and collaboration: Advised PhD students: Benjamin Salling Hvass, Jakob Botsch Nielsen, Andreas Aagaard Lynge, Soren Eller Thomsen, Martin Bidlingmaier Collaborated on computer-verified exact analysis, smart contracts, and quantum logic Organized workshops: TYPES workshop , HACS , and DMV Mini-Symposium
Denis Merigoux is a researcher at Inria specializing in the intersection of programming languages , formal verification , and computational law . As the lead of the Catala project, he focuses on translating legal texts into verifiable code to modernize tax and social welfare systems. His academic background includes a PhD in Computer Science from Université Paris Sciences et Lettres (2021) and a Master's thesis at École polytechnique.
