Amnon H. Eden

BioResearch interestsPublications and preprintsStudy, teaching and supervisionPersonal pagesContact me

Though it is true that science can be bent to evil ends, it is more often the case that injustice creeps in through the cracks of our ignorance. [A.L.]

Research interests and selected publications:

Codecharts book

Software design theory & practice

LePUS3 and Class-Z

Software Design for Security

Round-Trip Software Engineering

The Two-Tier Programming Toolkit

The Two-Tier Programming Model
The Intension/Locality Hierarchy

The Intention/Locality Hypothesis

Artificial intelligence / machine learning

Singularity HypothesesRiveting. This is one of the more balanced and insightful commentaries on the pragmatics and the possibilities of the continuing co-evolution of computing and humanity. [Grady Booch, Chief Scientist for Software Engineering, IBM Research]

The best introduction to some profound debates about our future as a species. [David Christian, Macquarie University & Ewha University]

A timely collection of essays by many of the leading researchers who have thought most deeply about the ultimate implications of progress in artificial intelligence and the prospect of an intelligence explosion [M.P. Shanahan, Imperial College]

More reviews

Philosophy of computer science

Journal of Applied Logic, Special Issue on the PCS Minds and Machines