Amnon H. Eden, PhD: bio

Below appears an abridged summary of my academic and professional biography. Please contact me for further details.

I am a computing scientist, an asst. professor (UK: lecturer) with the University of Essex, and a research fellow with the Center For Inquiry. Between the years 1992 and 2000 I worked for the high-tech industry, chaired the software engineering diploma programme in Tel Aviv College of Management, and held fixed-term positions in Tel Aviv University, Israel Institute of Technology—Technion, Uppsala University, and Concordia University.

I am a graduate of Yehuda Elkana's ("Adi Lautman") Interdisciplinary Programme in Tel Aviv University, where I was awarded an MSc (cum laude) in computer science (machine learning) in the year 1994 and a PhD in computer science (software design) in 2000. I am also educated in mathematics, cognitive science, artificial intelligence, and philosophy.

My research interests span a range of subjects in software design, artificial intelligence, object-oriented programming, software modelling, software engineering, the future of computing and technological forecasting, the philosophy of computer science, and the philosophy of mind. Currently I am writing the entry on the "philosophy of computer science" for Stanford Encyclopedia of Philosophy, writing a book on object-oriented modelling, and along with my research students, researching tool support in software design, verification and visualization.

My contributions include the distinction between strategic and tactical design and the Intension/Locality hypothesis, the paradigms of computer science, means for measuring software flexibility, and the ontology of computer programs. My work on LePUS: a visual, formal, object-oriented Design Description Language, the building-blocks of object-oriented design, and the specification of design patterns in the predicate logic has been used as a basis for several spin-off languages. My research is [was] funded by the Royal Academy of Engineering, UK's Engineering and Physical Sciences Research Council (EPSRC), European Science Foundation (ESF), Natural Sciences and Engineering Research Council of Canada (NSERC), and Eshkol Fund, among others.

While working as a software developer and as software architect, I specialized in object-oriented programming and C++. During my professional life I have enjoyed programming in object-oriented (C++, Smalltalk, Eiffel, Java), logic (PROLOG), functional (Scheme, Lisp), imperative (C, Pascal, Basic, COBOL, Fortran), modular (Ada), and machine (various architectures) programming languages.

I live with my partner and son in Layer de la Haye near Colchester in Essex, United Kingdom.