Find Academic Supervisors

• Fluid Dynamics
• Magnetohydrodynamics
• Turbulence
• +3 more

Kengo Deguchi is a Senior Lecturer in the School of Mathematics at Monash University. His research focuses on fluid dynamics, magnetohydrodynamics, and turbulence phenomena. He leads and collaborates on ARC-funded projects exploring flow control via topography, vortex dynamics in complex flows, and mathematical descriptions of magneto-hydrodynamic turbulence. Notable awards include the 2018 Faculty of Science Research Excellence Award and Vice-Chancellor’s Early Career Excellence Award. Education: Doctorate in Fluid Dynamics (details not specified in text) His research interests emphasize nonlinear instabilities, vortex dynamics, and coherent structures in shear flows. Recent work investigates Taylor-Couette flow chaos, subcritical transitions, and MHD dynamos. Over 40 publications span topics like turbulence statistics, chaotic patterns, and fluid instabilities. Key projects include investigating vortex persistence in counter-rotating systems and developing mathematical frameworks for MHD turbulence. He has secured funding through ARC grants (2017-2026) and collaborates internationally with experts like Prof. Hall and Prof. Blackburn. Grants: $A 2.6M+ in ARC funding (2017-2026) Labs/Teams: Collaborative fluid dynamics research groups focused on experimental and computational turbulence studies

Grant WeddellView profile

Associate Professor

• Database Technology
• Real-Time Applications
• Schema Management
• +5 more

Grant Weddell is an Associate Professor in the David R. Cheriton School of Computer Science at the University of Waterloo. His research focuses on database technology for real-time applications, including large-scale schema management, information clustering, dependency theory, and query optimization for heterogeneous data sources. He teaches courses such as CS338 (Introductory Databases), CS348 (Advanced Databases), CS446 (Software Engineering), and CS848 (Advanced Database Systems). His research interests emphasize the interplay between description logics and database systems, particularly in optimizing query processing and managing complex schemas. Recent work explores path agreements, functional dependencies, and ontology-mediated querying to enhance data integration and schema management efficiency. Teaching responsibilities include foundational database courses (CS338/348), software engineering (CS446), and advanced topics in information integration (CS848). No scientific awards are explicitly listed, though his contributions to database theory and optimization are extensive.

David A. PlaistedView profile

Research Professor

• Mechanical theorem proving
• Term rewriting systems
• Logic programming
• +3 more

David A. Plaisted is a Research Professor in the Department of Computer Science at the University of North Carolina at Chapel Hill. He joined UNC-Chapel Hill as a full professor after serving on the faculty of the Computer Science Department at the University of Illinois at Urbana-Champaign until 1984. His academic career spans several decades with significant contributions to automated reasoning and computational logic. Bachelor's degree in Mathematics from the University of Chicago (1970) Ph.D. in Computer Science from Stanford University (1976) Professor Plaisted's research focuses on mechanical theorem proving, term rewriting systems, logic programming, and algorithms. His work in term-rewriting systems investigates methods of combining them with first-order theorem provers, including techniques for applying efficient permutation group algorithms to equational theorem proving. In mechanical theorem proving, he has developed a sequence of methods including clause linking with semantics and ordered semantic hyper-linking. His research in logic programming includes developing tests to eliminate the occurrence check in Prolog while maintaining semantics. His work spans theoretical foundations to practical applications in program verification and generation. His recent publications demonstrate continued innovation in automated reasoning, particularly in semantic guidance for theorem proving. His work shows a consistent focus on improving the efficiency and effectiveness of automated deduction systems, with recent contributions to SGGS (Semantically-Guided Goal-Sensitive) theorem proving and analysis of the relationship between semantics and unification in proof systems. Professor Plaisted has served on numerous program committees and editorial boards including the Journal of Symbolic Computation, Information Processing Letters, Mathematical Systems Theory, and Fundamenta Informaticae. He is currently on the editorial board of ACM Transactions on Computational Logic and the electronic Journal of Functional and Logic Programming. He has organized significant conferences including serving as co-chair of the Second International Conference on Rewriting Techniques and Applications in 1987. He has spent several sabbaticals at prestigious institutions including SRI in Menlo Park (1982-1983), the Max-Planck Institute and University of Kaiserslautern in Germany (1993-1994), and research visits to groups in Grenoble and Nancy, France (1998).

• Knowledge Graphs
• Semantic Web
• Machine Learning
• +3 more

Prof. Dr. Axel-Cyrille Ngonga Ngomo is a Professor at the University of Paderborn , affiliated with the Faculty of Electrical Engineering, Computer Science and Mathematics and the Institute of Computer Science . He leads the Data Science group at the Heinz Nixdorf Institute and is a member of the Sonderforschungsbereich Transregio 318 (Constructing Explainability). His roles include heading the Informatik Rechnerbetrieb (IRB) team. Research Focus : Knowledge graphs, semantic web technologies, explainable AI, and distributed systems. Selected Projects : SAIL (Sustainable Life Cycle of Intelligent Sociotechnical Systems), TRR 318 (Constructing Explainability), Colide (Co-training for Industrial Data), 3DFed (Dynamic Data Distribution), and SFB 901 (On-The-Fly Computing). Contact : Email axel.ngonga@uni-paderborn.de , Office F1.225 (Fürstenallee 11) and TP6.3.106 (Technologiepark 6), Paderborn. Teaching : Courses include Seminar on Recent Advances in Knowledge Graphs, Project Groups on SPARQL Query Processing, Large Language Model Training, Retrieval Augmented Generation, and Foundations of Knowledge Graphs.

Lisa BeinbornView profile

Professor

• Natural Language Processing (NLP)
• Multilingual Language Models
• Cognitive Plausibility in NLP
• +5 more

Lisa Beinborn is a Professor for Human-Centered Data Science at the University of Göttingen, leading the Human-Centered Data Science group. Her research bridges natural language processing with cognitive science, focusing on multilingual models and interpretability. PhD in Computer Science (2016), Technische Universität Darmstadt MSc in Computational Linguistics (2010), Saarland University & Bolzano, Italy BSc in Computational Linguistics (2008), Saarland University & Barcelona, Spain Her research explores cognitive plausibility in NLP, analyzing how language models process language differently from humans. Key areas include multilingual model interpretability, semantic drift, eye-tracking, and readability prediction. Recent work examines input representation stability in neural models, cross-lingual transfer of complexity, and aligning language models with human cognitive patterns. Her team has presented findings at EMNLP, CoNLL, ACL, and CoLING. VENI Grant for "Interpretability of Transfer in Multilingual Models" Early Career Partnership by Royal Dutch Academy of Science "Most Interesting Paper" Award at BabyLM Challenge "Best Project Award" by Network Institute She has taught courses like Language as Data and Advanced NLP at University of Göttingen, VU Amsterdam, and TU Darmstadt. Her group collaborates with institutions like Gemeente Amsterdam and NT2 on multilingual text simplification and learner correction.

• Creole linguistics
• Language contact and multilingualism
• Syntax of Gbe and Kwa languages
• +3 more

Prof. dr. Enoch O. Aboh is Professor of Linguistics at the University of Amsterdam , Faculty of Humanities, Department of Literature and Linguistics. His office is located at Spuistraat 134, room 647, and he can be contacted at e.o.aboh@uva.nl . Research Interests: Prof. Aboh’s work lies at the intersection of formal syntax, language contact, and learnability. He investigates creole formation , multilingual ecologies , Gbe and Kwa syntax , cartographic approaches to clause structure , and sign language morphosyntax . A recurring theme is the emergence and evolution of grammatical systems under contact, approached through both descriptive fieldwork and formal theoretical modelling. His publications reveal a methodological breadth spanning experimental studies with kindergarteners on statistical learning, computational detection of loanwords, and fine-grained syntactic analyses of serial verb constructions, predication patterns, and determiner systems. This spectrum underscores his commitment to integrating cognitive, typological, and formal perspectives on language. Awards & Recognition: While no specific prizes are listed in the current material, Prof. Aboh’s extensive editorial and collaborative work—evidenced by numerous co-edited volumes and Festschrift contributions—attests to his standing in the field. Students & Grants: Details on PhD advisees or funded projects are not provided in the source text. Labs & Teams: No dedicated laboratory or research group names are mentioned, yet his affiliation with the Amsterdam Center for Language and Communication (ACLC) can be inferred from the institutional context.

Edward N. ZaltaView profile

Researcher

• Metaphysics
• Formal Ontology
• Philosophy of Mathematics
• +7 more

Edward N. Zalta is a Senior Research Scholar at Stanford University's Center for the Study of Language and Information (CSLI) and Director of the Metaphysics Research Lab. He served as Principal Editor of the Stanford Encyclopedia of Philosophy from 1995 to 2022 and now serves as Co-Principal Editor. His academic career spans several decades with significant contributions to philosophical logic and metaphysics. Dr. Zalta's educational background includes an honors B.A. from Rice University (1975) and a Ph.D. in Philosophy from the University of Massachusetts/Amherst (1981). He joined Stanford in 1984 as a Postdoctoral Fellow at CSLI, establishing his long-term affiliation with the institution. His research focuses on metaphysics and formal ontology, philosophy of mathematics, computational metaphysics, and intensional logic. Zalta has developed influential theories in object theory and abstract objects, with applications extending to computational metaphysics. His work bridges traditional philosophical inquiry with modern computational approaches, creating new methodologies for metaphysical investigation. He has made significant contributions to understanding the logical foundations of ontology and the philosophical implications of mathematical structures. Zalta's publication record demonstrates consistent scholarly output across five decades, with recent work showing increasing integration of computational methods in metaphysical research. His articles reveal a trajectory from foundational work in object theory toward more applied computational approaches, reflecting the growing interdisciplinary nature of his research. The recurring themes across his work include formal ontological structures, the nature of abstract objects, and the logical frameworks necessary to model complex philosophical concepts. K. Jon Barwise Prize (2016) Covey Award (2009) 2025 Johan von Spix Visiting Professor at the University of Bamberg As Principal Editor of the Stanford Encyclopedia of Philosophy for over 25 years, Zalta has shaped one of the most influential digital humanities projects in philosophy. His work with the Metaphysics Research Lab has fostered numerous collaborations between philosophers and computer scientists. He has received funding to support the development of computational tools for metaphysical reasoning and has supervised research projects at the intersection of philosophy and computer science. The Metaphysics Research Lab at CSLI serves as the intellectual hub for Zalta's work, supporting research in computational metaphysics and formal ontology. The lab has developed several computational frameworks for representing and reasoning about metaphysical concepts, including implementations of object theory in automated reasoning systems. Zalta's research group has collaborated with computer scientists to create tools that bridge philosophical theory with practical computational applications.

Joyce M. McDonoughView profile

Professor

• Phonetics
• Phonology
• Morphology
• +5 more

Joyce M. McDonough is a faculty member at the University of Rochester specializing in Linguistics, with a focus on the mental lexicon and complex morphologies in Dene (Athabaskan) languages. She collaborates extensively with the Auditory Neuroscience Lab led by PI Laurel Carney (BME) to model neural representations of speech. Research Interests: Phonetics, Phonology, Morphology, Laboratory Phonology, Dene Linguistics, Neural Coding of Vowels Courses: LING 107, LING 210/410, BME/LING 216/416, LING 227/427, LING 237/437, LING 527, LING 529, LING 537 Her recent work explores the intersection of auditory neuroscience and linguistic theory, particularly in speech coding and vowel representation. She contributes to language documentation through projects like the Dene Speech Atlas (2013, updated 2017), which provides interactive resources for preserving speech patterns in under-resourced communities.

Kristian MiltersenView profile

Professor

• Capital Structure Modeling
• Real Options Valuation
• Commodity Derivatives
• +3 more

Kristian Miltersen is a Professor at the Department of Finance and Center for Financial Frictions (FRIC) at Copenhagen Business School (CBS). He holds expertise in capital structure optimization, real options valuation, commodity derivatives, and structured financial products. His research bridges theoretical finance with practical applications in corporate finance and asset pricing. After earning his PhD in 1992 on continuous-time interest rate models, Miltersen has expanded into dynamic capital structure modeling and real options. His landmark 1997 Journal of Finance paper on LIBOR Market models critiques the Black-76 formula's limitations for fixed income derivatives. His work spans commodity derivatives, foreign exchange instruments, and R&D investment dynamics, all rooted in theoretical frameworks. Recent research focuses on dynamic debt policies, second mortgages' valuation, tax-driven corporate cash holdings, and state-contingent capital budgeting. He co-authored influential papers on callable debt renegotiations and the interaction between financing and investment decisions under varying industry structures. Teaching includes elite courses on asset pricing, energy markets, and capital structure. As program director for CBS' Advanced Economics and Finance MSc, he shapes advanced academic programs. Outside academia, he serves as an expert witness and consultant for Analysis Group, advising on financial litigation and complex economic issues. His over 40 publications since 1989 reflect deep engagement with financial modeling, spanning interest rate guarantees, commodity price dynamics, and corporate debt optimization. Current research continues exploring financial frictions' impact on corporate policy and market structures.

• Computational Mechanics
• Dynamics of Learning
• Evolutionary Dynamics
• +12 more

Jim Crutchfield is a Distinguished Professor of Physics at the University of California, Davis, where he also serves as Director of the Complexity Sciences Center. He holds additional affiliations as President and Scientific Director of the Art & Science Laboratory in Santa Fe, External Faculty at the Santa Fe Institute, General Member of the Telluride Science Research Center, and Visiting Scholar at the Redwood Center for Theoretical Neuroscience. His work bridges physics, computation, and complex systems. Education: B.A. summa cum laude in Physics and Mathematics, University of California, Santa Cruz (1979) Ph.D. in Physics, University of California, Santa Cruz (1983) Crutchfield's research centers on computational mechanics , a framework he pioneered to quantify how natural systems store, process, and transmit information. His interests span nonlinear dynamics, evolutionary dynamics, information engines, quantum computation, and pattern discovery. He explores how structure emerges in complex systems, from cellular automata to biological evolution and neural networks. His recent work focuses on thermodynamic computing, causal inference, and the physics of intelligence. His publications reveal a consistent focus on the interplay between information, energy, and computation in physical systems. Themes include the thermodynamics of information engines, causal architecture in time series, emergent organization, and intrinsic computation in quantum and classical domains. These works span disciplines such as physics, computer science, biology, and cognitive science. Scientific Recognition: Postdoctoral Fellow, Miller Institute for Basic Research in Science IBM Postdoctoral Fellow, Condensed Matter Physics Distinguished Visiting Research Professor, Beckman Institute Bernard Osher Fellow, San Francisco Exploratorium NSF Graduate Fellow UCB Chancellor’s Fellow Crutchfield has advised over two dozen PhD students in physics, computer science, and mathematics, contributing significantly to the next generation of complexity scientists. He has led major interdisciplinary initiatives, including NSF-funded museum exhibits and workshops on network dynamics, collective cognition, and evolutionary dynamics. He has also been active in public discourse through talks, films, and publications on the philosophy of complexity. He leads research groups exploring the dynamics of learning, pattern discovery, and distributed intelligence, often in collaboration with institutions like the Santa Fe Institute and Caltech. His work continues to shape the theoretical foundations of complex systems science.

Haiyang AiView profile

Associate Professor

• Corpus Linguistics
• Natural Language Processing
• Second Language Acquisition
• +3 more

Haiyang Ai is an Associate Professor in the Literacy and Second Language Studies program at the University of Cincinnati's School of Education. His research applies corpus linguistics and natural language processing to investigate second language acquisition, writing complexity, and bilingual language processing. His educational background includes a Ph.D. in Applied Linguistics from The Pennsylvania State University (2015), an M.A. in Linguistics & Applied Linguistics from the University of Chinese Academy of Sciences (2006), and a B.A. in English from Shaanxi Normal University (2003). Dr. Ai's research spans corpus linguistics, natural language processing, second language acquisition, and computer-assisted language learning. He specializes in compiling and analyzing native and learner corpora to develop intelligent language learning systems and investigate lexical/syntactic complexity in L2 writing. His methodological approach integrates computational tools with theoretical linguistics to address practical language teaching challenges. His recent publications (2019-2023) demonstrate consistent focus on lexical bundles in professional communication, automating complexity measurement in Chinese, speech perception mechanisms in bilinguals, and grammatical puzzles in English learning. These works bridge corpus-based analysis with psycholinguistic experimentation across diverse subfields including morphosyntax, pragmatic competence, and cognitive processing in L2 acquisition. Dr. Ai has secured multiple University of Cincinnati grants including three CECH Faculty Development Grants ($2500 in 2017-2018 for verb-noun collocation research, $2000 in 2016-2017 for corrective feedback tools) and the NCFDD Faculty Success Program ($3250 in 2017), all supporting his development of computational language learning resources.

Torsten SteinhoffView profile

Professor

• Writing Didactics
• Vocabulary Didactics
• Digital Communication in Education
• +7 more

Torsten Steinhoff is a Professor of Didactics of the German Language at the Department of Germanic Studies, University of Siegen, Faculty of Arts and Humanities. His research and teaching focus on theoretical, methodological, and empirical aspects of language acquisition and instruction from elementary to university levels. His primary research interests include: Writing didactics (Schreibdidaktik) Vocabulary didactics (Wortschatzdidaktik) Language-specific and disciplinary learning (Sprache im Fach) Digital communication and AI in education Development of complex learning arrangements (Lernarrangements) Steinhoff investigates how digital tools like ChatGPT can be integrated into writing instruction, promoting argumentative writing through structured learning tasks. His recent work (2023–2025) analyzes human-AI collaboration in writing, proposing models such as GPT as Ghost, Partner, or Tutor. He emphasizes a post-digital didactic approach, balancing traditional literacy with digital competencies. His publications reflect a strong trend in digital transformation of writing, multilingual education, and empirical interventions in secondary classrooms. He leads research projects funded by BMBF and MKW NRW, including the "AI Writing Arrangements" project tested in 8th-grade classes. Scientific contributions and collaborations: Co-editor of research handbooks on empirical writing didactics Collaborator with scholars like Nicole Marx, Katrin Lehnen, and Joachim Grabowski Active contributor to journals such as Didaktik Deutsch , BiSS-Journal , and Waxmann publications Hosts a research team at lernarrangements.de He advises on academic language development, text procedures, and vocabulary transfer across modalities and subjects. His lab develops open educational resources (OER) for digital writing and communication, contributing to platforms like Twillo.

Jakub SzymanikView profile

Associate Professor

• Cognitive Science
• Computational Linguistics
• Theoretical Computer Science
• +5 more

Dr. Jakub Szymanik is an Associate Professor affiliated with the Center for Brain/Mind Sciences and the Computer Science Department at the University of Trento . His research bridges computational modeling, formal logic, and cognitive neuroscience to investigate the relationship between linguistic structures and cognitive processes. Research Focus : Semantic universals, quantifiers, Boolean concepts, and decision-making strategies. Methodology : Combines neural networks, logical complexity analysis, and neurobehavioral experiments. Recent Publications (2020-2023) : Explores quantifier emergence, semantic representation optimization, and computational models of cognitive trade-offs, published in Cognition , Cognitive Science , and Open Mind . Scientific Recognition : ERC Starting Grant: Cognitive Semantics and Quantities NCN Hybrid Reasoning Models NWO VENI Grant: What makes social interactions hard? Research Collaborations : Mentored former group members now at institutions including the University of Washington, Tel Aviv University, and Polish Academy of Sciences.

David GarlanView profile

Professor

• Software Engineering
• Software Architecture
• Self-Adaptive Systems
• +4 more

David Garlan is a Professor at the Software and Societal Systems Department within the School of Computer Science at Carnegie Mellon University , where he also serves as Associate Dean for Master’s Programs . He received his Ph.D. from Carnegie Mellon in 1987 after working in industry as a software architect. His research focuses on controlling complexity in large software systems through formalized architectural design, self-adaptive systems, and cyber-physical systems. He developed AcmeStudio , a widely used architecture design environment, and pioneered formal representation and analysis of software architecture. Education : Ph.D. in Computer Science (Carnegie Mellon, 1987) Research Interests include: Software Architecture: Formal methods for architectural design, end-user composition, and architectural styles Self-Adaptive Systems: Stochastic planning, model checking, security adaptation, and uncertainty reduction Cyber-Physical Systems: Multi-view design methods, consistency checking, and automotive systems Recent Article Trends address microservice resiliency, hybrid planning (combining formal methods and ML), simulation-augmented robotics, and sustainable machine translation. Themes include stochastic modeling , probabilistic verification , and adaptive decision-making . Scientific Awards : Stevens Award Citation (2005) ACM SIGSOFT Outstanding Research Award (2011) Allen Newell Award for Research Excellence (2016) IEEE TCSE Distinguished Education Award (2017) Nancy Mead Award (2017) Fellow of IEEE and ACM Advising and Grants : He has advised 25+ graduate students and collaborated on projects with Toyota and the Software Engineering Institute. His work includes model-based adaptation, automated planning, and formal verification of adaptive systems. Labs & Teams : Affiliated with the Institute for Software Research and works on tools like AcmeStudio, Rainbow, and IPL for architectural modeling and self-adaptation.

Eduard KamburjanView profile

Researcher

• Digital Twins
• Formal Methods
• Hybrid Systems Verification
• +5 more

Eduard Kamburjan is a Researcher at the University of Oslo , affiliated with the Reliable Systems (PSY) and Data and Knowledge Systems (DKM) research groups. His work bridges formal methods , digital twin engineering , and knowledge graph applications . Research interests include: Formal verification of hybrid systems using deductive methods Digital twin architecture with compositional correctness guarantees Semantic lifting and ontology-driven modeling for complex systems Concurrency analysis and non-determinism in program verification Interactive visualization as serious games for formal methods His 2024-2023 publications demonstrate expertise in digital twin reconfiguration , semantic interoperability , and knowledge-based runtime enforcement . Key contributions include Crowbar for active object verification and ABS simulator toolchain for model-driven engineering. Collaborations span institutions like Springer , ACM , and IEEE , with work featured in Lecture Notes in Computer Science (LNCS) , Software and Systems Modeling (SoSyM) , and Science of Computer Programming . His research integrates RDF data management , behavioral contracts , and modular analysis for distributed systems.