Find Academic Supervisors

Andrew K. HirschView profile

Assistant Professor

• Choreographic Programming
• Information-Flow Security
• Computational Effects
• +3 more

Andrew K. Hirsch is an Assistant Professor at the University at Buffalo, SUNY , Department of Computer Science and Engineering. He leads the Databases and Programming Languages group and focuses on programming languages for decentralized systems, particularly choreographic programming and information-flow security. Education: Ph.D. in Computer Science (2019) from Cornell University, supervised by Ross Tate on computational effects. B.S. in Computer Science and Pure Mathematics from The George Washington University. Research Interests: His work centers on choreographic programming, a paradigm ensuring deadlock-free concurrent systems, and information-flow security for decentralized applications. He also explores computational effects and type systems in programming language theory. Publications: Recent work includes advancements in process polymorphism (OOPSLA 2025), type-level polymorphism (PLACES 2025), and security definitions for higher-order declassification (OOPSLA 2023). Students: Doctoral: Michael Piskozub, Keith Allen Mason Masters: Alexander Bohosian, Gianna Bossoreale Undergraduate: Alex Doyoon Kim, Julia Montouri Recent Alumni: Ethan Canton, Tiffany Cai, Vamsi Krishna Bellam, Vincent Chan, Frank (Feng-Mao) Tsai Projects: Leads initiatives such as Choret (open choreographies) and The Pirouette Language and Compiler , which translate choreographic programs into concurrent system implementations.

Michael NorrishView profile

Associate Professor

• Formal Methods
• Interactive Theorem Proving
• Programming Languages
• +4 more

Michael Norrish is an Associate Professor at the School of Computing, Australian National University (ANU) , specializing in formal methods, programming language semantics, and interactive theorem proving. His career spans roles at NICTA, Data61, and ANU, with a focus on mechanised mathematics and verified systems. PhD in Computer Science (University of Cambridge, 1999) Undergraduate degree from Victoria University of Wellington His research bridges interactive theorem-proving (ITP) systems like HOL4 with real-world systems verification, particularly in programming languages and compilers. He leads the CakeML project, developing a verified compiler for functional languages. His work intersects formal verification with practical system design, including projects on reproducibility debt in scientific software and verified processors. Recent publications highlight verified compilation techniques, reproducibility challenges, and Kolmogorov complexity formalization. He actively participates in conference program committees (e.g., CPP, PLDI) and promotes trustworthy systems development through tools like HOL4. Current affiliations: ANU, CakeML Project, Trustworthy Systems Research Group (UNSW) Collaborations: Chalmers University (postdoc opportunities), seL4 microkernel ecosystem

• French Language Teaching
• Foreign Language Acquisition
• Communicative Language Pedagogy
• +2 more

Aurélie Volsy serves as a Lecturer at ESCI-UPF, Pompeu Fabra University, teaching French language courses for the Bachelor’s Degree in International Business and Marketing program. Her position focuses on delivering foundational French vocabulary and grammar instruction within this English-taught degree. Her professional expertise centers on French language pedagogy for non-native speakers, developed through 18+ years of experience since 2006. Drawing from her theatrical background and cultural project work, she implements dynamic classroom methodologies emphasizing communicative competence, active listening, and cultural exchange. This approach fosters practical language application in both formal academic and informal professional contexts. Ms. Volsy’s teaching philosophy integrates performance techniques to create immersive learning environments, prioritizing student engagement and real-world communication skills development across diverse learner demographics from childhood through professional adulthood.

• Business Language Education
• German Language
• Russian Language
• +2 more

Galina Yanygina serves as a Lecturer at Pompeu Fabra University's School of International Business (ESCI-UPF), where she delivers specialized language instruction within the Bachelor’s Degree in International Business and Marketing program. Her role focuses on equipping business students with critical linguistic competencies for global professional environments. Her teaching expertise centers on business-oriented language acquisition, with dedicated courses in German and Russian specifically tailored for international commerce. Through structured curricula spanning beginner to advanced levels, she develops students' abilities in formal business communication, cross-cultural negotiation, and multilingual documentation handling across German, Russian, Catalan, and Spanish linguistic frameworks. As a core teaching faculty member, she implements practical methodologies emphasizing real-world business scenario application, with courses designed to build both oral proficiency and written documentation skills essential for multinational corporate operations.

José Luis Alonso BerrocalView profile

Professor

• Information Retrieval
• Web Cybermetrics
• Digital Libraries
• +5 more

Professor José Luis Alonso Berrocal is affiliated with the University of Salamanca, where he works in the Department of Computer Science and Automation within the Faculty of Engineering. His research spans information systems, web technologies, and educational applications of computer science. Dr. Berrocal earned his PhD from the University of Salamanca with a thesis titled "Cibermétricos. Análisis de los dominios web españoles" (2001), supervised by Dr. Luis Carlos García de Figuerola Paniagua. His academic journey has positioned him at the intersection of computer science and information systems. His research interests focus on Information Retrieval , Web Cybermetrics , Digital Libraries , and Educational Technology . Dr. Berrocal has made significant contributions to understanding web structure, information retrieval systems, and the application of technology in education. His work often bridges theoretical computer science with practical applications in academic and research settings. Analysis of his publication history shows a consistent focus on information retrieval systems and web analysis techniques. His early work centered on foundational tools like SACARINO (a web crawling and processing system), while more recent research examines the structure of institutional websites, particularly in biomedical research centers. He has explored both theoretical aspects of information retrieval and practical implementations using libraries like Lucene. Active researcher in the SOCIOLOGICAL ANALYSIS GROUP Member of the UNIVERSITY INSTITUTE FOR SCIENCE AND TECHNOLOGY STUDIES PhD School affiliation: Logic and Philosophy of Science

• Oral Public Health
• Preventive Dentistry
• Community Dentistry
• +4 more

Antonio Luis Castaño Seiquer serves as Professor in the Department of Stomatology at the University of Seville's Faculty of Dentistry. As principal investigator of the "INVESTIGACION SUROESTE" research group, he directs multiple initiatives including the "Convenio Universidad-Empresa para Apoyo de Formación en Salud Pública Oral" and coordinates the "Grupo de Cooperación Odontología Social." His academic leadership extends to developing university expert courses in dental health administration. His research centers on social determinants of oral health, with expertise spanning community dentistry, preventive strategies, and occupational health in dental practice. He has pioneered social dentistry programs addressing vulnerable populations including homeless communities, drug addicts, and institutionalized groups across Spain, Morocco, Peru, and the Dominican Republic. His work integrates public health principles with clinical dentistry through community-based interventions and policy development. Analysis of his publication history (1997-2018) reveals consistent focus on oral health disparities, preventive care implementation, and social dentistry applications. His recent work examines osteonecrosis management, dental sealant practices, and socioeconomic influences on oral health, demonstrating applied research directly impacting community care models and dental education curricula. Professor Castaño Seiquer has supervised doctoral research on topics including social dentistry projects in Yucatán, Guinea-Bissau malocclusion studies, and military population oral health epidemiology. His collaborative projects with institutions like Fundación Odontología Social demonstrate commitment to translating research into community action, particularly through programs serving Sahrawi refugees, drug rehabilitation centers, and marginalized urban populations.

Christos ArampatzisView profile

Associate Professor

• Language Teaching
• Translation Studies
• Second Language Acquisition
• +4 more

Christos Arampatzis serves as an Associate Professor in the Department of Specific Didactics at the University of Las Palmas de Gran Canaria, operating within the Branch of Knowledge of Social and Legal Sciences and specializing in Didactics of Language and Literature. His academic profile centers on the CNEAI Field of Educational Sciences with consistent institutional affiliation through 2024. His research program systematically investigates Language Teaching methodologies, Translation Studies of audiovisual content, and Second Language Acquisition processes. Key emphases include linguistic variation in media translation, bilingual education frameworks, and English pedagogy implementation across early childhood and compulsory education stages. This work bridges theoretical linguistics with practical classroom applications. Scholarly output demonstrates specialization in audiovisual translation dynamics, particularly through his 2013 publication analyzing non-standard language varieties in American sitcoms and their Spanish dubbing. This research establishes connections between media linguistics and language teaching practices, highlighting pedagogical implications for handling dialectal diversity in educational contexts. Academic mentorship constitutes a significant dimension of his career with 18 supervised theses between 2011-2024. Advisees have developed curriculum frameworks for English instruction across multiple educational levels, investigated second language acquisition in preschool settings, and designed bilingual teaching methodologies. All supervision occurs within the Master's Degree in Teacher Training program and undergraduate education degrees at the University of Las Palmas de Gran Canaria.

Carmen Isabel Céspedes SuárezView profile

Professor

• Language Teaching
• Intercultural Communicative Competence
• Ethnocentrism in Education
• +6 more

Carmen Isabel Céspedes Suárez is a Professor in the Department of Specific Didactics at the University of Las Palmas de Gran Canaria's Faculty of Education. Her academic work focuses on language teaching and literature with particular emphasis on intercultural communicative competence, ethnocentrism, racial identity in language classrooms, decolonization of syllabi, and critical discourse analysis. She has established herself as a significant researcher in Spanish language education within Caribbean contexts, especially Barbados. Her research interests center on the intersection of language education and social justice. She critically examines how ethnocentrism and eurocentrism manifest in language teaching materials and classroom practices, with special attention to how Barbadian students of African descent engage with Spanish language learning. Her work addresses colorism, racism, and identity formation in multilingual educational settings, exploring how emotions and plurilingualism interact with intercultural competence development. She has developed innovative pedagogical approaches for discussing complex social issues in language classrooms and has contributed significantly to understanding how to assess intercultural competence in language examinations. Analysis of her recent publications (2023-2025) reveals three major research strands: 1) Critical examination of ethnocentrism and eurocentrism in language teaching materials, 2) Development of intercultural competence in Caribbean educational contexts, particularly addressing racial identity and postcolonial issues, and 3) Exploration of artificial intelligence's role in language learning and academic writing. Her work demonstrates increasing engagement with contemporary social movements like Black Lives Matter and their implications for language education. Her scientific contributions include numerous articles in journals such as Porta Linguarum, Tejuelo, and Ogigia, along with book chapters and conference presentations focusing on language education, intercultural competence, and decolonial approaches. She has co-authored publications with researchers including Miriam Biel-Maeso, Sara Hernández Arroyo, and Margarita Isabel Asensio Pastor. Dr. Céspedes Suárez maintains active research collaborations across disciplines, as evidenced by her co-authorship of a clinical trial on mindfulness and Alzheimer's disease. Her work bridges language education with broader social justice concerns, demonstrating commitment to addressing systemic issues through pedagogical innovation. She has developed specific teaching materials like '¡Acércate! Curso intercultural para aprendices de español como LE (nivel B1)' to implement her research findings in practical classroom settings.

• Content Curation
• Journalistic Documentation
• Audiovisual Documentation
• +3 more

Javier Guallar is a Professor and Academic Secretary at the Faculty of Information and Audiovisual Media at the University of Barcelona. He holds dual PhDs in Information and Documentation from the University of Barcelona and Communication from Pompeu Fabra University. He directs the Social Media Content Postgraduate program and serves as Deputy Director of the journal "Profesional de la información" while directing book collections at Editorial UOC. PhD in Information and Documentation, University of Barcelona PhD in Communication, Pompeu Fabra University Professor Guallar's research centers on content curation, journalistic documentation, audiovisual documentation, social media, digital journalism, and scientific publication. His work develops frameworks for analyzing digital media content curation practices, examining how news organizations curate content across platforms with particular attention to newsletters, social media strategies, and AI's impact on journalism. He has pioneered methodological approaches like the Curation Analysis System (CAS) that have become influential in the field. His recent publications reveal a growing focus on AI applications in journalism, particularly examining platforms like Google News and ChatGPT. His research consistently explores content curation across media formats, analyzing curated newsletters, social media strategies during platform transitions like Twitter's ownership changes, and content curation's role in combating misinformation. His interdisciplinary approach bridges information science, communication studies, and digital media research with international collaborations across Spain and Latin America. Professor Guallar previously served as an associate professor at Blanquerna Faculty of Communication and International Relations (URL), Faculty of Communication at UIC, and Information and Communication Studies at UOC. His professional background includes extensive experience as a press documentalist in media organizations, providing practical grounding for his academic work. He leads research within the Information, Communication and Culture Research Center and the Dean's Office at the Faculty of Information and Audiovisual Media. His work with the Consolidated Research Group on Culture and Digital Content has produced significant insights into digital transformation across information practices, influencing both academic discourse and professional applications in media organizations.