Prof. William Knottenbelt — Research Profile
Imperial College London · Department of Computing
About
임페리얼 칼리지 런던 컴퓨터학과 소속 William Knottenbelt 교수의 등록된 연구 분야는 Mathematical modelling, parallel queueing systems, blockchain입니다.
Research keywords
Recent papers
- ABF-Bench: A Verifiable Benchmark for Agentic Blockchain ForensicsNewPreprintarXiv (Cornell University) · Oct 16
- A blockchain and geospatial AI-enabled governance system for illegal gold mining detection and supply chain traceabilityNewResources Policy · Oct 14
- Atomic Cross-L2 Transactions: Coordination Theory and Interlock ProtocolDistributed Ledger Technologies Research and Practice · Sep 30
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
George Danezis 교수 연구실
University College London · Department of Computer Science
Guppy: Efficient Light Clients via Recursive Zero-Knowledge ProofsPreprintarXiv (Cornell University) · Sep 7Shared topic: Blockchain Technology Applications and Security
Philipp Jovanovic 교수 연구실
University College London · Department of Computer Science
Steelhead: Interleaving Partially Synchronous and Asynchronous Commit Rules on a Shared DAGPreprintarXiv (Cornell University) · Sep 24Shared topic: Distributed systems and fault tolerance
Prakash Murali 교수 연구실
University of Cambridge · Department of Computer Science and Technology
Bridge of $Ψ$'s: Quantum Circuit Optimization with Schrödinger BridgesPreprintarXiv (Cornell University) · Sep 22Shared topic: Quantum Computing Algorithms and Architecture
Other labs in this department
- Abbas Edalat 교수 연구실
Computational geometry, optimization theory, game theory
- Alastair Donaldson 교수 연구실
Formal verification, software performance optimization
- Aldo Faisal 교수 연구실
Neurotechnology, machine learning, algorithmic behavior prediction
- Alessandra Russo 교수 연구실
Computational logic, logic-based machine learning, autonomous systems
- Alessio Lomuscio 교수 연구실
AI verification, computer vision validation, certified learning
- Andrew Davison 교수 연구실
Computer vision, robotics, SLAM, augmented reality