William Knottenbelt 교수 연구 프로필
임페리얼 칼리지 런던 · 컴퓨터학과
소개
임페리얼 칼리지 런던 컴퓨터학과 소속 William Knottenbelt 교수의 등록된 연구 분야는 Mathematical modelling, parallel queueing systems, blockchain입니다.
연구 키워드
최근 논문
- ABF-Bench: A Verifiable Benchmark for Agentic Blockchain Forensics새 논문프리프린트arXiv (Cornell University) · 10월 16일
- A blockchain and geospatial AI-enabled governance system for illegal gold mining detection and supply chain traceability새 논문Resources Policy · 10월 14일
- Atomic Cross-L2 Transactions: Coordination Theory and Interlock ProtocolDistributed Ledger Technologies Research and Practice · 9월 30일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
George Danezis 교수 연구실
유니버시티 칼리지 런던 · 컴퓨터과학과
Guppy: Efficient Light Clients via Recursive Zero-Knowledge Proofs프리프린트arXiv (Cornell University) · 9월 7일겹치는 주제: Blockchain Technology Applications and Security
Philipp Jovanovic 교수 연구실
유니버시티 칼리지 런던 · 컴퓨터과학과
Steelhead: Interleaving Partially Synchronous and Asynchronous Commit Rules on a Shared DAG프리프린트arXiv (Cornell University) · 9월 24일겹치는 주제: Distributed systems and fault tolerance
Prakash Murali 교수 연구실
케임브리지 대학교 · 컴퓨터과학기술학과
Bridge of $Ψ$'s: Quantum Circuit Optimization with Schrödinger Bridges프리프린트arXiv (Cornell University) · 9월 22일겹치는 주제: Quantum Computing Algorithms and Architecture
같은 학과의 다른 연구실
- 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