Find Academic Supervisors

Selcen Erten JohanssonView profile

Researcher

• Corpus Linguistics
• Media Discourse Analysis
• Turkish Web Registers
• +3 more

Selcen Erten Johansson is a Doctoral Researcher in Digital Language Studies at the University of Turku, focusing on corpus linguistics and media discourse analysis. Her research examines Turkish web registers in the context of political events, such as Finland's NATO membership process in Turkish media. Supported by the Eino Jutikkala Fund (2024–2026), her work bridges computational methods with sociolinguistic inquiry. She holds a Master's in Linguistics from Mersin University (2019) and has been a Fulbright scholar in the U.S. Her teaching spans corpus linguistics, language technology, and Turkish as a foreign language at institutions including Turun Suomenkielinen Työväenopisto and Toros University. Education: PhD Candidate in Digital Linguistics, University of Turku (2021–present) Master's in Linguistics, Mersin University, Türkiye (2019) Fulbright Scholarship, Michigan State University (2015–2016) Research Interests: Selcen explores language variation in digital contexts, particularly Turkish web-based discourse. She combines corpus linguistics with computational tools to analyze political media narratives and multilingual web registers. Her work emphasizes the intersection of technology and sociolinguistics, including projects like TurCORE and collaborations with the TurkuNLP research team. She also investigates pedagogical approaches for teaching Turkish and Finnish as foreign languages. Grants & Support: Eino Jutikkala Fund Grant (2024–2026), Finnish Academy of Science and Letters Teaching & Outreach: She has taught courses on corpus linguistics, automatic text processing, and Turkish language instruction across multiple institutions. Her teaching philosophy integrates digital tools with traditional language pedagogy. Labs & Teams: Active member of the TurkuNLP research team, focusing on NLP applications in digital humanities and multilingual corpora analysis.

Shaked FlurView profile

Researcher

• Formal Methods
• Computer Architecture
• Programming Languages
• +3 more

Shaked Flur is a Researcher at the Department of Computer Science and Technology, University of Cambridge. His work focuses on formal methods, instruction-set semantics, and concurrency models in computer architectures. He contributes to the development of formal verification tools and specifications for ISA standards like ARMv8-A, RISC-V, and CHERI-MIPS. His research bridges academic formal models with practical software and hardware design, emphasizing the adoption of rigorous methods in real-world systems. Flur collaborates on projects such as the Sail specification language, enhancing clarity and precision in ISA documentation. His publications address challenges in memory models, concurrency semantics, and automated verification techniques.

Mariano RicoView profile

Associate Professor

• Linked Open Data
• Natural Language Processing
• Semantic Web Technologies
• +3 more

Mariano Rico is an Associate Professor at the Polytechnic University of Madrid (UPM), affiliated with the OEG research group in the Artificial Intelligence Department. Previously, he served as a Senior Researcher at OEG (2016-2020) and held teaching roles at the Autonomous University of Madrid (UAM). His primary affiliations include the UPM's Faculty of Computer Science and the UAM's Computer Engineering Department. Education: PhD in Computer Science (UAM, 2009), MSc in Physics (UAM, 1992), and postgraduate studies in Telecommunications Engineering. He conducted research stays at DERI (Ireland) and Freie Universität Berlin, focusing on Semantic Web and Linked Data. Research interests center on Linked Open Data, Natural Language Processing (NLP), and Semantic Web technologies, with contributions to DBpedia's Spanish branch and projects like Wf4Ever and LIDER. He actively collaborates with institutions in Leipzig, Bielefeld, and Berlin on Linked Data and linguistic applications. Teaching: Coordinates courses in NLP, Linguistic Engineering, and Big Data Visualization at UPM and online programs. Has instructed over 300 UAM faculty through teacher training programs on LaTeX, bibliographic management, and digital scholarly practices. Projects: Lead roles in European and national initiatives including SlideWiki, UpGrid, and Neptune. Current work focuses on NLP applications like text summarization (esT5s) and terminology tools (TermInteract). Labs/Teams: Core member of the OEG group, contributing to semantic web infrastructure and NLP tool development. Maintains international collaborations through AKSW and CITEC groups.

Brae WebbView profile

Lecturer

• Formal Methods
• Compiler Optimization
• Software Verification
• +3 more

Brae Webb is an Associate Lecturer in the Faculty of Engineering, Architecture and Information Technology at The University of Queensland. His email is b.webb@uq.edu.au . His research focuses on formal methods, compiler optimizations, and software verification, with contributions to verification frameworks for compiler optimizations and formal semantics of programming language implementations. He has co-authored multiple publications at conferences such as FormaliSE, CPP, and ICFEM, and contributed to editions of the textbook Software Architecture . His work spans theoretical and applied aspects of software engineering, including the use of proof assistants like Isabelle/HOL for verifying term graph optimizations. Recent projects include analyzing GraalVM's intermediate representation and differential testing methodologies for compiler verification frameworks. Brae Webb's publications reflect a commitment to advancing formal verification techniques in compiler design and software systems. His textbook series on software architecture emphasizes practical design principles for scalable software systems.

Ezer RasinView profile

Senior Lecturer

• Theoretical Phonology
• Computational Phonology
• Learnability
• +3 more

Ezer Rasin is a Senior Lecturer in the Department of Linguistics at Tel Aviv University (TAU), where he also leads the TAU Phonological Computation Lab. He holds a PhD in Linguistics from MIT (2018), an MA and BSc in Linguistics and Mathematics from TAU (both prior to his PhD). Before joining TAU, he was a postdoctoral researcher in Leipzig University's IGRA program. His research focuses on theoretical and computational phonology, learnability, and formal linguistics. Key areas include phonological opacity, optimality theory, and the interaction between phonology and morphosyntax. His work bridges empirical phonology with computational modeling, addressing questions about language acquisition and formal grammatical architecture. Recent publications examine challenges to size-based parallel analyses in Hebrew vowel deletion, opacity phenomena in Gua and Akan, and computational approaches to phonological learning. He has contributed to journals like Linguistic Inquiry and Journal of Language Modelling , and co-edited proceedings for NELS and other conferences. Rasin teaches courses on phonological opacity, computational phonology, and the phonology-morphology interface at TAU. His research also involves developing audio databases for endangered languages like Judeo-Baghdadi Arabic, reflecting his commitment to computational methods in linguistic documentation.

David M. BleiView profile

Professor

• Machine Learning
• Bayesian Statistics
• Probabilistic Modeling
• +5 more

David M. Blei is the William B. Ransford Professor of Statistics and Computer Science at Columbia University. He is a leading researcher in machine learning, with a focus on probabilistic modeling and Bayesian statistics. His work bridges theoretical foundations with practical applications across various domains. Professor Blei's research spans several key areas in modern machine learning: Development and analysis of probabilistic models for complex data Bayesian inference methods, particularly variational inference Topic modeling and mixed-membership models Causal inference and model criticism Deep generative models and representation learning Applications in natural language processing and recommendation systems His recent publications demonstrate continued advancement in variational inference theory while exploring applications in deep learning and causality. Blei's work on posterior collapse in variational autoencoders, black box variational inference, and scalable recommendation systems has been particularly influential in the machine learning community. Professor Blei mentors PhD students and postdoctoral researchers, fostering the next generation of machine learning researchers. He actively teaches graduate courses on probabilistic models, machine learning, and causal inference at Columbia University, including STCS 6701: Probabilistic Models and Machine Learning (scheduled for Fall 2025). He leads a research group focused on probabilistic modeling, contributing significantly to both theoretical advancements and practical applications of statistical methods in artificial intelligence. The group is part of Columbia's thriving machine learning community, which spans multiple departments and research centers.

Kate RussellView profile

Associate Professor

• Gender Studies
• Sexuality Studies
• Mental Health
• +7 more

Dr. Kate Russell is an Associate Professor in Physical Education at the University of East Anglia (UEA), based in the School of Education & Lifelong Learning. She holds dual roles as Chair of the University Research Ethics Committee and Chair of the Gender and Sexually Diverse Relationships Section at the British Psychological Society. Her expertise spans LGBTQIA+ inclusion, mental health, mindfulness, and gender/sexuality studies in educational and sport contexts. She earned an MA in Teaching Mindfulness from Bangor University and is a Chartered Sport and Exercise Psychologist. Her research explores intersections of gender, sexuality, and wellbeing in sport, education, and professional environments. Current projects include ESRC-funded work on mindfulness in schools and Joyce Morris Legacy-funded studies on early-years wellbeing programs. She leads the Mental Health Trainee Teacher Project examining wellbeing support for education trainees. Key research themes include LGBTQ+ identities in sport/exercise, mindfulness-based interventions, and qualitative research methodologies. She supervises PhD students focusing on gender/sexuality, mental health, and mindfulness applications in educational/sport settings. Her teaching includes modules on sport advocacy and mindfulness pedagogy, with upcoming roles as Course Director for the MSc Professional Practice in Sport (2025). Media engagement includes BBC contributions on football culture and sexual abuse prevention. Collaborations span international projects on digital education and pandemic impacts on youth wellbeing. Russell’s work aligns with UN SDGs for quality education (SDG4) and gender equality (SDG5).

• sociolinguistics
• construction grammar
• pidgins and Creoles
• +4 more

Dr. Micah Corum is an Assistant Professor in the Department of English at the University of North Georgia (UNG), part of the College of Arts & Letters. He holds a Ph.D. in Linguistics from the University of Hamburg (2013) and a Ph.D. in English from the University of Puerto Rico (2017), along with a B.A. in Spanish from Oklahoma State University (2005). His primary research focuses on sociolinguistics, construction grammar, and the study of pidgins and Creoles, particularly in the Caribbean and West African contexts. Dr. Corum advises UNG's linguistics minor program and serves on the editorial board of Odisseia , while also acting as an external reviewer for the Journal of African Languages and Linguistics since 2015. His teaching portfolio includes courses such as Standard English Grammar, Advanced English Grammar, and Introduction to English Linguistics, delivered both online and in-person. Dr. Corum's research explores themes like the historical development of pidgins and Creoles, discourse strategies in Caribbean Creoles, and typological analyses of contact languages. His recent work examines metaphorical frameworks in Creole lexicons and geopolitical metaphors in colonial discourse. Key contributions include his 2015 monograph on spatial semantics in West African Pidgincreoles and a 2021 analysis of Caribbean postcolonial linguistic discourses. Dr. Corum has presented at international conferences including the International Bakhtin Conference and the Society for Pidgin and Creole Linguistics, showcasing his expertise in cognitive linguistics applications to Creole studies.

Sergio MaffeisView profile

Associate Professor

• Computer Security
• Machine Learning
• Programming Languages
• +3 more

Dr. Sergio Maffeis is an Associate Professor and Senior Lecturer in Computer Security at the Department of Computing, Imperial College London, within the Faculty of Engineering. He leads the Security & Machine Learning Lab and holds affiliations with the Engineering Secure Software Systems and Programming Languages research groups. His research focuses on cyber security, machine learning, formal methods, and programming languages. Maffeis earned his Ph.D. from Imperial College London and an MSc from the University of Pisa, Italy. Research interests include adversarial machine learning, intrusion detection systems, and secure software development. His work bridges theoretical foundations with practical applications, such as detecting Advanced Persistent Threats (APTs) and improving ML model robustness against adversarial attacks. Recent publications highlight advancements in combining machine learning with security, including KnowML for knowledge graph-enhanced ML-NIDS and APIRL for REST API fuzzing. He has supervised numerous PhD students, including Abdullah Aldaihan (Large Language Models for Cyber Threat Detection) and Fahad Alotaibi (Concept Drift in ML-based Security). Grants include EPSRC/GCHQ funding for certified verification of client-side web programs and GCHQ grants for web security and lab infrastructure. His lab collaborates on projects like the Security & Machine Learning Lab, exploring cutting-edge topics in secure AI and network defense.

Stace ConstantinouView profile

Senior Lecturer

• Popular Music
• Music Composition
• Electronic Music
• +16 more

Dr Stace Constantinou is a Senior Lecturer in Popular Music and Programme Leader for the Popular Music course at the University of Northampton, affiliated with the Centre for Cultural and Literary Studies within the Culture school. He holds a PhD from Kingston University and is actively engaged in creative research, supervision, and public engagement. PhD, Processes of creative patterning: a compositional approach, Kingston University (2015) His research centers on the intersection of music, technology, and artificial intelligence. He explores AI through programmatic electronic music, develops analytical tools for popular song, and investigates the adaptation of mathematical symmetry into digital signal processing. His creative work emphasizes spatial sound, immersive performance, and the materiality of the audio-object within DAW environments. Key themes include musical creativity, novelty, patterns, and the philosophical implications of AI in music. His recent creative outputs form a thematic arc exploring AI, rebellion, and human identity, most notably through The SAPIAN Trilogy and Rebel-Misfit . These works blend electronic composition with narrative depth, often inspired by thinkers like Zylinska, Bostrom, and Kurzweil. His publications and compositions reflect a consistent focus on sound as a medium for knowledge exchange and conceptual exploration. His scientific recognition includes the Ricordi Prize for Best Composition and the Schillinger Composition Prize. Ricordi Prize for Best Composition Schillinger Composition Prize He supervises two practice-based PhD students: Gemma Boaden, exploring hybrid voice practices for actors, and Michael W. Bell, researching experiential soundtracks using spatial audio technologies. He has secured internal funding for the LIPSY: Live Immersive Performance Soundscape project (2024–2025), demonstrating active grant involvement. His work extends to public engagement through podcasts, radio programs, and exhibitions with the Royal Society of Arts. Dr Constantinou is actively involved in a creative research lab focused on immersive and spatial sound, leading the LIPSY project. His work is inherently collaborative, involving partnerships with artists, film directors, and institutions like Resonance FM, Angel Studios, and The Podcast Company.

Jorge FandinnoView profile

Assistant Professor

• Artificial Intelligence
• Knowledge Representation
• Reasoning
• +5 more

Dr. Jorge Fandinno is an Assistant Professor of Computer Science at the University of Nebraska at Omaha since 2020. His academic journey includes an Alexander von Humboldt Fellowship at the University of Potsdam (Germany) and a Postdoctoral Fellowship at the Toulouse Institute of Computer Science Research (France). He earned his Ph.D. in Computer Science from the University of Corunna (Spain) in 2015. Current Role: Assistant Professor, Computer Science Department, University of Nebraska at Omaha (2020–present) Previous Roles: Alexander von Humboldt Fellow (University of Potsdam, Germany), Postdoctoral Fellow (Toulouse Institute of Computer Science Research, France) Dr. Fandinno’s research focuses on Artificial Intelligence , particularly in Knowledge Representation and Reasoning , Answer Set Programming , and Epistemic Logic . His work bridges theoretical and practical aspects, including the development of formal semantics, deductive systems, and applications in causal reasoning and constraint handling. Recent publications emphasize automated reasoning, strong equivalence verification, and integrating quantitative information into logic programming frameworks. His scholarly output includes over 60 publications in prestigious venues such as Artificial Intelligence , Journal of Artificial Intelligence Research , and conferences like AAAI, IJCAI, and LPNMR. He has received three best technical paper awards at LPNMR (2015, 2017, 2019) and mentored students who won best student papers at JELIA and ICLP. Notably, he secured a NSF CAREER award (2024) for his project on Answer Set Programming for Quantitative Information. Scientific Awards: NSF CAREER award (2024) Best technical paper, LPNMR 2015 Best technical paper, LPNMR 2017 Best technical paper, LPNMR 2019 Best student paper, JELIA 2019 (supervised student) Best student paper, ICLP 2020 (supervised student) Dr. Fandinno’s publications span theoretical advancements in logic programming, epistemic reasoning, and practical applications in causal analysis and constraint satisfaction. His recent work explores automated reasoning tools (e.g., Anthem 2.0 ), recursive aggregates, and complexity assessments in ASP.

• Clinical Linguistics
• Psycholinguistics
• Aphasia
• +5 more

Dr. Anna Rosenkranz is a researcher at the Institute for German Linguistics, specializing in Clinical Linguistics at Philipps-Universität Marburg. She holds a visiting professorship at the Department of Educational and Rehabilitation Sciences, University of Cologne (2024-2025), focusing on language disorders in neurologically impaired populations. Her career spans institutions including Ruhr-Universität Bochum and University of Reading, with a PhD in Linguistics (2015). Current affiliations: Philipps-Universität Marburg (since 2019), University of Cologne (2024-2025) Education: PhD Linguistics (Bochum), MA Speech Science (Marburg), BA Linguistics (Bochum) Rosenkranz's research bridges clinical linguistics and neuropsychology, focusing on: Executive function contributions to word retrieval in aphasia Complex semantic processing in cognitive communication disorders Diagnostic tools for subtle post-brain-injury communication deficits Psycholinguistic models of verbal fluency in psychiatric and neurological conditions Digital participation barriers for speech-language impaired individuals Her work emphasizes practical applications in speech therapy, including the development of the KomplexSem test and FAVRES-D assessment. Recent publications analyze digital accessibility challenges, semantic processing, and cognitive-linguistic interactions across conditions like schizophrenia and dementia. Professional activities include: Co-developer of cognitive-communication screening tools (CCCABI-DE, KomplexSem) Coordinator of continuing education programs (2022-2024) Keynote speaker at international workshops on language production and neurorehabilitation Contributor to BMBF-funded projects on 'small disciplines with high potential'

Sylvain ConchonView profile

Professor

• Formal Methods
• Automated Deduction
• Program Verification
• +10 more

Sylvain Conchon is a Professor at Université Paris-Saclay, affiliated with the Laboratoire Méthodes Formelles (LMF, UMR 9021) and the Toccata research team, a joint project with INRIA Saclay – Île-de-France. His work lies at the intersection of formal methods, automated reasoning, and software verification. Research Interests: His primary research areas include SMT solving, automated deduction, program verification, model checking for parameterized systems, and information flow analysis. He develops theoretical foundations and practical tools to ensure software correctness, particularly in safety-critical and concurrent systems. Publications and Tools: His recent work centers on projects like BPI IDemo ARGOS (2024) and PEPR Secureval (2022), focusing on industrial software verification and cybersecurity. He is the main developer of Alt-Ergo , an SMT-based theorem prover, and Cubicle , a model checker for parameterized systems. His publications span formal methods, logic in computer science, and static analysis, with a strong emphasis on tool building and application. Scientific Awards: Advising and Grants: He has advised several PhD students including Guillaume Girol, Alain Mebsout, and Mohamed Iguernelala. He has led and participated in numerous research projects funded by ANR, FUI, PEPR, and industrial partners, demonstrating sustained grant success in formal methods and verification. Labs and Teams: He is a core member of the Toccata team at INRIA Saclay and the LMF laboratory, where he collaborates on advancing the state-of-the-art in deductive program verification and automated reasoning.

Amin TimanyView profile

Associate Professor

• Programming Languages
• Type Theory
• Logical Relations
• +9 more

Amin Timany is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, where he conducts research in programming languages, type theory, and formal verification. He is a member of the Logic and Semantics Group and actively contributes to the development of logical relations, separation logic, and proof assistants such as Coq and Iris. He holds a PhD in Computer Science from KU Leuven (2018) and was previously a postdoctoral fellow with FWO at KU Leuven. His research focuses on mechanized semantics, program equivalence, concurrency, and distributed systems verification. He is particularly known for solving the long-standing problem of proving encapsulation in the ST monad using logical relations. His recent publications span top-tier venues including POPL, ICFP, PLDI, and CPP, with key contributions in guarded interaction trees, higher-order separation logic (e.g., Trillium), and modular verification of CRDTs and virtual machines. His work emphasizes formalization and mechanization in Coq, often within the Iris framework. He has served on numerous program committees and has chaired conferences such as CPP and sessions at CoqPL. Notably, his paper 'Modular Denotational Semantics for Effects with Guarded Interaction Trees' received a Distinguished Paper Award at POPL 2024. PhD, KU Leuven, 2018 MSc, TU Dresden, 2013 He teaches courses such as Compilation, Program Logics, and Advanced Topics in Programming Language Theory. He collaborates extensively with researchers like Lars Birkedal, Robbert Krebbers, and Derek Dreyer, and mentors students in formal methods and PL theory.

Michael MinockView profile

Associate Professor

• Natural Language Interfaces
• Knowledge Representation
• Databases
• +4 more

Michael Minock is an Associate Professor in Computing Science at Umeå University. His research focuses on the intersection of AI and relational databases, particularly in natural language interfaces, semantic tractability, and knowledge representation. He has led significant projects such as the VR grant (2015-04953) and EU STREP SpaceBook (2011–2014). Minock also co-founded C-Phrase Technologies AB and teaches courses on databases and large language models. B.S. in Computer Science (Honors), University of Michigan Ph.D. in Computer Science, UCLA His research explores the logical foundations of database query languages, emphasizing higher-order logic in natural language interfaces. Recent work integrates LLMs into database management systems. Key publication trends include query containment analysis, cooperative question answering, and context-aware navigation systems. Subfields span natural language processing, spatial databases, and semantic reasoning. Scientific Awards: Pell Grants Michigan Competitive Scholarship DARPA AASERT Award Minock's teaching includes courses on database management and LLM applications in IT. He actively contributes to open-access publications and maintains a strong interdisciplinary focus across AI, logic, and real-world database challenges.