Find Academic Supervisors

• Theoretical Linguistics
• Formal Semantics
• Computational Linguistics
• +3 more

Roberto Zamparelli is an Associate Professor at the University of Trento in both the Department of Psychology and Cognitive Science and the Center for Mind/Brain Sciences (CIMeC) . His research spans theoretical and computational linguistics with a focus on syntax-semantics interface phenomena. His research interests include formal semantics , distributional semantics , computational models of language , and linguistic education . He has supervised multiple PhD theses and contributed to interdisciplinary projects combining linguistics with cognitive science. The 15 most recent articles (2013-2024) demonstrate consistent focus on partitive structures , multimodal language models , semantic knowledge evaluation , and multilingualism effects . Key subfields include ellipsis mechanisms, cross-linguistic analysis, and neural network linguistic testing. Marie Curie Post-Doctoral Fellowship (1997-1999) British Academy 'Joint Activity Grant' (2000) Patent: Dispositivo didattico per l’apprendimento o l’esercizio nell’uso di strutture linguistiche (2016) Students supervised include Eva Vecchi , Rossella Varvara , and Sara Zanellini . His work integrates computational methods with theoretical linguistics , supported by grants like the PRIN REPLAI project (2023-25) and EU Atheme collaboration (2014-19).

Tyler PetersonView profile

Assistant Professor

• Linguistics
• Indigenous Language Revitalization
• Language Documentation
• +3 more

Tyler Peterson is an Assistant Professor in the Department of English at Arizona State University (ASU). His research focuses on the documentation, revitalization, and maintenance of endangered Indigenous languages, particularly in the Americas and Oceania. He holds an affiliation with the Center for Biodiversity Outcomes at ASU and previously served as a visiting lecturer at the University of Auckland, New Zealand. His expertise lies at the intersection of linguistics, semantics/pragmatics, and applied language technology. Education: PhD in Linguistics from the University of British Columbia (dissertation on Gitksan language under Lisa Matthewson). Research interests include the role of everyday technology in language preservation, theoretical semantics of evidentiality and mirativity, and syntactic phenomena in Indigenous languages like Tsimshianic and Cook Islands Māori. Publications span theoretical linguistics and applied Indigenous language studies, with notable work on epistemic modality in Gitksan, mirativity cross-linguistically, and child language acquisition of syntactic structures. His interdisciplinary approach integrates computational methods with community-driven language revitalization efforts. Grants and collaborations involve Indigenous communities and institutions in developing language resources. Current projects explore culturally grounded models for assessing language vitality and leveraging digital tools for language education.

Jonathan AldrichView profile

Professor

• Programming Languages
• Software Engineering
• Verification
• +3 more

Jonathan Aldrich is a Professor at Carnegie Mellon University's School of Computer Science, with joint appointments in the Software and Societal Systems Department and Computer Science Department. He directs the Master of Software Engineering program (as of July 2025) and previously led the Software Engineering Ph.D. program. Aldrich teaches courses in programming languages, software engineering, and program analysis. Education: Ph.D. in Computer Science and Engineering, University of Washington (2003) M.S. in Computer Science and Engineering, University of Washington (1999) B.S. in Engineering and Applied Science (Computer Science), Caltech (1997) Research Focus: Aldrich's work bridges programming languages and software engineering to improve software quality and productivity. His research explores how structural and behavioral design aspects can be expressed in source code, enabling better tooling and error reduction. Key innovations include gradual verification systems, typestate-oriented programming, and ownership models for security. His projects span blockchain safety (Obsidian), concurrency (AEminium), and visualization (Penrose). Publication Trends: Aldrich's 15 most recent articles reflect a strong emphasis on language-based security, formal verification (especially gradual verification techniques), and human-centered language design. His work increasingly integrates empirical studies to evaluate usability in advanced type systems. Awards: NSF CAREER Award (2006) Dahl-Nygaard Junior Prize (2007) ICSE Most Influential Paper Award (2012) DARPA Computer Science Study Group (2007) William Chan Memorial Dissertation Award (2003) Leadership & Service: Aldrich directs graduate programs, co-authored the textbook 'Programming Language Pragmatics,' and serves on the ACM Publications Board. As CTO of Noteful, he develops educational music technology. He has chaired program committees for OOPSLA, ECOOP, and SPLASH conferences.

• Educational Data Mining
• Artificial Intelligence in Education
• Programming Education
• +3 more

Jessica McBroom is a researcher affiliated with the Department of Computer Science at the University of Sydney. Her work focuses on educational data mining, artificial intelligence in education, and programming education equity. She has contributed to automated programming hint systems, student behavior analysis, and gender equity studies in computer science education. Her research explores how machine learning techniques can improve feedback mechanisms for programming students, analyze learning difficulties, and address systemic biases in education. Key projects include the HINTS Framework for automated hints, the DETECT algorithm for behavioral trends analysis, and studies on gender differences in programming education. Publications span journals like ACM Computing Surveys and conferences including AIED and EDM, emphasizing applications of data science to education technology. Her work bridges computer science and pedagogy, aiming to enhance scalability and inclusivity in online learning environments.

David McAllesterView profile

Professor

• Artificial Intelligence
• Machine Learning
• Computer Vision
• +7 more

David McAllester is a Professor at the Toyota Technological Institute at Chicago (TTIC) and holds a part-time Professor position at the University of Chicago's Department of Computer Science. He earned his B.S., M.S., and Ph.D. from MIT (1978, 1979, 1987). His research spans Artificial Intelligence, Machine Learning, and Theoretical Computer Science , with notable contributions to automated theorem proving (Ontic system), reinforcement learning, probabilistic programming, and computer vision. He is a Fellow of AAAI (since 1997) and has received multiple test-of-time awards for seminal papers in AI planning, constraint solving, and computer vision. Key Contributions: Developed the Ontic verification system for mathematical proofs. Pioneered conspiracy numbers in game tree search (influenced Deep Blue). Co-authored foundational work on policy gradient methods in reinforcement learning. Advanced PAC-Bayesian learning theory and co-training methods. Teaching: Teaches TTIC31230 (Fundamentals of Deep Learning), emphasizing mathematical rigor and research skills in computer vision, NLP, and reinforcement learning. Labs/Teams: Co-founded TTIC's research initiatives in AI and machine learning. Collaborates with industry and academia on foundational AI challenges. Awards: AAAI Fellow (1997) Test-of-Time Awards (AAAI, ICLP, CVPR)

Junko ItoView profile

Research Professor

• Phonological Theory
• Prosodic Structure
• Optimality Theory
• +8 more

Junko Ito is a Research Professor and Distinguished Professor Emerita of Linguistics at the University of California, Santa Cruz . Her career has focused on phonological theory with an emphasis on prosodic structure , lexical accent , and the syntax-prosody interface , primarily within the framework of Optimality Theory . She has conducted extensive research on Japanese, Ancient Greek, Ainu, Danish, English, and German phonology. Her recent work includes the NSF-funded project Syntax-Prosody in Optimality Theory (SPOT) and collaborative publications such as Hana-bana (花々) , a Festschrift celebrating her and Armin Mester's contributions to phonology. She has held leadership roles as Chair of the Department of Linguistics and directed the UC Education Abroad Program Tokyo Study Center . Dr. Ito's publications (over 150) explore constraint-based phonological models , prosodic recursion , lexical classes in phonology , and stratal faithfulness . Her 2023 work with Jennifer Bellik et al. examines syntax-prosody alignment, while her 2017 studies redefine tonal licensing in Japanese compounds and Ancient Greek accent . Scientific Awards : NSF Grant No. 1749368 (2018-21) Hana-bana Festschrift (2018) JSPS Research Fellowship (2006-07) Japan Foundation Fellowship (2001-02) DAAD Grant (1998) Monbusho International Research Grant (1997-2000) NSF Grant SBR-9510868 (1995-99) NSF Grant BNS-9021357 (1991-92) Her research has profoundly influenced theoretical phonology, particularly through realignment theory , weak layering , and core-periphery lexicon models . She continues to mentor students and shape global linguistics through her work on prosodic universals.

Dmitriy TraytelView profile

Associate Professor

• Interactive Theorem Proving
• Runtime Verification
• Logic
• +11 more

Dmitriy Traytel is an Associate Professor at the Department of Computer Science (DIKU), Faculty of Science, University of Copenhagen, where he leads the Software, Data, People & Society (SDPS) section. He earned his PhD from TU München under the supervision of Tobias Nipkow in 2015 and previously held a senior researcher position at ETH Zürich's Information Security Group. His primary research interests include interactive theorem proving, runtime verification, logic, automata, decision procedures, and coinduction. He works extensively with the Isabelle/HOL proof assistant, developing foundational theories and verified tools. His work bridges theoretical logic and practical system verification, focusing on correctness, expressiveness, and scalability. The recent publications highlight a strong focus on verified runtime monitoring, formalization of logical systems, and efficient query evaluation. Key themes include the development of formally verified monitoring tools (e.g., TimelyMon, WhyMon, VeriMon), foundational work on corecursion and datatypes in Isabelle, and translations of logical formalisms into executable and verifiable code. Several publications have received distinguished paper awards, indicating high impact in the programming languages and verification communities. Distinguished Paper Award, POPL 2025: 'Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings' Distinguished Paper Award, POPL 2023: 'Admissible Types-to-PERs Relativization in Higher-Order Logic' Distinguished Paper Award, ATVA 2018: 'Optimal Proofs for Linear Temporal Logic on Lasso Words' Best Student Paper Award, FSCD 2016: 'Formal Languages, Formally and Coinductively' Traytel has (co)supervised numerous PhD, MSc, and BSc students, many of whose projects contribute directly to his research agenda in verified systems and formal methods. He is actively involved in the academic community, serving on program committees for POPL, ITP, RV, and CPP, and has chaired conferences such as CPP 2023 and 2024. His tools, including TimelyMon, VeriMon, and WhyMon, are practical outcomes of his research, enabling scalable, explainable, and trustworthy runtime verification. He leads a research group focused on trustworthy stream processing, distributed streaming computations, and explainable monitoring. His work often involves collaboration with researchers at ETH Zürich and other institutions, particularly in the areas of security and monitoring.

Lionel ParreauxView profile

Assistant Professor

• Programming Languages
• Type Systems
• Compiler Optimization
• +3 more

Lionel Parreaux is an Assistant Professor at the Hong Kong University of Science and Technology (HKUST) in the Department of Computer Science and Engineering since February 2021. He obtained his PhD in Computer Science from the Swiss Federal Institute of Technology, Lausanne (EPFL) in 2020, where he developed the Squid type-safe metaprogramming library for Scala. Research Interests: His work spans programming languages, type systems, functional programming, generative programming, language design, and compiler optimizations. He focuses on improving program correctness and performance through advanced type theory and compilation techniques. Publications: His recent articles concentrate on type inference methodologies, compiler optimizations (especially for functional programs), metaprogramming, and formal verification of language features. Key themes include constraint-based type systems, deforestation techniques, polymorphic subtyping, and error message improvements. Research Group: He leads a team of 8 PhD students and 1 MPhil student, with 2 MPhil students graduated in 2024. Actively recruits students for projects in programming languages and compilers. Projects: A Lightweight Type System for Scope and Effect Safety (Huawei-funded, 2024–) Optimizing Functional Programs via Graph Reduction (RGC Early Career Scheme, 2022–2025)

Ravi ChughView profile

Associate Professor

• Programming Languages
• Human-Computer Interaction
• Direct Manipulation Programming Systems
• +3 more

Ravi Chugh is an Associate Professor in the Department of Computer Science at the University of Chicago. His work bridges Programming Languages (PL) and Human-Computer Interaction (HCI), focusing on direct manipulation programming systems and hole-driven development. Affiliation: University of Chicago Role: Director of Undergraduate Studies Research interests: Direct Manipulation Programming Systems Type Systems Program Synthesis Structured Editing Visual Programming His recent work includes Ragged Blocks (UIST 2025) for structured text rendering, Code Style Sheets (OOPSLA 2025) for styling code, and projects like Sketch-n-Sketch and Hazel for bimodal programming environments. Professional Activities: Program Committee: HATRA 2025, VL/HCC 2023, PLDI 2022, POPL 2021 Artifact Evaluation Co-Chair: PLDI 2018-2020 Editorial Board: Journal of Functional Programming (2020–)

• Semantics
• Pragmatics
• Experimental Linguistics
• +3 more

Dr. Adina Camelia Bleotu is a Researcher at the Center for General Linguistics (ZAS Berlin) , focusing on Semantics & Pragmatics within the project Experimental Game Theory and Scalar Implicatures . Her work investigates variation in contextual and scalar phenomena, particularly in child Romanian. Research Themes : Disjunction interpretation, scalar implicatures, epistemic adverbs, and experimental pragmatics in child language acquisition. Collaborations : Anton Benz, Lyn Tieu, Mara Panaitescu, Andreea Nicolae, Gabriela Bîlbîie. Conference Participation : Regular presenter at venues like Sinn und Bedeutung, Amsterdam Colloquium, and XPRAG.it, with a focus on experimental methodologies and cross-linguistic analysis. Publications : 15+ articles (2020–2025) on disjunction strategies, context-driven implicatures, and Romanian language structures. Her research employs experimental designs (e.g., shadow-play paradigms, prosodic cues) to analyze how children acquire complex linguistic phenomena, challenging traditional views of disjunctions and necessity markers in formal linguistics.

• French Linguistics
• Semantics
• Tense and Aspect
• +7 more

Henriette de Swart is a full Professor of French Linguistics and Semantics at Utrecht University , affiliated with the Institute for Language Sciences . Her research spans cross-linguistic semantics , focusing on tense and aspect , negation , and bare nominals , while integrating artificial intelligence methodologies. She has made significant contributions to bidirectional optimality theory and language evolution studies.

• Theoretical Computer Science
• Circuit Design
• Computational Complexity
• +3 more

Günter Hotz is a full Professor at the Department of Computer Science (Fachrichtung Informatik), Universität des Saarlandes , Germany. His academic career spans over five decades, including roles as Director of the Computer Center (1972-1974) Spokesperson for SFB 100 (1982-1984) and SFB 124 (1991-1992) . Research Interests include Theoretical Computer Science Circuit Design Computational Complexity Information Theory Geometric Motion Planning Formal Verification . His work focuses on analytic machines, hardware verification, and motion planning algorithms, with applications in linguistics and VLSI design. Publications emphasize formal methods for hardware, computational models over real numbers, and efficient parsing algorithms. Key trends involve integrating mathematical theory with practical circuit design and motion planning solutions. Scientific Awards include Leibniz Prize (1986) Konrad Zuse Medal (1999) Grand Cross of Merit (1998) . Students : Supervised 40 dissertations, with over a third of his advisees becoming professors in mathematics and computer science. Labs & Projects : Led major research initiatives like SFB 100 (COMSKEE system) and SFB 124 (VLSI design methods). Collaborative works with international institutions in France, the U.S., and Georgia.

Anders MiltnerView profile

Assistant Professor

• Program Synthesis
• Automated Refactoring
• Automated Verification
• +1 more

Anders Miltner is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), specializing in programming languages and automated reasoning. He holds a PhD in Computer Science from Princeton University (2020), an MA in Mathematics from the University of Pennsylvania (2013), and a BSE in Computer Science and Mathematics from the same institution (2013). His research focuses on program synthesis, automated refactoring, and functional programming, aiming to automate tedious aspects of programming to enhance developer productivity. Education: PhD, Computer Science, Princeton University, 2020 MA, Mathematics, University of Pennsylvania, 2013 BSE, Computer Science and Mathematics, University of Pennsylvania, 2013 Research Interests: Program synthesis, automated refactoring, automated verification, and functional programming. He explores how tools can automate programming tasks to allow developers to focus on core algorithms. Projects include Burst (program synthesis), Hanoi (data structure verification), and Type-Directed Refactorings (syntax-independent refactorings). Scientific Awards: NSERC Discovery (2023) NSERC Discovery Launch Supplement (2023) POPL Distinguished Paper Award (2022) PLDI Distinguished Paper Award (2020) Advising & Grants: Mentors PhD students Clement Wan and Ellenor Taghayor, and MSc/undergraduate students. Leads projects funded by NSERC grants and a Microsoft Research fellowship. Serves on conference committees for PLDI, POPL, and others. Labs & Teams: Collaborates on the Hanoi project (representation invariant generation) within the Tangent Lab, involving institutions like UCLA and UT Austin.

• Generative Syntax
• Language Acquisition
• Music
• +6 more

Iain Giblin is a Lecturer in the Department of Linguistics at Macquarie University, affiliated with the Centre for Language Sciences (CLaS). His research focuses on generative syntax, language acquisition, and music, situated within the Universal Grammar framework. He investigates how computational features of the mind structure human experience. He has been involved in major research projects including 'Unexpected Wide Scope Phenomena in Child Language' (2020-2022), 'CLaS: Centre for Language Sciences (CLaS) - MQRC 2019' (2019-2021), and 'Child-friendly mobile eye-trackers' (2018). His work spans theoretical linguistics and applied research in education. Key research contributions include studies on genre theory in education, recursive grammar acquisition in children, and experimental investigations into verb processing and event semantics. He received the 2024 FMHHS Education Excellence Award for teaching excellence.

Yingfei XiongView profile

Associate Professor

• Software Engineering
• Programming Languages
• Program Synthesis
• +4 more

Yingfei Xiong is an Associate Professor at Peking University specializing in Software Engineering and Programming Languages. His research focuses on program synthesis, automated program repair, and software analysis techniques with extensive contributions to top-tier conferences including ASE, ICSE, PLDI, and SPLASH/OOPSLA. Dr. Xiong's primary research interests include: Program Synthesis and Inductive Programming Automated Program Repair and Bug Fixing Static and Dynamic Program Analysis Machine Learning Applications in Software Engineering Compiler and Language Implementation Techniques Software Testing and Verification His publication trends show a strong shift toward neural approaches in program repair, with significant integration of large language models in synthesis tasks since 2023. His work bridges theoretical foundations with practical applications, evidenced by industrial collaborations such as the Alibaba case study on static taint analysis. Recent contributions include GrammarT5 for code generation, Tare for type-aware neural repair, and Equality Saturation techniques guided by LLMs. At Peking University, Dr. Xiong is affiliated with the School of Electronics Engineering and Computer Science (SEI) as indicated by his institutional website domain. He actively contributes to the academic community through program committee service for major software engineering conferences and mentoring student researchers.