Civilizing Cyberspace

Fighting for Digital Democracy

Secure Cyber privacy for every Citizen

Industrial Strength Computer Science

Trusted Software in Church-Turing Machines

Object-Oriented Machine Code

Extreme Computer Security

Private digital property is the key to Civilizing Cyberspace

Implementing both sides of the Church-Turing Thesis creates Industrial Strength Computers founded on the laws of the La...

Hardened functional boundaries are key to extreme computer security.

Introduction

Quick Links

Posts

Orders

PP250 was started in 1969 at Plessey Telecommunications Reseach. The goal was industrial strength software reliability that would last for decades.

Private digital property is the key to Civilizing Cyberspace

Implementing both sides of the Church-Turing Thesis creates Industrial Strength Computers founded on the laws of the Lambda Calculus.

Hardened functional boundaries are key to extreme computer security.