Find Academic Supervisors

Sam Staton is a Professor of Computer Science at the University of Oxford and Senior Research Fellow at Jesus College. He holds a Royal Society University Research Fellowship and leads the ERC-funded BLaSt project on probabilistic programming. His research focuses on programming language theory, particularly probabilistic and quantum programming, and category theory. Staton earned his PhD from the University of Cambridge in 2007, with prior roles as a lecturer and researcher at Cambridge, Paris, and Nijmegen. Research Interests: His work explores foundational aspects of programming languages, including semantics, algebraic effects, and applications to quantum computing and statistical modeling. Recent grants include the ARIA Safeguarded AI initiative and an AFOSR award. Education: PhD in Computer Science (2007), BA from Cambridge (2002). Students & Collaborators: Supervises multiple PhD students and postdocs, including those funded through his grants. Notable advisees include Swaraj Dash (now at Heriot-Watt) and Mathieu Huot (postdoc at MIT). Awards & Grants: Royal Society Fellowship, ERC Consolidator Grant (BLaSt), EATCS Best Paper Award, and Facebook Research Award. Labs & Teams: Leads the BLaSt project and collaborates on quantum programming via algebraic effects. Engaged in editorial roles for ACM Transactions on Quantum Computing and program committees for major conferences like POPL and LICS.

• Programming Language Theory
• Probabilistic Programming
• Quantum Computing
• +3 more

Jon Keating is a Professor at the University of Oxford affiliated with the Mathematical Institute . His research spans Mathematical Physics , Number Theory , and Stochastic Analysis , with a focus on Random Matrix Theory and its applications to quantum systems and number theory. Research Trends: His recent work explores connections between random matrices and number-theoretic functions, with contributions to understanding moments of L-functions, characteristic polynomials, and quantum chaos. Key themes include asymptotic analysis, recursive structures, and interdisciplinary applications in nonlinear systems. Publications: Highlights include studies on CUE characteristic polynomials, the Ratios Conjecture, and collaborations in Nonlinearity , International Mathematics Research Notices , and Transactions of the American Mathematical Society .

• Mathematical Physics
• Number Theory
• Stochastic Analysis
• +1 more

Professor Ian Roberts is a faculty member at the University of Cambridge, affiliated with the Faculty of Modern and Medieval Languages and Linguistics and the Department of Theoretical and Applied Linguistics. He holds the academic rank of Professor and has been a Fellow in Linguistics at Downing College since his appointment. His research focuses on theoretical linguistics, particularly comparative and historical syntax, grounded in Noam Chomsky's Universal Grammar framework. Education : BA from Bangor University, PhD from University of Southern California (USC), LittD, Fellow of the British Academy (FBA). Roberts' work investigates how grammatical systems across Germanic, Romance, and Celtic languages vary along simple parametric lines while adhering to universal constraints. His recent projects include 'Rethinking Comparative Syntax' (ERC-funded), 'Giving Voice to Digital Democracies', and parametric comparison studies. His publications span monographs and collaborative works, emphasizing syntactic universals, parametric hierarchies, and mechanisms of language change. He has supervised graduate students such as Zepu Zhang, Fanghua Zheng, and Liu Yang. Roberts has received prestigious awards, including the European Research Council Advanced Grant and multiple Cambridge Humanities Research Grants. His academic contributions extend to leadership as Head of the Theoretical and Applied Linguistics Section and involvement in research clusters like CAMPAL (Cambridge Processing and Acquisition of Language lab).

• Comparative Syntax
• Historical Syntax
• Universal Grammar
• +3 more

Cécile Mailler is a Reader in Probability at the University of Bath, where she is a member of the probability group Prob-L@B. She has held significant research positions including an EPSRC postdoctoral fellowship (2018-2021) titled "Random trees: analysis and applications" and previously worked as a postdoc at Prob-L@B (2013-2016) as part of Peter Mörters' EPSRC project "Emergence of Condensation in Stochastic Networks". She earned her PhD under the supervision of Brigitte Chauvin and Danièle Gardy at the Laboratoire de Mathématiques de Versailles. Her research focuses on probability theory with emphasis on branching processes, random trees, reinforcement mechanisms, Pólya urns, stochastic approximation, random networks, and statistical physics. She has made significant contributions to understanding preferential attachment models, zero-range processes, and random Boolean trees. Her work bridges theoretical probability with applications in statistical physics and combinatorics. Analysis of her recent publications shows a strong focus on random tree structures, branching processes, and reinforcement learning algorithms, with applications spanning from network theory to statistical mechanics. Her research demonstrates sophisticated mathematical techniques applied to complex stochastic systems, particularly those with reinforcement mechanisms and memory effects. Associate Editor of the Applied Probability Trust (since October 2020) Associate Editor of Stochastic Processes and Their Applications (since March 2022) Author of a general introduction to Pólya urns for the LMS Newsletter (November 2020) Co-organizer of the "Random Walks: Applications and Interactions" conference at CIRM (January 2026) She actively supervises PhD students working on topics including the multi-city ants process, Pólya urns with growing initial composition, large deviations for the Monkey walk, and competing growth processes. She has secured research funding through EPSRC fellowships and has been involved in multiple collaborative projects with prominent researchers in probability theory. Mailler regularly teaches mini-courses on advanced probability topics at international summer schools and workshops, demonstrating her commitment to knowledge dissemination in the field.

• Branching processes
• Random trees
• Reinforcement processes
• +9 more

Professor Nir Oren is a faculty member at the School of Natural and Computing Sciences , University of Aberdeen. His research focuses on multi-agent systems , formal argumentation , computational trust theory , and norm-based reasoning . He currently supervises PhD students in Computing Science and serves as Dean for Research Performance. Research Specialisms: Artificial Intelligence, Operational Research Contact: n.oren@abdn.ac.uk Research Trends (2022–2025): Nir Oren's publications span argumentation theory , BDI agent modeling , resilience in autonomous systems , and human-machine collaboration . His recent work addresses responsibility-aware AI , medical explainability , and environmental sensor networks . Key methods include probabilistic reasoning , game theory , and logical formalisms .

• Multi-Agent Systems
• Formal Argumentation
• Computational Trust Theory
• +1 more

Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge's Computer Laboratory , and a Fellow of Trinity College . His research focuses on the intersection of program verification, programming language design, and foundational topics like type theory and semantics. His work spans areas such as refinement types, parser design, separation logic for systems software, and the semantics of reactive programming. Notable contributions include the Datafun language for higher-order Datalog and the λert type theory for explicit refinement types. He has also developed foundational frameworks for verifying imperative programs using advanced type systems and logical relations. Key publications include 'Explicit Refinement Types' (ICFP 2023), 'flap: A Deterministic Parser with Fused Lexing' (PLDI 2023), and 'CN: Verifying Systems C Code' (POPL 2023). His work frequently addresses challenges in efficiency, correctness, and modularity for both functional and imperative systems. His awards include Distinguished Paper Awards at PLDI 2019 and POPL 2020. His research integrates theoretical rigor with practical tooling, exemplified by contributions to languages like Coq, Lean, and Haskell.

• Programming Language Design
• Program Verification
• Type Theory
• +3 more

Nabil Aouf is a Professor of Robotics and Autonomous Systems in the Department of Electrical and Electronic Engineering at City, University of London, a position he has held since January 2019. Previously, from 2006 to 2018, he was Professor of Autonomous Systems at Cranfield University’s Defence and Security campus, where he also served as Head of the System and Autonomy Group and Research Lead of the Centre of Electronic Warfare, Information and Cyber. He earned his PhD in Electrical Engineering from McGill University Faculty of Engineering between 1999 and 2002. His research focuses on Robotics, Autonomous Systems, UAV Navigation, Computer Vision, and Fault-Tolerant Control . Key areas include visual odometry, sensor fusion (vision/IMU, RGBD, thermal-visible), robust control for UAVs, fault diagnosis in inertial systems, 3D perception, and autonomous landing. His work integrates theoretical control methods with real-time implementation in aerospace and defense contexts. His recent publications reflect a strong emphasis on robust optimization, multispectral vision, and real-time autonomous navigation. Trends indicate a focus on enhancing autonomy under uncertainty—through illumination-invariant stereo matching, L∞ optimization, and robust feature matching—particularly for UAVs operating in challenging environments. Nabil Aouf has collaborated extensively with researchers such as M. Richardson, O. Araar, T. Mouats, and M. Boulekchour across numerous projects in UAV control, sensor fusion, and autonomy. While no scientific awards are listed in the provided text, his leadership roles and sustained publication record in high-impact journals and conferences underscore his academic contributions. He has supervised or collaborated with several advisees including S.H. Almutairi, L. Chermak, I. Vitanov, and D. Nam, contributing to both theoretical developments and practical implementations in autonomous systems. His work has applications in aerospace, defense, planetary exploration, and critical infrastructure inspection.

• Robotics
• Autonomous Systems
• Unmanned Aerial Vehicles (UAVs)
• +9 more

Bernhard von Stengel is a Professor of Mathematics at the Department of Mathematics, London School of Economics and Political Science . His work bridges game theory, computational complexity , and mathematical economics , with a focus on equilibrium computation and algorithmic aspects. Developed Game Theory Explorer , open-source software for analyzing strategic and extensive-form games. Organized major workshops like What is Strategic Information? (2024) and Game Theory and Machine Learning (2023). Authored the textbook Game Theory Basics (Cambridge University Press, 2021). His research spans zero-sum games , correlated equilibrium , inspection games , and communication over noisy channels . Recent work includes characterizing the Condorcet dimension of metric spaces (2024) and stable-set bounds for Nash equilibria in bimatrix games. He has collaborated with institutions like the Game Theory Society and contributed to public discourse via talks on algorithms' societal impact (2021) and game theory in politics (2020).

• Game Theory
• Algorithmic Game Theory
• Computational Complexity
• +2 more

Dr Jon Warren is a Reader in Statistics at the University of Warwick, specializing in probability theory. His research spans stochastic flows, random matrices, and properties of Brownian motion, with significant contributions to understanding complex stochastic systems. Research Interests: Dr Warren's work is centered on probability theory, particularly in the areas of stochastic flows, random matrices, and Brownian motion. His research delves into the intricate behaviors of these systems, exploring their properties and applications in various mathematical contexts. Publications: His recent publications cover a wide range of topics within probability theory, including stochastic heat equations, Dyson Brownian motion, and random matrix theory. These works highlight his expertise in both theoretical developments and practical applications of stochastic processes. Teaching: He teaches ST910 Introduction to graduate probability, demonstrating his commitment to educating the next generation of statisticians and probabilists. Contact: Dr Warren can be reached at J.Warren@warwick.ac.uk for academic inquiries or collaboration opportunities.

• Probability Theory
• Stochastic Flows
• Random Matrices
• +2 more

Charles M Harris is a Lecturer in Pure Mathematics at the School of Mathematics, University of Bristol. His academic training includes a BSc from the University of Bristol, an MSc from King's College London, a DEA from Paris, and a PhD from the University of Leeds. Education: BSc (Bristol), MSc (King's College London), DEA (Paris), PhD (Leeds) Harris specializes in Computability Theory, with a focus on Computable Combinatorics and Reverse Mathematics. His research explores enumeration reducibility, automorphism structures of linear orderings, jump inversion, and noncuppable enumeration degrees. Key contributions include work on maximal block functions, symmetric enumeration degrees, and polynomial-time bounded reducibility. His publications (15 most recent) span topics in computable orderings, enumeration degree theory, and algorithmic combinatorics. Articles often intersect with mathematical logic and recursion theory, addressing foundational questions about computability and complexity.

• Computability Theory
• Computable Combinatorics
• Reverse Mathematics
• +4 more

Professor Michelle Ellefson is a Professor of Cognitive Science at the University of Cambridge's Faculty of Education, where she serves as Director of CAM-DTP and as Undergraduate Tutor for Gonville and Caius College. She convenes the INSTRUCT Research Group (Implementing New Student Thinking Resources Using Cognitive Theory) and is affiliated with multiple interdisciplinary initiatives including Cambridge Neuroscience, Cambridge Big Data, and Cambridge Language Sciences. Her educational background includes a PhD and MA in Brain and Cognitive Sciences from Southern Illinois University and a BA in Psychology, summa cum laude, from the University of Minnesota. She is a member of several professional organizations including the Psychonomic Society, Cognitive Science Society, Women in Cognitive Science, and SPARK Society. Professor Ellefson's research integrates cognition, neuroscience, child development, and education into a multi-disciplinary program aimed at improving math and science education. Her work focuses on executive functions in school achievement, children's causal reasoning about scientific phenomena, and applying cognitive principles like simplicity and desirable difficulties to classroom learning. Her research spans laboratory-based studies paired with classroom applications to understand cognitive development mechanisms and improve educational practice. Her recent publications reveal strong trends in executive function research across cultural contexts, particularly examining East-West contrasts and the relationship between executive functions and academic achievement. Her work increasingly focuses on developing and validating assessment tools like the Zoo Task for metacognitive problem-solving, and she is committed to open science practices including registered reports and pre-registration of studies. Psychonomic Society Cognitive Science Society (CogSci) Women in Cognitive Science (WiCS) SPARK Society Professor Ellefson actively supervises PhD students through the Psychology, Education & Learning Studies program and teaches cognitive psychology and educational neuroscience in the PGCE program. She emphasizes quantitative methods and R programming for data analysis, requiring doctoral students to develop strong statistical skills. Her lab follows Cambridge's inquiry-based learning model and maintains a commitment to diversity and inclusion, welcoming researchers from varied socioeconomic, national, and cultural backgrounds. The INSTRUCT Lab also focuses on open science practices, sharing data and materials through OSF and publishing preprints in Psych-Archive.

• Cognitive Science
• Educational Neuroscience
• Child Development
• +6 more

Dr. Margreet Vogelzang is a Lecturer in Psychology at Newcastle University and an affiliated researcher at Theoretical and Applied Linguistics within the Faculty of Modern and Medieval Languages and Linguistics at the University of Cambridge. Based at the English Faculty Building, 9 West Road, Cambridge, CB3 9DP, and affiliated with Trinity College at Cambridge, she maintains a dual institutional presence that reflects the interdisciplinary nature of her work. Her research program combines neuroscientific, psychological, linguistic, and statistical methodologies to investigate language and cognitive processing across the lifespan. She specializes in multilingual syntactic and semantic processing, employing both written and spoken language paradigms with offline (comprehension, judgments) and online (eye-tracking, EEG, fMRI) measures. Her work examines how hearing loss, socio-linguistic variables, and developmental conditions like autism spectrum disorder influence language processing mechanisms. Analysis of her recent publication record reveals three dominant research trajectories: (1) bilingualism effects on cognitive flexibility in autistic children, (2) neural and cognitive mechanisms of sentence processing in individuals with hearing loss, and (3) computational modeling of pronoun interpretation across diverse populations. These strands demonstrate her consistent focus on bridging theoretical linguistics with cognitive neuroscience to address practical questions about language processing variability. Dr. Vogelzang actively supervises several graduate students including Alexander Cairncross, Andromachi Tsoukala, and Chara Triantafyllidou, and serves as course contact for Li16: Psychology of language processing and learning at Cambridge. Her teaching portfolio includes psycholinguistics, neurolinguistics, cognitive science, and research methods, reflecting her methodological expertise across experimental and computational approaches.

• Psycholinguistics
• Language Processing
• Cognitive Neuroscience
• +8 more

James Martin is a Lecturer at the Department of Statistics, University of Oxford . He is affiliated with St Hugh's College and has been actively involved in organizing probability seminars since 2018. Research Interests Probability theory Random graphs and percolation Interacting particle systems Models of random growth and coagulation-fragmentation Queueing networks Combinatorial games Teaching Courses: Prelims Probability , Part A Probability , Part B Statistical Lifetime Models , Part C Probabilistic Combinatorics His publications focus on probability theory , statistical physics , and combinatorial structures . Recent work includes studies on last-passage percolation, multispecies exclusion processes, and integrable probability models. James Martin collaborates with researchers from institutions such as Uppsala University, University of Cambridge, Imperial College London, and Kyoto University. He has been a key organizer for the Oxford Probability Seminar since 2018.

• Probability Theory
• Statistical Physics
• Random Graphs
• +9 more

Pablo Beker is an Associate Professor of Economics at the University of Warwick's Department of Economics. He holds a Ph.D. from Cornell University (2002) and a B.A. from the Universidad de Buenos Aires (1994). His research focuses on dynamic economic theory, including rationality foundations, asset price dynamics, and industry evolution. He has held academic roles since 2001, including prior positions at the Universidad de Alicante and visiting roles at Cornell University. Research interests span macroeconomic dynamics, financial market efficiency, and heterogeneous beliefs. Key contributions include studies on bidding market stability with financial constraints, consumption dynamics under market incompleteness, and asset trading efficiency. His work has been published in leading journals like the Journal of Economic Theory . Awarded the European Economic Association's Outstanding Young Economist distinction and multiple teaching awards, Beker has secured research grants totaling over £50,000. He advises doctoral students and supervises research projects on wealth inequality, bargaining power evolution, and monopolistic pricing dynamics. His service roles include Ph.D./MRes Director and leadership in academic recruitment committees.

• Macroeconomics
• Financial Economics
• Asset Pricing
• +5 more

Dr. Hafizul Asad serves as a Lecturer in Dependability at City St George's, University of London, leveraging his PhD in Electrical Engineering (City University of London, 2016) and MS in Aerospace Engineering (University of Belgrade, 2008) to advance cybersecurity and formal verification research. His expertise bridges critical infrastructure protection and cyber-physical systems security, with significant contributions to IoT/IIoT security frameworks. His educational journey includes: PhD in Electrical Engineering, City, University of London (2012-2016) MS in Aerospace Engineering, University of Belgrade, Serbia (2007-2008) BSc in Electrical and Electronics Engineering, University of Engineering and Technology Peshawar, Pakistan (1999-2003) Asad's research centers on formal verification of hybrid systems and verifiable intrusion detection mechanisms for interconnected environments. He pioneers provably robust security architectures for IoT/IIoT systems, emphasizing mathematical verification to ensure system resilience against cyber threats. His work integrates diversity principles to create defense-in-depth strategies for critical infrastructure, with recent focus on wind turbine cyber-safety and industrial control system protection. Analysis of his 15 most recent publications (2014-2025) reveals an evolution from aerospace applications and analog circuit verification toward cutting-edge cybersecurity for cyber-physical systems. His 2023-2025 work demonstrates increasing specialization in IoT security and formal methods, while maintaining foundational contributions to diversity-based security architectures established in his 2015-2018 research. No scientific awards or prizes are documented in the provided materials, though he maintains professional standing as a British Computer Society member and Higher Education Academy Associate Fellow. Details regarding doctoral student supervision or specific research grants are not disclosed in the source text. His professional trajectory indicates significant project involvement, including the D3S security project at City University of London (2015-2018) and Rolls-Royce-funded Future Systems Simulator development at Cranfield University (2018-2019), though current laboratory affiliations remain unspecified.

• Formal Verification
• Hybrid Systems
• Intrusion Detection Systems
• +5 more