Find Academic Supervisors

Peter MillicanView profile

Professor

• Early Modern Philosophy
• Philosophy of Language
• Philosophy of Religion
• +4 more

Peter Millican is a Professor of Philosophy and Gilbert Ryle Fellow at Hertford College, University of Oxford, where he has served since 2005. He also holds a part-time role as Visiting Professor at the National University of Singapore (NUS) and temporary Visiting Professor at Nanyang Technological University (NTU). His academic roles include Head of Education & Outreach at the Institute for Ethics in AI. Education: Studied Mathematics at Oxford, switched to Philosophy and Theology, graduating with First Class Honours, then completed a B.Phil. in Philosophy at Oxford. His interdisciplinary work bridges Philosophy and Computing, notably co-founding the Oxford Computer Science and Philosophy degree program in 2012. Research focuses on Early Modern Philosophy (particularly David Hume), Philosophy of Language, Philosophy of Religion, and digital humanities. Major projects include the davidhume.org initiative and English Philosophical Texts Online . Key contributions include over 40 publications on Hume, ethics, and AI. He hosts the Futuremakers podcast exploring AI and climate change implications. Awards include the Gilbert Ryle Fellowship and editorial roles in Hume Studies . Outreach includes educational software development (e.g., PhiloComp.net ) and public engagement through media appearances, debates, and the Signature stylometric software used in high-profile literary analyses (e.g., identifying J.K. Rowling as 'Robert Galbraith').

Raymond J. MooneyView profile

Professor

• Artificial Intelligence
• Bioinformatics and Computational Biology
• Machine Learning
• +14 more

Raymond J. Mooney is a Professor in the Department of Computer Science at the University of Texas at Austin, where he has been a faculty member since 1987. He is the Director of the UT Artificial Intelligence Laboratory and affiliated with multiple research groups including the Machine Learning Research Group, UT Computational Linguistics Lab, and the UT Center for Computational Biology and Bioinformatics. He holds a B.S., M.S., and Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign, where his thesis was supervised by Gerald DeJong. His research spans diverse areas in artificial intelligence, machine learning, and natural language processing: Natural Language Learning Connecting Language and Perception Statistical Relational Learning Information Extraction Transfer and Active Learning Abductive Reasoning Text Mining and Clustering Recommender Systems Knowledge-Base Refinement Recent publications highlight trends in grounded language processing, human-robot interaction, and multimodal reasoning. He has been recognized with prestigious fellowships including ACL (2014), ACM (2010), and AAAI (2005). Scientific awards: Fellow of the Association for Computational Linguistics (2014) Fellow of the Association for Computing Machinery (2010) Fellow of the American Association for Artificial Intelligence (2005) Classic Paper Award (2019) Best Paper Awards (2007, 2004, 1996) He teaches graduate courses like CS 371R: Information Retrieval and Web Search (Fall 2025) and CS 395T: Grounded Natural Language Processing (Spring 2025). His research labs include: UT Artificial Intelligence Laboratory Machine Learning Research Group UT Computational Linguistics Lab UT Center for Computational Biology and Bioinformatics

Zachary KincaidView profile

Associate Professor

• Program Analysis
• Formal Methods
• Programming Languages
• +4 more

Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)

Sebastijan DumancicView profile

Assistant Professor

• Program Synthesis
• Probabilistic Programming
• Neuro-Symbolic AI
• +2 more

Sebastijan Dumancic is an Assistant Professor at Delft University of Technology, focusing on neuro-symbolic AI through program synthesis and probabilistic programming. He leads the RAIL lab and collaborates with institutions like Harvard, MIT, and CNRS. His research bridges symbolic AI and machine learning, applying program synthesis to scientific discovery, transportation, and robotics. He holds an FWO-funded PhD from KU Leuven and has participated in initiatives like ELLIS and the Symbolic Computation and Machine Learning Initiative. Program synthesis Probabilistic programming Neuro-symbolic AI Constraint-based learning His recent articles highlight advancements in program synthesis, neuro-symbolic integration, and constraint satisfaction. Projects like Find2Fix and Intelligent Greenhouse Horticulture (funded by NWO) demonstrate practical applications. ELLIS Membership University Teaching Qualification He supervises numerous MSc and PhD students in projects involving logic programming, program synthesis, and probabilistic modeling. Active in workshops and symposia, he contributes to neuro-symbolic AI and scientific discovery.

Brett HayesView profile

Professor

• Reasoning
• Concept Learning
• Memory
• +8 more

Professor Brett Hayes is a distinguished cognitive psychologist at the University of New South Wales, serving in the School of Psychology. He is the founding Director of the Sydney Thinking and Reasoning (STAR) Laboratory, which he has led for over 15 years, securing more than $4 million in competitive research funding. Professor Hayes has previously held the position of Head of the School of Psychology and served as a member of the Australian Research Council (ARC) College of Experts. His research expertise spans reasoning, concept learning, memory, and developmental changes in these cognitive processes. Professor Hayes employs both experimental investigation and computational modeling in his work, with a particular focus on applying fundamental cognitive research to practical problems in forensic and clinical decision-making, early childhood education, and climate change science communication. His research has significant interdisciplinary applications across psychology, education, and environmental science. Professor Hayes has published extensively in top cognitive science journals, with his most recent work focusing on inductive reasoning, sampling assumptions, learning traps, and consensus perception. His research demonstrates consistent innovation in understanding how people process information, make decisions under uncertainty, and develop reasoning abilities across the lifespan. His scientific contributions include numerous journal articles, book chapters, and co-authored textbooks on developmental psychology. Professor Hayes has also contributed to teaching through courses such as PSYC3341 Developmental Psychology (which he chairs), PSYC3221 Cognitive Science, and PSYC2061 Developmental and Social Psychology. Professor Hayes maintains an active research program with ongoing collaborations across multiple institutions, as evidenced by his numerous co-authored publications. His laboratory continues to advance our understanding of human cognition through rigorous experimental work and theoretical development.

Judith RoitmanView profile

Professor

• Set Theory
• Topology
• Boolean Algebra
• +2 more

Judith Roitman is a full Professor of Mathematics at the University of Kansas, where she has been since 1976, rising to full professorship after earlier roles at Wellesley College and the Institute for Advanced Study. Her academic journey began with an English Literature degree from Sarah Lawrence College (1966) before transitioning to mathematics at UC Berkeley, earning a Ph.D. in 1974 under Robert Solovay, with research in set-theoretic topology and Boolean algebra. She has held leadership roles in the Association for Women in Mathematics (AWM), serving as its President (1979–1981) and shaping its early structure. Her research spans over 40 papers and a textbook, Introduction to Modern Set Theory (1990), while her work in mathematics education includes co-authoring the NCTM Principles and Standards 2000 . She received the 1990 Louise Hay Award for Mathematics Education and was inducted into the AWM Fellows Program in 2018. Roitman’s career combines research with advocacy: she mentored students, advised on national education policy, and ran teacher workshops for elementary and high school educators. Her non-academic pursuits include poetry (e.g., Slippage , 1999) and Zen Buddhism, co-founding the Kansas Zen Center in 1978.

Jimmy HuangView profile

Professor

• Information Retrieval
• Artificial Intelligence
• Natural Language Processing
• +3 more

Jimmy Huang is a Full Professor and Tier 1 York Research Chair in Big Data Analytics at the School of Information Technology, York University. His research focuses on information retrieval, AI, NLP, and big data analytics in healthcare and web systems. He has published 360+ papers in top venues like SIGIR and ACL, and leads grants totaling $4M+. Huang chairs IEEE's Technical Community on Intelligent Informatics and serves on numerous conference committees. Education: PhD in Information Science (City, University of London), M.Eng and B.Eng in Computer Science Roles: Chair of IEEE TCII, General Chair of SIGIR 2020 and CIKM 2008 Research interests span task-oriented IR, conversational search, healthcare analytics, and graph-based models. His work on hypergraph collaborative filtering (SIGIR 2022) was named a top influential paper. Current projects include NSERC Discovery Grants ($384K) and ADERSIM CREATE ($1.65M). Award highlights include Fellowships from ACM, IEEE, and Canadian Academy of Engineering. Supervised over 90 students, currently mentoring 12 PhD/MSc candidates and 3 postdocs. Active in surgical safety checklist research and medical data analytics. Labs include the IRLab focused on IR and NLP innovations. Major grants include ORF-RE ($3.5M), NSERC CREATE, and multiple CRD partnerships with industry.

Stuart KurtzView profile

Professor

• Theoretical Computer Science
• Computational Complexity Theory
• Type Theory
• +4 more

Stuart Kurtz is a Professor in Computer Science and the College at the University of Chicago, and serves as Master of the Physical Sciences Collegiate Division. He holds the endowed position of George and Elizabeth Yovovich Professor. His research focuses on theoretical computer science, including computational complexity theory, randomness in computation, type theory, and formal logic. He has contributed to foundational areas such as the Berman-Hartmanis Isomorphism Conjecture and the computational properties of random sets. Kurtz is affiliated with the Theoretical Computer Science and Programming Languages Groups at the University of Chicago. He has been recognized with the 2009 Quantrell Award for teaching excellence. His service roles include Director of Undergraduate Studies and Department Chair in Computer Science. He actively mentors Ph.D. students and has advised multiple graduates in complexity theory and related fields. His academic background includes a Mathematics Ph.D. from the University of Illinois, supervised by Carl Jockusch. He approaches type theory as an intersection of formal logic and functional programming. Research interests span measure-theoretic randomness, computational logic, and complexity class separations. His recent work explores connections between theoretical computer science and interdisciplinary fields like physics and statistics. In teaching, Kurtz has instructed courses such as Formal Language Theory, Discrete Mathematics, and Honors Intro Programming. His service contributions include roles in the Computation Institute and Toyota Technological Institute at Chicago. His lab affiliations and collaborative work reflect a strong commitment to advancing theoretical foundations in computer science.

Laurens VandewegheView profile

Researcher

• Business Accelerators
• Impact Investing
• Corporate Entrepreneurship
• +3 more

Laurens Vandeweghe is a Senior Researcher at the Chair of Entrepreneurship at ETH Zurich. His research focuses on institutional theory applied to entrepreneurship and innovation, emphasizing collaborative organizing mechanisms like business accelerators and impact investing. He holds a PhD from Imperial College Business School, London. Affiliations: Chair of Entrepreneurship (ETH Zurich) Editorial Roles: Editorial board member for the Journal of Business Venturing Research Interests: Business accelerators, impact investing, corporate entrepreneurship, institutional theory. His work employs qualitative and inductive methodologies, often using case studies to explore organizational forms and innovation ecosystems. Key Contributions: Pioneered conceptual frameworks for understanding accelerator governance structures and the translation of impact investing concepts into corporate contexts. His research bridges organizational theory with practical innovation strategies. Awards: Multiple awards from the Academy of Management for his innovative contributions to entrepreneurship scholarship. Teaching: Leads the course 'Technology Entrepreneurship for Chemical Engineers', integrating entrepreneurial theory with applied innovation practices.

Marcelo FioreView profile

Professor

• Category Theory
• Lambda Calculus
• Equational Logic
• +5 more

Marcelo Fiore is a Professor in Mathematical Foundations of Computer Science at the Department of Computer Science and Technology, University of Cambridge, and a Fellow of Christ's College. His research spans category theory, lambda calculus, equational logic, type theory, and mathematical structures in computer science. University: University of Cambridge Department: Department of Computer Science and Technology Academic Rank: Professor College Affiliation: Christ's College Fiore's work focuses on the intersection of category theory and computer science, particularly in abstract syntax, denotational semantics, and algebraic structures. Recent publications explore combinatorial models, normalization by evaluation, and homotopy type theory applications. 2025: Creation/annihilation operators in mathematical structures 2024: Lawvere theories in toposes and differential linear logic 2023: Homotopy type theory and normalization frameworks 2022: Second-order abstract syntax formalization and quotient types Fiore has advised PhD students including N. Arkor (2022) and O.M. Elsayed (2011), who researched monadic structures and second-order algebraic theories respectively. He contributes to departmental initiatives such as the Accelerate Programme for Scientific Discovery and Data Trusts Initiative at Cambridge.

Zohreh ShamsView profile

Researcher

• ML Interpretability
• Explainable AI
• Knowledge Discovery
• +5 more

Zohreh Shams is a Visiting Fellow at the Computer Laboratory, University of Cambridge, and Chief Scientific Officer at Leap Labs. Previously, she served as a Senior Research Associate at the University of Cambridge and held roles at Babylon Health as a Senior ML Scientist. Her research focuses on ML interpretability, explainable AI, knowledge discovery, and automated reasoning with applications in healthcare and safety-critical systems. Dr. Shams completed her PhD in Artificial Intelligence at the University of Bath, specializing in explanatory decision-making in multi-agent systems using Argumentation Theory. Her work bridges cognitive science and AI, collaborating with institutions like the University of Brighton on projects such as Accessible Reasoning with Diagrams , which explores explainable ontology reasoning systems. Her research interests include generative modeling, concept-based representations, and the integration of domain knowledge into AI systems. Notable contributions include developing frameworks like CGXplain for neural network explanations and REM for healthcare data analysis. Her publications span venues such as ECCV, AAAI, and TMLR. Shams has contributed to interdisciplinary projects, including the Integrated Cancer Medicine initiative, and maintains affiliations with Wolfson College as a former Junior Research Fellow. Her work emphasizes ethical AI practices, clinician collaboration, and the societal impact of explainable AI systems.

İlhan KocaarslanView profile

Professor

• Control Systems Engineering
• Load Frequency Control
• Adaptive Control
• +12 more

İlhan Kocaarslan is a Professor in the Department of Control and Automation Engineering at Istanbul Technical University (ITU), Faculty of Electrical and Electronic Engineering. His research focuses on advanced control systems, energy conversion, and sustainable transportation technologies. Research Interests: His work spans Load Frequency Control , Adaptive and Fuzzy Logic Control , PI Controllers , Electric Vehicle energy modeling , Battery and Fuel Cell systems , and Smart Grid integration . He actively contributes to innovations in renewable energy and electromobility. Publication Trends: Recent publications emphasize high-fidelity energy modeling for electric vehicles, optimization of battery systems, control strategies for fuel cells using fuzzy and Lyapunov-based PI controllers, and electromagnetic design for next-generation transportation like Hyperloop. His work bridges theoretical control design with practical energy applications. Scientific Awards: No awards mentioned in the provided text. Advising and Grants: He supervises 25 ongoing theses, indicating active mentorship. He is Principal Investigator (PI) on multiple research projects funded by ITU’s BAP and TTO programs, including initiatives on blockchain-based energy systems, hydrogen technologies, electric mobility, and cybersecurity-integrated sustainability platforms. Labs and Teams: While specific lab names are not mentioned, his role as PI on diverse energy and control projects suggests leadership in a multidisciplinary research group focused on smart energy systems, power electronics, and sustainable transportation at ITU.

Dmitriy TraytelView profile

Associate Professor

• Logic
• Automata Theory
• Runtime Verification
• +7 more

Dmitriy Traytel is an Associate Professor at the University of Copenhagen's Department of Computer Science since August 2020, where he currently heads the Software, Data, People & Society (SDPS) section. Prior to this position, he worked as a senior researcher (Oberassistent) in the Information Security Group led by David Basin at ETH Zürich. He completed his PhD at TU München under Tobias Nipkow's supervision in 2015. His research focuses on formal methods, particularly logic, automata theory, runtime verification and monitoring, decision procedures, (co)induction and (co)recursion, and interactive theorem proving. Traytel develops formally verified tools for runtime monitoring including VeriMon, TimelyMon, and WhyMon, emphasizing correctness and efficiency in monitoring complex temporal properties. His recent publications (2021-2025) demonstrate a strong focus on first-order temporal logic monitoring, with particular attention to explainable verdicts, scalable parallel implementations, and formal verification of monitoring algorithms. The work spans theoretical foundations in logic and category theory while maintaining practical applications in runtime verification systems. Distinguished Paper Award at POPL 2025 for 'Barendregt Convenes with Knaster and Tarski' Best Student Paper Award at FSCD 2016 Distinguished Paper Award at ATVA 2018 Traytel has supervised numerous PhD, Master's, and Bachelor's students in areas spanning formal verification, runtime monitoring, and theorem proving. His research has been supported through collaborations with major institutions including ETH Zürich and TU München. He actively contributes to the academic community by serving on program committees for major conferences including ITP 2025 and RV 2025. He leads the Software, Data, People & Society section at the University of Copenhagen, focusing on developing formally verified tools for runtime verification that bridge theoretical computer science with practical applications in security and system monitoring.

Salvatore RuggieriView profile

Professor

• Data Mining
• Knowledge Discovery
• Discrimination Discovery and Prevention
• +9 more

Salvatore Ruggieri is a Full Professor in the Department of Computer Science at the University of Pisa, where he teaches in the Master Programme in Data Science and Business Informatics. He is affiliated with the KDD LAB, a joint research group of ISTI-CNR and the University of Pisa, and actively contributes to national and European AI initiatives such as XAI, NoBIAS, TAILOR, and SoBigData.eu. His research focuses on data mining and knowledge discovery, with a strong emphasis on ethical AI. Key areas include discrimination discovery and prevention, fairness, privacy, explainable AI (XAI), causal inference, and classification algorithms. He has led significant projects such as ENFORCE, a national FIRB project on legal and computational enforcement of non-discrimination and privacy rights in ICT systems (2010–2014), and has served as program chair for the XIII Italian Symposium on Artificial Intelligence (2014). The recent publications (2018–2023) highlight a consistent trend in interpretable and fair machine learning, including selective classification, stability of interpretable models, and causal reasoning for fairness. His work often involves collaboration with leading researchers like Dino Pedreschi and Riccardo Guidotti, and appears in top venues such as AAAI, IEEE TKDE, and WIREs. His scientific honors include the award for the best Ph.D. thesis in Theoretical Computer Science from the Italian Chapter of EATCS. Best Ph.D. Thesis in Theoretical Computer Science, Italian Chapter of EATCS He advises and collaborates with numerous researchers in the KDD LAB and has contributed to major grants and research initiatives in AI and data science. He is involved in educational programs, including the National Ph.D. in Artificial Intelligence - Society, and promotes interdisciplinary research at the intersection of computer science, law, and ethics. Ruggieri is a member of the KDD LAB, where he leads research in ethical and transparent AI. He is also part of large collaborative networks such as SoBigData.eu and HumanE-AI-Net, which aim to build socially responsible and human-centered AI systems.

• Type Theory
• Dependent Types
• Functional Programming
• +11 more

Andreas Abel is a Senior Lecturer in the Division of Computing Science at the Department of Computer Science and Engineering, Chalmers University of Technology and the University of Gothenburg. He has previously served as an Assistant Professor at Ludwig-Maximilians-Universität (LMU) Munich and has been a visiting researcher at INRIA in Paris. His primary affiliations are with Chalmers and the University of Gothenburg, where he conducts research and teaches in programming languages and type theory. Chalmers University of Technology, Department of Computer Science and Engineering, Senior Lecturer University of Gothenburg, Division of Computing Science LMU Munich, Assistant Professor (former) INRIA Paris, Visiting Researcher Abel’s research lies at the intersection of type theory, functional programming, and formal verification. He is particularly known for his work on dependent types, normalization by evaluation, and the development of the Agda proof assistant. His interests include constructive logic, logical frameworks, modal and linear typing, program verification, and compiler construction. He leads the Modal Dependent Type Theory project funded by the Swedish Research Council (Vetenskapsrådet) and has contributed to several other major research initiatives in programming language theory. His recent publications reflect a strong focus on foundational aspects of type systems, including cubical type theory, decidability of conversion, and formalization of algebraic completeness. These works appear in top-tier venues such as ICFP, LICS, POPL, and TYPES, showcasing both theoretical depth and practical implementation in Agda. Distinguished Paper Award, ICFP 2019 Editor, Theoretical Pearls column, Journal of Functional Programming Member, IFIP WG 1.3 on Foundations of System Specification Abel actively supervises students and contributes to the research community through program committee memberships for major conferences including LICS, ICFP, and CPP. He is a senior developer of Agda and the maintainer of the BNFC (Backus-Naur Form Compiler) tool. His work bridges theoretical computer science with practical software development for formal methods. He is involved in several research groups and projects, including the Programming Logic Group at Chalmers and the international EUTYPES network. His role as principal investigator and core contributor in multiple funded projects highlights his leadership in the field of programming language foundations.