Commission
Research
All research areas →

Agent Evaluation and Coordination

Generated-Code and GPU-Kernel Correctness

Federated Learning and Privacy

Decentralised Systems and Protocol

Methods
Papers
Collaborate
About Contact Bring a technical claim

Research

Four areas, each organised around questions that are still open. Topic pages separate established background, my own results and what remains unresolved, and link to the papers and artefacts behind every claim.

Agent Evaluation and Coordination Research

Escalation, refusal to fabricate, multi-agent coordination, judge robustness and ranking stability, with papers, artefacts and limits.

Generated-Code and GPU-Kernel Correctness Research

Correctness oracles, test-input generation, calibrated tolerances and a 26-op failure corpus for LLM-generated kernels.

Federated Learning and Privacy Research

Federated learning under imbalanced data, and the evidence a distributed-ML privacy claim needs: baselines, metrics, threat models.

Decentralised Systems and Protocol Research

DePIN incentives, composability and MEV: protocol research with stated assumptions, models, experiments and limits.

Looking for practitioner-oriented write-ups rather than papers? See the technical guides on governed agents, agent reliability, code correctness, local inference, robotics and blockchain agent security.

Elsewhere