Find Academic Supervisors

Diego CalvaneseView profile

Professor

• Knowledge Representation and Reasoning
• Virtual Knowledge Graphs
• Ontology-based Data Access and Integration
• +7 more

Diego Calvanese is a Full Professor in Computer Engineering at the Faculty of Engineering of the Free University of Bozen-Bolzano, Italy. He serves as Spokesperson of the Institute of Computer Science and Artificial Intelligence and Director of the Smart Data Factory technology transfer lab at NOI Techpark. As Coordinator of the Intelligent Integration and Access to Data (In2Data) research group, part of the Research Centre for Knowledge and Data (KRDB), he leads significant research initiatives in knowledge representation and data management. Calvanese's research focuses on virtual knowledge graphs for data access and integration, ontology-based data access, description logics, semantic web technologies, graph data management, and verification of data-aware processes. His work bridges theoretical foundations with practical applications through the Ontop framework, which enables SPARQL query answering over OWL 2 QL ontologies connected to external data sources. His research has substantial practical impact, powering the South Tyrol Open Data Hub Knowledge Graph and supporting numerous European and national research projects. With more than 400 refereed publications and over 39,000 citations (h-index 80), Calvanese's recent work demonstrates continued leadership in virtual knowledge graphs, ontology-based data federation, explainable AI through knowledge representation, and integration of complex data types including 3D city models and raster data. His publications show a clear trajectory from theoretical foundations toward increasingly practical and applied research addressing real-world data integration challenges across multiple domains. ACM Fellow (2019) EurAI Fellow (2015) AAIA Fellow Program Chair of PODS 2015 and KR 2020 General Chair of ESSLLI 2016 Calvanese has secured significant research funding through numerous competitive projects including EU H2020 INFRAEOS Project (INODE), Italian PRIN Project (HOPE), FESR Project (IDEE), and EU FP7 IP Project (Optique), totaling close to 6.4M Euro. As an originator and co-founder of Ontopic, the first spin-off of the Free University of Bozen-Bolzano, he has successfully translated research into commercial applications. He serves as Associate Editor of Artificial Intelligence (AIJ) and has participated in over 200 program committee roles for international conferences. As Director of the Smart Data Factory technology transfer lab and coordinator of the In2Data research group, Calvanese bridges academic research with industry applications, focusing on practical implementations of knowledge graph technologies. His work with the KRDB Research Center has established Bozen-Bolzano as a significant hub for knowledge representation and data management research in Europe.

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).

Peter J. ThomasView profile

Professor

• Systems Neuroscience
• Computational Neuroscience
• Theoretical Biophysics
• +7 more

Peter J. Thomas is a Professor in the Department of Mathematics, Applied Mathematics, and Statistics at Case Western Reserve University's College of Arts and Sciences, with secondary appointments in Electrical Engineering and Computer Science, Cognitive Science, and Biology. He serves as Co-Editor-in-Chief of Biological Cybernetics and leads the Computational Biomathematics Laboratory. Primary Affiliation: Department of Mathematics, Applied Mathematics, and Statistics Secondary Affiliations: Department of Electrical Engineering and Computer Science, Department of Cognitive Science, Department of Biology Leadership: Co-Editor-in-Chief of Biological Cybernetics Thomas earned his B.A. in Physics and Philosophy from Yale University (1990), M.S. in Mathematics from the University of Chicago (1994), and both M.A. in Conceptual Foundations of Science and Ph.D. in Mathematics from the University of Chicago (2000). His research spans mathematical neuroscience, theoretical biophysics, and information theory applications to biological systems. Thomas specializes in understanding how noise and stochasticity affect neural coding, developing mathematical frameworks for gradient sensing in cells, and applying graph theory to biological networks. His work on stochastic shielding has provided novel approaches to simplifying complex stochastic models while preserving essential dynamics. His research bridges theoretical mathematics with experimental neuroscience through collaborations with the Chiel laboratory and others. Thomas's recent publications demonstrate a strong focus on stochastic oscillators, sensory feedback mechanisms, and information theory applications to biological systems. His work consistently develops novel mathematical frameworks to address specific biological questions, with significant contributions to understanding phase dynamics in neural oscillators and information processing in biochemical signaling. Core Fulbright Scholar Program (2013) Simons Fellow in Mathematics Program (2014) Multiple NSF grants as Principal Investigator Co-Editor-in-Chief of Biological Cybernetics Thomas has mentored numerous students at all levels, from undergraduates to postdoctoral researchers. His laboratory has produced successful scholars who have gone on to faculty positions at institutions like New Jersey Institute of Technology and the University of Nevada, Reno. He has actively organized workshops at the Banff International Research Station and served on editorial boards for leading journals in computational neuroscience. The Computational Biomathematics Laboratory focuses on developing mathematical frameworks to understand neural dynamics, cellular signaling, and pattern formation. The lab maintains strong collaborations with experimental neuroscience groups and has made significant contributions to understanding rhythmic neural systems, respiratory control mechanisms, and information processing in biological systems.

• Internal Medicine Nursing
• Chronic Obstructive Pulmonary Disease (COPD) Care
• Cultural Competency in Nursing
• +5 more

Assoc. Prof. Dr. Yasemin CEYHAN is an accomplished academic in nursing, currently serving as an Associate Professor at Kırşehir Ahi Evran University's Faculty of Health Sciences, Department of Nursing. She has been a full-time faculty member since 2013, initially as a Research Assistant (2013-2020) and subsequently as a Doctoral Teaching Member (2020-present). She holds multiple administrative positions including Head of Department (2020-present), Faculty Council Member (2022-present), and Quality Committee Member (2024-present). Dr. CEYHAN completed her Bachelor's Degree in Nursing at Ahi Evran University (2007-2011), followed by a Master's Degree in Nursing at Erciyes University (2012-2015), and earned her Doctorate in Internal Medicine Nursing from Erciyes University (2015-2019). She has completed numerous specialized courses in statistical analysis, meta-analysis, and healthcare research methodology. Her research primarily focuses on Internal Medicine Nursing with particular expertise in Chronic Obstructive Pulmonary Disease (COPD) management, cultural competency in nursing practice, and patient self-management in chronic diseases. She has developed significant expertise in psychometric evaluation of nursing instruments and has contributed substantially to understanding the relationship between cultural sensitivity and nursing care effectiveness. Her work bridges nursing practice with psychological, cultural, and physiological aspects of patient care. Analysis of her publication record reveals a clear evolution from descriptive studies to sophisticated analytical research employing structural equation modeling and randomized controlled trials. Her recent work demonstrates increasing methodological rigor with a focus on mediation and moderation effects in complex patient care scenarios, particularly in COPD management where she examines intricate relationships between symptoms, psychological factors, and self-management behaviors. Poster Presentation 3rd Prize (2014) from Eskişehir Osmangazi University Dr. CEYHAN has successfully supervised multiple Master's theses and currently mentors additional graduate students. She has secured and led several significant research projects funded by TÜBA, TÜBİTAK, and university research funds, focusing on chronic disease management, cultural competency assessment tools, and COPD patient care. Her research portfolio demonstrates a strong commitment to evidence-based nursing practice and instrument development. As an active member of the Turkish Respiratory Research Association (since 2018) and the Turkish Nurses Association (since 2015), Dr. CEYHAN maintains a robust collaborative research network that spans multiple Turkish universities, particularly Erciyes University. Her work reflects a team-oriented research approach with numerous co-authored publications demonstrating interdisciplinary collaboration.

David CockView profile

Senior Lecturer

• Formal Verification
• Operating Systems
• Hardware-Software Co-Design
• +3 more

Dr. David Cock is a Senior Lecturer and Senior Researcher at ETH Zürich's Department of Computer Science, affiliated with the Systems Group. He holds a PhD from UNSW (2014) and a B.Sc. (hons) from UNSW (2004). His research focuses on formal verification, trustworthy systems, and hardware-software co-design, with notable contributions to projects like Enzian (a CPU/FPGA platform) and seL4 (formally verified kernel). He teaches Advanced Operating Systems and Informal Methods courses. Key achievements include the ACM Software System Award (2022) for seL4 and leadership in projects addressing hardware complexity and security. Research interests include formal methods for hardware modeling (Sockeye project), runtime verification, and mitigating timing channels. His work bridges theoretical foundations with practical systems, emphasizing secure and reliable computing platforms. Projects like Trustworthy BMC aim to enhance baseboard management systems' assurance. Collaborations span academia and industry, with open-source contributions to hardware designs and formal tools. Publications span formal verification, hardware modeling, and secure systems, with recent focus on heterogeneous computing and declarative hardware specifications. Teaching emphasizes practical formal techniques and OS design, leveraging real-world hardware (e.g., Barrelfish). His lab, the Systems Group, explores cutting-edge challenges in systems software and architecture.

• Syntax
• Discourse Analysis
• Contrastive Linguistics
• +3 more

Milivoj Alanović is a Professor in the Department of Serbian Language and Linguistics at the Faculty of Philosophy, University of Novi Sad. With a Doctorate in Philological Sciences (2010), his career spans syntax, discourse analysis, and contrastive linguistics with a focus on Serbian language structures. Education: Graduated (2000), Master's (2004), Doctorate (2010) from the Faculty of Philosophy, University of Novi Sad Research centers on the interface of lexis and grammar, semantic resources of syntactic units, and connections between language, thought, and context. His work extends to cognitive and constructional grammar, with a strong emphasis on Serbian language analysis. Publications include 8 monographs (e.g., German-Serbian Contrastive Grammar series) and over 90 works, reflecting collaborations across Serbia, Republika Srpska, Austria, Germany, Croatia, Romania, Russia, and Japan. As a mentor, he has guided diploma, master's, and doctoral theses, including supervision of one doctoral thesis. His scholarly output demonstrates sustained contributions to syntax and contrastive grammar research.

• 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.

• 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.

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.