جستجوی استاد راهنمای دانشگاهی

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
• +۳ مورد دیگر

Dr Haitao Shi is a Researcher affiliated with the School of Social and Political Science at the University of Edinburgh. His research focuses on criminal justice systems, drug policing in China, and the intersection of technology with crime. He employs advanced research methods including quantitative tools (R, Python, SPSS), qualitative software (Nvivo, MAXQDA), and data visualization techniques (Gephi, QGIS). His current projects include studying Chinese students' experiences at the University of Edinburgh and analyzing rhizomatic networks in online drug trade funded by the Polish Ministry of Science. Haitao's work emphasizes cross-cultural comparisons, particularly in drug trade dynamics across Finnish, Polish, and English-speaking contexts. He explores topics like police professionalization in China, guanxi networks, and quota-driven policing strategies. His methodologies span cloud computing (Azure, AWS), database systems (MySQL), and version control (Git), reflecting a technologically adept approach to criminology research. Notable research themes include the role of marketing in darknet drug trade, generational conflicts in police culture, and community-based drug rehabilitation policies. He collaborates with international teams and utilizes platforms like Microsoft Azure for large-scale data analysis.

• Criminal Justice
• Drug Policing
• Research Methods
• +۳ مورد دیگر

Sebastian Riedel is a Professor at University College London (UCL) and a Researcher at DeepMind, leading the UCL NLP Lab. His work focuses on teaching machines to read, reason, and write, integrating Natural Language Processing (NLP) with Machine Learning. He holds an Allen Distinguished Investigator award and has held roles at FAIR, UMass Amherst, Tokyo University, and the University of Edinburgh. Education: PhD in Computer Science from the University of Edinburgh (advisor: Ewan Klein), postdoctoral research at UMass Amherst (advisor: Andrew McCallum), and research at Tokyo University (advisor: Tsujii Junichi). Research Interests: NLP, machine learning, information extraction, and multimodal models like Gemini. He develops tools such as UCLEED (BioNLP event extractor), frontlets (Scala map wrappers), and thebibbrag (BibTeX to HTML converter). Awards: Allen Distinguished Investigator. Software contributions include GitHub repositories for NLP, machine learning, and data tools. Contact: s.riedel@ucl.ac.uk | Office: 1st Floor, 90 High Holborn, London WC1V 6LJ | Office Hours: Mondays 11 AM–12 PM.

• Natural Language Processing (NLP)
• Machine Learning
• Artificial Intelligence
• +۳ مورد دیگر

Professor Katharine Cockin is a leading scholar in Victorian theatre, women's suffrage history, and interdisciplinary literary studies at the University of Essex. She holds the Chair of English Literature in the Department of Literature, Film, and Theatre Studies (LiFTS). Her research focuses on Ellen Terry and Edith Craig, pioneering figures in theatre and suffrage activism, with major publications including Edith Craig and the Theatres of Art (2017) and the Collected Letters of Ellen Terry (8 vols., 2010–). She leads the AHRC-funded Searching for Theatrical Ancestors and Ellen Terry and Edith Craig Database projects, recognized nationally for their impact on cultural heritage. Education: BA, MA, and PhD in English Literature from the University of Leicester. Her doctoral thesis examined the Pioneer Players theatre society (1911–25). She previously held professorial roles at the University of Hull, where she established interdisciplinary programs in literature and law. Research interests include archival studies, women's suffrage literature, modern literature, and the 'Literary North'. She advises on topics like science fiction and autobiography. Awards include a Principal Fellowship of the Higher Education Academy and AHRC Peer Review College membership. Administrative roles at Essex include Director of the Centre for Interdisciplinary Research in Literary Studies and former Director of Research for LiFTS. Publications span over 50 articles and edited volumes, emphasizing feminist historiography and cultural preservation. Her work bridges academia and public engagement through digital archives and collaborative projects.

• Victorian Theatre
• Women's Suffrage History
• Literature and Law
• +۵ مورد دیگر

Peter Pietzuch is a Professor in the Department of Computing at Imperial College London, where he leads the Large-Scale Data & Systems (LSDS) group. He also serves as the Director of Research and is a Visiting Researcher at Microsoft Research Cambridge. Pietzuch holds a Ph.D. from the University of Cambridge and a B.A. from Girton College. His research spans distributed systems, cloud computing, big data processing, and systems security. Key interests include: Scalable architectures for cloud-native applications Efficient stream processing and machine learning systems Trusted execution environments and secure cloud infrastructure Optimization of serverless computing and distributed databases His recent publications focus on adaptive machine learning frameworks, secure cloud resource management, and high-performance stream processing systems. Trends show strong emphasis on hardware-software co-design, confidential computing, and fault-tolerant architectures. Awards include: Best Paper Award at Middleware'03 He actively advises PhD students and secures grants for projects like Faasm (serverless computing) and Teechain (blockchain security). His LSDS group collaborates with industry partners including Microsoft Research. Pietzuch teaches undergraduate and graduate courses including Scalable Systems for the Cloud and Operating Systems . He co-founded the ACM DEBS conference and serves on steering committees for EuroSys and Middleware.

• Distributed Systems
• Cloud Computing
• Big Data Processing
• +۵ مورد دیگر

Professor Alison G. Salvesen (University of Oxford, Asian and Middle Eastern Studies) is a leading scholar in Early Judaism and Christianity, affiliated with the Oxford Centre for Hebrew and Jewish Studies and Mansfield College. Her work bridges textual criticism, translation history, and reception studies. Current Projects: Hexapla Institute Executive Committee (electronic database of Origen's Old Testament), monograph on Jacob of Edessa (d. 708 CE) Teaching: Septuagint studies, Patristic texts, Textual criticism, Syriac literature Specializing in ancient Hebrew Bible interpretations, she examines Greek (Septuagint), Aramaic (Targums), Syriac (Peshitta), and Latin (Vulgate) traditions. Her research spans rabbinic Judaism and early Christian exegesis. Scientific leadership includes co-editing major reference works and directing the Polonsky Fellowship. Current DPhil students include Joel Bell, Yael Krämer, and Paul Ulishney. Key grants/awards: Polonsky Fellow in Early Judaism and Christianity

• Early Judaism
• Early Christianity
• Hebrew Bible Interpretation
• +۵ مورد دیگر

Gordon Plotkin is a Professor at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS). His research lies at the intersection of theoretical computer science and programming language semantics, with a profound influence on the formal understanding of computation. His research interests include Programming Language Theory, Semantics of Programming Languages, Domain Theory, Operational Semantics, Lambda Calculus, Type Theory, Concurrency Theory, and Algebraic Effects. His seminal work on structural operational semantics and domain theory has laid the foundation for modern semantics of programming languages. His publications span over five decades, showing a sustained and evolving research trajectory from foundational work in lambda calculus and domain theory to recent contributions in algebraic effects, probabilistic computation, and biochemical systems modeling. The articles demonstrate a consistent focus on formal methods, mathematical rigor, and the algebraic structure of computational effects. He has collaborated with leading researchers including Martín Abadi, John Power, Glynn Winskel, and John Reynolds. His work continues to influence both theoretical and practical developments in programming languages and systems. Gordon Plotkin has made foundational contributions to computer science, particularly through his development of structural operational semantics and domain-theoretic models of computation. He has advised numerous researchers and supervised many influential PhD theses, though specific student names are not listed in the provided text. His work has been supported by long-standing affiliations with the Laboratory for Foundations of Computer Science and the University of Edinburgh, and he has contributed to major collaborative projects in programming language design and verification. He is associated with several research groups and labs, most notably the Laboratory for Foundations of Computer Science (LFCS), which serves as a hub for theoretical research in programming languages, semantics, and logic at the University of Edinburgh.

• Programming Language Theory
• Semantics of Programming Languages
• Domain Theory
• +۷ مورد دیگر

Leslie Ann Goldberg is a Senior Research Fellow at St Edmund Hall and Professor of Computer Science at the University of Oxford. She currently serves as Head of the Department of Computer Science (on sabbatical 2025-26) and focuses on foundational problems in Algorithms and Complexity Theory , particularly randomised algorithms for network communication, machine learning, and statistical physics models. Her research includes solving Aldous' 1987 conjecture on backoff protocol instability (with John Lapinskas), developing rigorous mathematical analysis frameworks for algorithmic efficiency, and advancing approximate counting techniques via Markov Chain Monte Carlo methods (with Andreas Galanis and collaborators). Key projects involve graph homomorphisms , Moran process dynamics , and #BIS complexity class analysis. Recent publications (2023-2024) span topics like Sybil defense mechanisms, low-temperature sampling on random graphs, and parameterised subgraph counting modulo 2. Her work demonstrates cross-disciplinary impact in computational biology, statistical physics, and database theory. Scientific Awards include Best Paper Prizes at ICALP 2016, ICALP 2010, and IPEC 2017. She supervises PhD student Paulina Smolarova and collaborates extensively with researchers in Oxford and beyond.

• Algorithms
• Complexity Theory
• Randomised Algorithms
• +۵ مورد دیگر

Professor Guy Williams is a leading academic at the University of Cambridge with a focus on imaging science and clinical neurosciences, affiliated with Downing College and the Wolfson Brain Imaging Centre . Holding a PhD in Physics from his initial Natural Sciences degree, he specializes in nuclear magnetic resonance (NMR) and MRI techniques for brain imaging. Education: BA, PhD in Physics His research centers on non-invasive imaging of brain structure and function, particularly in traumatic brain injury (TBI) and dementia. His work involves developing novel MRI pulse sequences and advanced data analysis algorithms, including AI-based diagnostic tools. He leads studies on white matter integrity post-trauma, longitudinal dementia assessment, and applications of MRI in disorders of consciousness and addiction. Recent publications highlight collaborations in traumatic brain injury outcomes, AI-guided dementia prediction, and neuroimaging of post-COVID cognitive deficits. His team's work on ultra-high field laminar fMRI and distortion correction methods has advanced clinical neuroscience applications. Key techniques include diffusion tensor imaging (DTI), 7 Tesla MRI, and positron emission tomography (PET/MR). His research spans from basic NMR physics to clinical translation, with a strong emphasis on multi-site studies and real-world diagnostic implementation.

• Nuclear Magnetic Resonance (NMR)
• In vivo imaging
• MRI pulse sequence development
• +۷ مورد دیگر

Dr. Rasmus Ibsen-Jensen is a Lecturer in Computer Science at the University of Liverpool. Previously, he held a Postdoctoral position at IST Austria under Krishnendu Chatterjee and completed his PhD under Peter Bro Miltersen. Research Focus: Algorithmic game theory, strategy complexity in two-player zero-sum games, control flow graph algorithms, edit distance for automata, and theoretical biology applications. Teaching: Module Coordinator for second-year courses in database development (COMP207), C++ programming (COMP282), and industrial placement (COMP299). His work bridges computational game theory and formal verification, with recent publications exploring memory constraints in partial-information games, algebraic path properties in concurrent systems, and evolutionary spatial dynamics. While no scientific awards are explicitly mentioned in the provided text, his contributions to algorithmic complexity and interdisciplinary research (e.g., theoretical biology) highlight his academic impact.

• Algorithmic Game Theory
• Concurrent Systems
• Formal Verification
• +۳ مورد دیگر

Professor Ruchi Choudhary is a Professor in Architectural Engineering at the University of Cambridge, Department of Engineering, within the School of Technology. She leads the Energy Efficient Cities initiative (EECi), a cross-disciplinary research project focused on strengthening the UK's capacity to address energy demand reduction and environmental impact in cities through research in building and transport technologies, district power systems, and urban planning. Her research interests span urban energy systems, building energy modeling, sustainable cities, geothermal energy systems, and data-driven energy modeling . She has pioneered work in digital twins for energy systems, urban subsurface thermal modeling, and building-integrated agriculture. Her research group develops numerical tools to improve energy efficiency of cities, with particular focus on modeling energy consumption of large building sets at multiple time and spatial resolutions. Analysis of her recent publications reveals a strong trend toward integrating machine learning with physics-based modeling for energy systems, with increasing emphasis on uncertainty quantification, digital twins, and value of information analysis for decision-making. Her work bridges the gap between theoretical modeling and practical urban implementation, with significant focus on city-scale geothermal potential, underground climate change impacts, and energy equity considerations. Professor Choudhary has supervised numerous PhD students who have gone on to prominent positions at institutions including UCL, University of Cambridge, BEIS, Arup, and various international universities. Her research group includes faculty members, research associates, graduate students, and international collaborators from institutions worldwide. Her current research focuses on two parallel investigations: one on using multi-scale multidisciplinary models to address energy use questions in the built environment, and second, on quantifying uncertainties in model outcomes. Current projects include integration of food production in urban environments, analysis of underground transport systems as energy sources, large-scale integration of ground source heat pumps, and distributed energy networks.

• Urban Energy Systems
• Building Energy Modeling
• Sustainable Cities
• +۷ مورد دیگر

Andrew Rice is a Professor of Computer Science at the University of Cambridge's Department of Computer Science and Technology, and holds the Hassabis Fellowship in Computer Science. He is also the Director of Studies in Computer Science at Queens' College. His research focuses on programming languages, software engineering, and machine learning applications in software development. He leads projects like Isaac Computer Science and ALTA (Automated Language Teaching and Assessment), advancing adaptive learning technologies. His work includes static analysis tools such as Error Prone at Google, energy efficiency studies in computing infrastructure, and contributions to the Computing for the Future of the Planet initiative. His teaching emphasizes practical skill development through flipped classrooms and video lectures, earning him the 2014 Pilkington Prize for teaching excellence. He has held visiting roles at Google and collaborated on energy consumption research for mobile devices and data centers. His research spans systems, networking, and natural language processing, with a strong focus on applying computational methods to real-world challenges. Key Projects: Isaac Physics/Computer Science, ALTA, Error Prone Static Analysis Research Themes: Programming Languages, Machine Learning, Energy Efficiency Awards: Pilkington Prize (2014)

• Programming Languages
• Machine Learning
• Artificial Intelligence
• +۴ مورد دیگر

Professor David Nelken is a distinguished academic in the field of law and legal studies, currently serving as Professor of Comparative and Transnational Law at the Dickson Poon School of Law, King's College London. He previously held positions at prestigious institutions including the University of Cambridge, University College London, and the University of Macerata (Italy) as a Distinguished Professor. His academic career includes roles as Distinguished Research Professor at Cardiff University (1995–2013) and Visiting Professor of Criminology at the University of Oxford (2010–2014). Professor Nelken's research focuses on comparative sociology of law, criminology, and legal/social theory. He has made significant contributions to understanding global social indicators, juvenile justice, white-collar crime, and international criminal justice. His work emphasizes interdisciplinary approaches, combining theoretical inquiry with empirical research. His notable awards include the American Sociological Association Distinguished Scholar Award (1985), Sellin-Glueck International Award (2009), and Fellowships from the British Academy (2023) and the Academy of Social Sciences (2009). He has served on editorial boards of leading journals and contributed to global legal governance initiatives, including the SCOPUS Database evaluation committee. Professor Nelken has advised on criminal justice systems globally, including roles in Scotland’s Children’s Hearings and Italian Regional Crime Committees. He is actively involved in PhD supervision, having been awarded supervisory excellence in multiple years. His teaching spans Jurisprudence, Law & Social Theory, and Sociology of Law at both undergraduate and postgraduate levels.

• Comparative Law
• Criminology
• Legal Theory
• +۶ مورد دیگر

Jeremy Gibbons is a Professor of Computing at the University of Oxford, affiliated with the Department of Computer Science within the Faculty of Computer Science. He serves as Director of the Professional Programmes, overseeing part-time postgraduate degrees in Software Engineering. His roles include Chair of the Faculty of Computer Science (2012–2016), Director of the Software Engineering Programme, and Fellow of Kellogg College. Gibbons' research focuses on programming methodologies, particularly functional and object-oriented languages, with an emphasis on program calculation, design patterns, and bidirectional transformations. He leads the Algebra of Programming research group and is Editor-in-Chief of the Journal of Functional Programming and The Art, Science, and Engineering of Programming . Education includes a D.Phil. from Oxford University. His work spans formal methods, domain-specific modeling for clinical trials (e.g., CancerGrid project), and semantic frameworks for software systems. He has advised numerous students and contributed to open-access initiatives in publishing. Key collaborations include roles in ACM SIGPLAN and IFIP Working Groups 2.1 and 2.11. Research interests emphasize foundational aspects like profunctor optics, categorical programming, and algorithm design. Notable projects include datatype-generic programming and metadata-driven engineering for clinical trials. His work bridges theoretical computer science with practical applications in software architecture and system design.

• Functional Programming
• Programming Languages
• Software Engineering
• +۳ مورد دیگر

Sally Gibson is a researcher at the Department of Earth Sciences, University of Cambridge, specializing in mantle geodynamics and volatile cycling processes. Her work integrates field observations, geochemical analysis, and numerical modeling to investigate how deep Earth processes influence surface environments over 3.5 billion years of planetary evolution. Research focuses on volatile cycling (CO₂, H₂O, F, Cl, S) in mantle systems Key projects include mantle plume-ridge interactions with collaborators in the US and Ecuador Operates a LA-ICP-MS laboratory for high-resolution geochemical analyses Supervises PhD students in petrology, geochemistry, and numerical modeling Her research addresses fundamental questions about Earth's habitability through studies of mantle-derived volatiles critical for climate regulation and energy transition metal deposits. Fieldwork in remote regions like Antarctica, Lesotho, and the Galápagos Islands provides empirical data for her interdisciplinary approach. Recent publications highlight her expertise in mantle xenolith analysis, plume dynamics, and volatile quantification in large igneous provinces. Her group's work combines 3He/4He isotopic analysis with seismic tomography to constrain lithospheric evolution and mineral deposit formation. Students under her supervision develop expertise in petrology and geochemical modeling while engaging with environmental and societal impacts of geological research. She actively promotes scientific outreach and community engagement, fostering connections between academia and broader society.

• Geochemistry
• Volatiles cycling in Earth's mantle
• Mantle and volcanic processes
• +۳ مورد دیگر