Protocol Labs Research

The AbstractionLab houses several independent research projects directly exploring the future of decentralization and how infrastructure affects technological possibilities.

Formerly known as the Independent Research Group, AbstractionLab is currently home to three projects scouting the frontiers of the adjacent possible.

The Decentralized Energy Project

The Decentralized Energy Project is a collaboration with the MIT Energy Initiative bringing PL’s expertise in distributed systems to bear on the architecture of the public energy grid. Led by researchers Michael Hammersley and Alan Ransil, the Energy Project explores a potential evolutionary trajectory of grid infrastructure toward a decentralized system incorporating distributed energy generation. The project has formulated a functionally-defined, invariant architecture for the grid and is working with stakeholders in the energy sector to evaluate potential directions inmicrogrid develpment.

The Inter-Cranial Abstraction System

The Inter-Cranial Abstraction System is a framework for computable knowledge. The ICAS project, led by researcher Alan Ransil, integrates applied category theory with dual-process theory to build a flexible system for computation over scientific datasets, with the aim of accelerating combinatorial knowledge generation.

The Underlay

The Underlay — a project developed by researcher Joel Gustafson in collaboration with the MIT Knowledge Futures Group—aims to provide open access to humanity’s knowledge in a distributed knowledge graph while simultaneously tracing the provenance of each knowledge artefact.

Related publications

View all publications
2020.12.9 / Conference paper
Improving system resilience through formal verification of transactive energy controls
Formal verification tools such as TLA+ allow errors to be uncovered through exhaustive exploration of reachable states, and are the gold standard for ensuring resilience in software systems. In particular, these methods can be used to identify error states emerging from precise interactions between multiple subsystems that would occur only after long periods of testing, operation, or stacked error conditions.
IEEE PES Transactive Energy Systems Conference (TESC) / 2020.12.09
Michael Hammersley , Francis M. O’Sullivan, Alan Ransil
2019.9.5 / Poster
A dual-process approach for automated knowledge creation
Scientific knowledge growth combines elements of existing theories into new proposed models, which is combinatorially intractable. Inspired by dual-system psychological theories, we conceptualize a knowledge creation process in two stages. Stage One narrows the space of existing computational elements based on contextual queues, supplying components from which a new model will be proposed.
Metascience Symposium / 2019.09.05 / Stanford, CA, USA
2019.9.5 / Conference paper
Dioptics: A common generalization of open games and gradient-based learners
Compositional semantics have been shown for machine-learning algorithms [FST18] and open games [Hed18]; at SYCO 1, remarks were made noting the high degree of overlap in character and analogy between the constructions, and that there is known to be a monoidal embedding from the category of learners to the category of games, but it remained unclear exactly what kind of structure they both are.
Fifth Symposium on Compositional Structures (SYCO) / 2019.09.05 / Birmingham, UK
2019.9.3 / Report
U.S. energy policy and market design
The U.S. bulk power system has an enormous number of actors: regulatory agencies (local, state, and federal), utilities (investor-owned, municipal, cooperatives, and power marketing administrations), operators (ISOs and RTOs), and customers.
2019.7.9 /
A computable multilayer system stack for future-proof interoperability
The future decarbonized power grid will make increasing use of distributed energy resources (DERs) controlled using data collected at an extremely granular level compared to today’s coarse bulk power system models.
IEEE PES Transactive Energy Systems Conference (TESC) / 2019.07.09 / Minneapolis, MN
Alan Ransil , Edwin Fonkwe Fongang, Michael Hammersley , Ivan Celanovic, Francis O’Sullivan

Related posts

View all posts
2021.1.29 / Blog
AbstractionLab Update: notes from the frontier
The independent researchers of the AbstractionLab tackle ambitious projects with huge potential to drive breakthroughs in computing, communication, and decentralization. They are the scout ship pilots exploring the farthest reaches of the adjacent possible.
2020.5.4 / Blog
Hello from the Decentralized Energy Project!
We’re two materials scientists here at Protocol Labs, and we’re working to improve the electricity grid. Why, you may be thinking, does a distributed file storage company have a project related to the energy grid?
2020.3.11 / News
The Underlay seeks qualified software engineer
The Underlay, a Protocol Labs independent research project undertaken in conjunction with the Knowledge Futures Group at MIT, is currently looking for a Software Engineer with strong full-stack web development skills and an interest in semantic web and decentralized web technologies.