Recursive Grammar Professors and Supervisors | ApplySharif

Find Academic Supervisors

Find and connect with academic supervisors, professors, and scholars for your research journey.

Showing 16-30 of 88 supervisors

Profile data may be stale. It is sourced from public faculty pages.

Sandra ZillesView profile

Professor

University of ReginaCanada

Sandra Zilles is a Professor and Canada Research Chair (Tier 1) in Computational Learning Theory at the University of Regina's Department of Computer Science. She holds adjunct appointments at the University of Waterloo and collaborates with the Alberta Machine Intelligence Institute (Amii). Her research focuses on theoretical computer science and artificial intelligence, particularly interactive learning models, formal language theory, and heuristic search algorithms. Her research integrates computational learning theory, formal language theory, and discrete artificial intelligence structures. Key interests include: Machine teaching with limited data Learnability of pattern languages and automata Graph-theoretic approaches in AI Her work bridges theoretical frameworks with applications in medical imaging, bioinformatics, and game theory. Zilles has received numerous honors including: NSERC Canada Research Chair (Tier 1, 2022-2029) Royal Society of Canada College membership Best Paper Awards (KI 2012, ALT 2003, COLT 2002) She mentors over 50 students and postdocs through her research group. Current projects explore symbolic automata, collaborative learning, and geometric teaching models. Her lab maintains international collaborations with institutions in Germany, Canada, and the US.

Official University Profile

Emily ElfnerView profile

Associate Professor

York UniversityCanada

Emily Elfner is Associate Professor in the Department of Languages, Literatures and Linguistics at York University, specializing in phonological interfaces. Education includes: PhD, University of Massachusetts Amherst MA, University of Calgary BA, University of Calgary Research investigates prosodic structures in endangered languages, particularly Kwak'wala phonology and Irish syntax-prosody interactions. SSHRC-funded fieldwork documents Kwak'wala intonation patterns. Publications demonstrate consistent focus on prosodic systems across diverse languages including Breton, Irish, Inuktitut, and Tlingit. Recent works examine word-order constraints, morphological-prosodic mappings, and recursive phonological structures.

Official University Profile

Caroline LemieuxView profile

Assistant Professor

InriaFrance

Caroline Lemieux is an Assistant Professor at the University of British Columbia, specializing in automated software testing and reliability. Her research develops methods for testing, debugging, and improving software correctness through techniques like fuzz testing and program synthesis. She holds a Ph.D. from UC Berkeley advised by Koushik Sen and a B.Sc. in Computer Science and Mathematics from UBC. Research Interests: Dr. Lemieux's work focuses on: Fuzz testing for vulnerability detection Program synthesis using AI/ML approaches Property-based testing frameworks Automated debugging and specification mining Applications of reinforcement learning in test generation Publication Trends: Her recent papers explore large language models for test generation, fuzzing strategies in CI/CD environments, and neural-backed program synthesis. Work consistently bridges theoretical computer science with practical software engineering challenges. Awards: ACM SIGSOFT Distinguished Paper Award Google PhD Fellowship Best Paper Award (Industry Track) Berkeley Fellowship for Graduate Study

Official University Profile

Thomas GrafView profile

Associate Professor

Stony Brook UniversityUnited States

Thomas Graf is an Associate Professor in the Department of Linguistics and an Affiliate Professor at the Institute for Advanced Computational Science (IACS) at Stony Brook University. He holds a Ph.D. from UCLA (2013) and an M.A. from the University of Vienna. His research focuses on the intersection of theoretical linguistics and computer science, exploring structural complexity in syntax, morphology, and phonology, and its implications for language processing and acquisition. Graf’s work emphasizes computational constraints on natural language, such as subregular complexity and parsing efficiency, and involves empirical studies across languages like English, Icelandic, and American Sign Language. Education: Ph.D., University of California, Los Angeles (2013) M.A., University of Vienna Research interests include computational syntax and phonology, parsing theory, and the formal characterization of linguistic universals. Key themes involve the computational power of linguistic frameworks (e.g., Minimalist grammars), the subregular hierarchy, and the typological implications of computational constraints. Graf’s recent work investigates how empirical phenomena like syntactic islands arise from complexity limits in natural language. His contributions to computational linguistics include Python tools for Minimalist grammar processing and collaborations in labs like the Computational Linguistics Lab (CompLab) at Stony Brook. He has also received a NSF CAREER grant for research on abstract universals in morphosyntax. Labs/Teams: Active member of the Computational Linguistics Lab (CompLab) at Stony Brook University. Leads the MathLing Reading Group and contributes to NLP research initiatives.

Official University Profile

Jasmin BlanchetteView profile

Professor

Vrije University AmsterdamNetherlands

Jasmin Blanchette is a Professor of Theoretical Computer Science and Theorem Proving at Ludwig-Maximilians-Universität München (LMU), where he also serves as the Dean of Studies for Computer Science since January 22, 2024. He is affiliated with the Institute for Informatics and leads the Theoretische Informatik und Theorembeweisen research unit. Additionally, he is a guest researcher in the VeriDis group at Loria, Nancy. Research Interests: His research centers on strengthening proof automation for general-purpose logics and enhancing the usability of proof assistants. He combines automatic and interactive methods, bridging human and artificial intelligence in formal verification. His work spans higher-order logic, automated and interactive theorem proving, formalization of mathematical results, and foundational mechanisms for (co)datatypes and (co)recursive functions. Key projects include Sledgehammer, Nitpick, Matryoshka, Nekoka, IsaFoL, and Lean Forward. Publication Trends: His recent publications (2023–2025) show a strong focus on higher-order automated reasoning, superposition calculus, proof automation in Isabelle/HOL, and formalization of logical and mathematical concepts. There is a consistent emphasis on verification, efficiency, and integration of SAT/SMT techniques into higher-order provers. Scientific Awards: FroCoS 2023 Best Paper Award (with Visa Nummelin and Sander Dahmen) CADE 2023 Best Paper Award for 'Verified given clause procedures' (with Qi Qiu and Sophie Tourret) IPA Dissertation Award (awarded to student Petar Vukmirović) Dutch Prize for ICT Research 2022 Advising and Grants: He supervises a large team of postdocs and PhD students at LMU and co-supervises students at other institutions. His leadership in major collaborative projects like Matryoshka indicates significant grant funding and collaborative research efforts. He is editor-in-chief of the Journal of Automated Reasoning and serves on numerous steering and program committees, reflecting strong academic leadership and visibility. Labs and Teams: He leads a research group at LMU’s Institute for Informatics, focusing on theorem proving and formal methods. He is also associated with the VeriDis group at Loria, Nancy, and collaborates widely across Europe in the automated reasoning community.

Official University Profile

Ana Teresa Pérez-LerouxView profile

Professor

University of TorontoCanada

Ana Teresa Pérez-Leroux is a Professor of Spanish and Linguistics and Chair of the Department of Spanish and Portuguese at the University of Toronto . She also serves as Director of the Cognitive Science Program. Her research focuses on child language acquisition, bilingualism, and Spanish syntax, with an emphasis on understanding how children learn complex grammatical structures. She holds a PhD in Hispanic Linguistics from the University of Massachusetts Amherst. Key affiliations include the Faculty of Arts and Science , where she has been a professor since 2009, and leadership roles such as Chair of Spanish and Portuguese (2019–present) and Director of Cognitive Science (2014–2019). Earlier roles include Visiting Professorships at the Federal University of Rio de Janeiro and Michigan State University. Research Interests : Her work investigates syntactic and semantic development in monolingual and bilingual children, particularly recursion in noun phrases, clitic usage, and tense/mood systems. Recent projects include SSHRC-funded studies on noun phrase complexity ($158,848, 2014–2018), revealing insights into recursive structures across languages like Japanese, German, French, Spanish, and English. Grants and Collaborations : Co-PI on SSHRC Insight Grant exploring recursive embedding in children. Collaborators include Susana Bejar, Diane Massam, and Yves Roberge. Supervises over 20 graduate students and has published extensively in Bilingualism: Language and Cognition , Linguistics , and Language . Education : PhD in Hispanic Linguistics (1993), MA in Spanish & Linguistics (1992), both from UMass Amherst. BA in Modern Languages (1983) from Universidad Autónoma de Santo Domingo.

Official University Profile

Robert LieckView profile

Assistant Professor

Durham UniversityUnited Kingdom

Dr. Robert Lieck is an Assistant Professor in the Department of Computer Science at Durham University. He holds a PhD from the Machine Learning and Robotics Lab (now Learning and Intelligent Systems Lab) in Stuttgart/Berlin, Germany, and completed a postdoctoral position at the Digital and Cognitive Musicology Lab at EPFL, Switzerland. His research focuses on interdisciplinary applications of machine learning and artificial intelligence, with particular emphasis on cognitive modelling, music cognition, and ethical AI. Education: PhD in Machine Learning and Robotics, Stuttgart/Berlin, Germany (2012–2017) MSc Physics and Philosophy, Freie Universität Berlin Research Interests: Probabilistic Modelling (Bayesian inference, graphical models) Neuro-Symbolic Modelling (differentiable parsing algorithms) Structure Learning (feature discovery, hierarchical systems) Applications in music analysis, medical imaging, and autonomous systems Ethical implications of AI in policy and legislation Publications: Recent work includes advancements in deep reinforcement learning for diabetes management, recursive Bayesian networks, and computational models of musical expectancy. His research bridges theoretical AI with practical applications in musicology and healthcare. Students: Supervising four postgraduate students: Ishaq Ibrahim, Megan Finch, Ningxiang Xie, Xiaotang Zhang Labs: Active contributor to the Digital and Cognitive Musicology Lab (EPFL) and Durham's Computer Science research groups.

Official University Profile

Joseph A GalassoView profile

Lecturer

California State University, NorthridgeUnited States

Joseph A Galasso is a Lecturer in the Linguistics Department at California State University, Northridge, specializing in early child language development through the lens of Chomskyan Minimalist Program. With a Ph.D. in Linguistics from the University of Essex (1999), he has dedicated his career to understanding how syntactic operations like Merge and Move develop in children's language acquisition. His research focuses on the biological underpinnings of language, particularly examining the relationship between brain maturation (especially basal ganglia development) and syntactic acquisition. Galasso's work bridges theoretical linguistics, neurolinguistics, and artificial intelligence, exploring how recursive neural networks might model human language processing. He has developed the 'Merge-based Theory' of child language acquisition, which posits that children initially operate with only Merge operations before developing Move capabilities. Galasso's recent publications (2020-2025) reveal a growing interest in the intersection of AI and linguistics, particularly examining how current transformer models fall short of capturing the recursive nature of human language. His work spans theoretical syntax, neurolinguistics, and practical applications to language acquisition research. Referenced by National Institutes of Health (NIH) on Minimalist Approaches to Early Child Language Acquisition (PMID: 32457672) Galasso has published extensively in academic journals and books, with notable contributions to The Oxford Handbook of Developmental Linguistics (2016) and Oxford Bibliographies in Linguistics. His work on early child syntax has been influential in understanding the developmental trajectory of possessive constructions and word order acquisition. His teaching includes courses on Introduction to Linguistics, Language Acquisition, and Minimalist Syntax, reflecting his broad expertise across theoretical and applied linguistics.

Official University Profile

Naoki YamamotoView profile

Assistant Professor

Waseda UniversityJapan

Naoki Yamamoto is an Assistant Professor (non-tenure lecturer) at Waseda University's School of Fundamental Science and Engineering, Department of Computer Science and Engineering since April 2025. He also holds a part-time lecturer position at the University of Tokyo's College of Arts and Sciences (Junior Division) since October 2025. Previously, he served as a Research Associate at Waseda University from April 2022 to March 2025. He received his Doctor of Engineering from Waseda University in March 2025, following his Master of Engineering (2021) and Bachelor of Engineering (2019) from the same institution. Dr. Yamamoto's educational background is impressive, having earned his Bachelor's, Master's, and Doctoral degrees consecutively from Waseda University's School of Fundamental Science and Engineering. During his doctoral studies under Professor Kazunori Ueda, he focused on advanced topics in programming languages and graph theory. He was awarded the Outstanding Student Award (Dean's Award) from Waseda University in March 2019. His research interests center around graph-based programming language theory, with particular expertise in Graph Pattern Matching , Static Type Checking for complex data structures , and Graph Rewriting Languages . He has developed innovative approaches to handling graph structures that go beyond traditional algebraic data types like lists and trees. His work bridges theoretical computer science with practical implementation, focusing on how to safely manipulate complex graph structures in programming languages. His publication record demonstrates consistent advancement in graph-based type systems. Starting with foundational work on static type checking for graph operations (2019), he progressed to handling numeric constraints (2020), extending type expression power (2022), and developing grammar-based approaches for difference data structures (2024). His research shows a clear trajectory from theoretical foundations to practical applications, with increasing sophistication in handling complex graph structures. His work on LMNtal ShapeType represents a significant contribution to the field of graph rewriting languages. Outstanding Student Award (Dean's Award), Waseda University (2019) Dr. Yamamoto has been actively involved in teaching and research supervision, having served as a Teaching Assistant for 14 courses between 2018-2021. He currently teaches Introduction to C Programming and C Application Development at Waseda University, and Introduction to Algorithms at the University of Tokyo. He has received research funding through the Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research, collaborating with Professor Kazunori Ueda on projects related to high-level languages with powerful data structures and concurrency. As a member of Ueda Laboratory at Waseda University, Dr. Yamamoto has contributed to the development of tools like Lambda Friends, a web-based interpreter for lambda calculus written in TypeScript. His research group focuses on advancing programming language theory, particularly in the areas of graph rewriting and type systems, with applications in both programming languages and modeling languages. His work demonstrates how graph rewriting languages can unify program execution and model checking functionalities while guaranteeing well-formedness of graph structures.

Official University Profile

Dieuwke HupkesView profile

Researcher

Pompeu Fabra UniversitySpain

Dieuwke Hupkes is a Researcher at Meta AI Research and an ELLIS Scholar, focusing on understanding neural networks' ability to process hierarchical structure and generalize compositional patterns. Her work bridges computational linguistics, cognitive science, and artificial intelligence, emphasizing interpretability of language models. She holds a PhD from the University of Amsterdam (ILLC) and has supervised numerous student theses on neural network analysis and language processing. Notable contributions include the Llama 3 models, GenBench generalization taxonomy, and studies on compositional learning in recurrent networks. Education: PhD in Logic (University of Amsterdam, 2020), MSc in Artificial Intelligence, and earlier studies in Physics. Awards include ELLIS Scholar (2024), CoNLL 2019 Honourable Mention, and MLRC 2022 Best Paper Award. She has taught courses on natural language processing and co-organized workshops on neural network interpretability. Research interests span generalization in NLP, emergent language structures, and alignment of large language models. Her work frequently employs diagnostic classifiers and benchmarking to probe model behavior, with applications to both theoretical understanding and practical model evaluation.

Official University Profile

Benjamin C. PierceView profile

Professor

Max Planck Institute for Software SystemsGermany

Benjamin C. Pierce is the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. As a Fellow of the ACM, he has made significant contributions to programming language theory and formal methods. His academic leadership includes previous editorial roles as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans multiple interconnected domains in programming language theory, with particular emphasis on type systems and their applications to security and verification. Pierce's work bridges theoretical foundations with practical implementations, most notably through his development of the Unison file synchronization tool and contributions to the Clowdr virtual conference platform. His research interests form a cohesive trajectory from foundational type theory to applied security and verification techniques. Pierce's scholarly output shows consistent focus on property-based testing, type systems, and formal verification methods. His recent publications demonstrate evolving interests in differential privacy verification, synchronization technologies, and the practical challenges of implementing formal methods in real-world systems. The progression of his work reflects both theoretical depth and practical relevance to software development challenges. Fellow of the ACM Author of influential textbooks Types and Programming Languages and Software Foundations Lead designer of the Unison file synchronizer Co-developer of the Clowdr virtual conference platform Former editorial leadership for multiple prominent programming languages journals As an educator and mentor, Pierce has contributed to the Programming Languages Mentoring Workshop (PLMW) and has served on numerous conference program committees. His academic service extends to SIGPLAN leadership roles including SIGPLAN Vice Chair and Steering Committee membership. His textbook Software Foundations has become a standard resource for teaching formal methods and proof assistants.

Official University Profile

Diogo PoçasView profile

Assistant Professor

University of LisbonPortugal

Diogo Poças serves as Assistant Professor in the Department of Mathematics at Instituto Superior Técnico (University of Lisbon) and Researcher at Instituto de Telecomunicações since 2024. Previously, he held faculty positions at the University of Lisbon's Faculty of Sciences (2020-2024) and conducted postdoctoral research at TU München (2018-2020), demonstrating continuous academic engagement within Portugal's leading technical institution. His academic foundation includes: PhD in Mathematics from McMaster University (2014-2017) supervised by Prof. Jeffery Zucker MSc in Mathematics and Applications from Instituto Superior Técnico (2011-2013) supervised by Prof. José Félix Costa BSc in Applied Mathematics and Computation from Instituto Superior Técnico (2008-2011) Dr. Poças' research program integrates theoretical computer science with practical applications across three interconnected domains: Session Types (developing algorithms for type equivalence and communication safety in concurrent systems), Algorithmic Game Theory (analyzing equilibrium computation complexity in congestion games and auctions), and Analog Computation (modeling continuous-data computation through frameworks like the General Purpose Analog Computer). His work consistently bridges formal methods with real-world computational challenges. His publication record reveals a cohesive research trajectory where session type theory advances directly inform game-theoretic mechanism design. Recent papers demonstrate growing sophistication in handling higher-order polymorphic types while simultaneously addressing fundamental questions in auction revenue maximization and congestion game equilibria, indicating a unique interdisciplinary approach to computational theory. No scientific awards or fellowships are documented in available sources. Dr. Poças has mentored students through teaching assistant roles (2013-2015) and supervised his own MSc thesis on stochastic oracle complexity. Current research funding derives from his affiliations with LASIGE (2020-2024) and Instituto de Telecomunicações, though specific grant mechanisms remain unspecified. He contributes to Portugal's computational research ecosystem through Instituto de Telecomuncações, building on prior work with LASIGE where he developed theoretical frameworks now reflected in his recent publications on session types and game equilibria.

Official University Profile

Lluís Barceló CoblijnView profile

Senior Lecturer

University of the Balearic IslandsSpain

Dr. Lluís Barceló Coblijn is a Senior Lecturer at the University of the Balearic Islands (UIB), specializing in Catalan Philology and General Linguistics. He leads the Laboratori d'Investigació en Complexitat i de Lingüística Experimental (LICLE) , focusing on language evolution, syntax, and atypical language acquisition. His work combines Network Science with linguistic analysis, particularly exploring phylogeny (e.g., H. sapiens and H. neanderthalensis) and ontogeny (birth to adulthood). He also researches Balearic sign languages and clinical linguistics in disorders like Williams syndrome and dyslexia. Education: Bachelor's in Catalan Philology (UIB, 2006), with a year at Universität Paderborn Bachelor's in General Linguistics (UB, 2007), with a year at Vrije Universiteit Amsterdam Master's in Cognitive Science and Language (UB, 2008) Master's in Human Cognition and Evolution (UIB, 2010) PhD in Human Cognition and Evolution (UIB, 2012) Research Interests: Language evolution in hominins (e.g., Neanderthals) and its biological underpinnings Syntactic development analyzed via complex networks and graph theory Sign language sociolinguistics in Balearic islands Clinical linguistics in atypical populations (e.g., Williams syndrome, Down syndrome) Recent Work: His 2025 studies include exploring language acquisition in dyslexic students and syntactic patterns in Spanish speakers with Williams syndrome. He recently secured a grant for expanding the Descriptive Dictionary of Balearic Sign Languages (DDLSIB). Awards/Grants: Member of consolidated research groups (BEATLES, NRL) and recipient of a Menorcan Institute grant for sign language research. Currently coordinating an FPI grant application on Williams syndrome and syntax. Teaching: Teaches courses on Catalan grammar, language acquisition theories, and language evolution at the undergraduate and master's levels. Supervises thesis projects in linguistics and literary competence.

Official University Profile

Maria Rita ManziniView profile

Professor

Graz University of TechnologyAustria

Maria Rita Manzini is a Full Professor at the Department of Letters and Philosophy, University of Florence (since 2000). She previously held academic positions as Associate Professor (1992-2000) and Lecturer (1984-1990) at University College London's Italian Department and Faculty of Letters, later advancing to Reader and Visiting Professor there (1990-1999). Her affiliations span prestigious institutions including MIT, University of Florence, UCL, and collaborations with international universities like Georgetown, Universidade de Brasilia, and University of Leiden. 1983 Ph.D. in Linguistics and Philosophy from MIT 1979 Diploma from Scuola Normale Superiore, Pisa 1979 Laurea in Lettere (Italian Literature) from Università di Pisa Her research focuses on core areas of theoretical linguistics, particularly syntax, morphosyntax, and parametric variation in Romance and Balkan languages. She investigates grammatical categories, case marking, clitic placement, and syntactic structures across diverse linguistic frameworks. Her recent publications explore topics like DOM datives, middle-passive constructions, and complementizer systems in Romance languages. These works intersect with subfields including generative grammar, linguistic typology, and formal syntax analysis. Research Fellow, Netherlands Institute for Advanced Studies (1990-1991) Postdoctoral Fellow, Center for Cognitive Science, UC Irvine (1983-1984) Manzini has led major Italian PRIN research projects on linguistic categories, recursion, and grammatical features. She served as Editor for Quaderni di Linguistica e Studi Orientali (2015) and held editorial board positions for Rivista di Grammatica Generativa (since 1987) and Language Acquisition (1990-2003). Currently (as of 2012), she directs the Doctoral Programme in Filologie del Medioevo e Rinascimento e Linguistica at the University of Florence.

Official University Profile

Kazuhiro OgataView profile

Professor

Western Norway University of Applied SciencesNorway

Kazuhiro Ogata is a Professor in the School of Information Science at Japan Advanced Institute of Science and Technology (JAIST). He actively teaches courses such as i116 Basic of Programming, i217 Functional Programming, and i219 Software Design Methodology, indicating a strong commitment to computer science education and curriculum development. Institution: Japan Advanced Institute of Science and Technology (JAIST) School: School of Information Science Position: Professor Email: ogata@jaist.ac.jp Research Laboratory: http://www.jaist.ac.jp/~ogata/lab/ His research interests center on programming languages, software design methodology, formal methods, and compiler construction. He emphasizes formal verification using theorem proving and rewriting logic, particularly with tools like Maude. His work bridges theoretical computer science with practical software engineering and education, focusing on correctness, design patterns, and language semantics. The analysis of his recent publications reveals a consistent focus on formal specification, verification of software systems, and educational tools for programming. His work spans functional programming, concurrent systems, and distributed algorithms, often using rewriting logic as a unifying framework. He integrates formal methods into both research and teaching, promoting rigorous software development practices. No scientific awards are explicitly mentioned in the provided texts. Kazuhiro Ogata advises students through his laboratory at JAIST and has developed structured course materials that suggest active mentorship. While specific grant information is not available, his sustained research output and tool development imply ongoing project funding. He contributes to academic outreach through summer schools and educational frameworks. He leads a research laboratory focused on formal methods and programming language design, fostering a collaborative environment for students and researchers. The lab develops tools for teaching and verifying software systems, emphasizing correctness and educational impact.

Official University Profile