Welcome to my Web page. I'm a computer scientist, an asst. professor (UK: lecturer) with the School of Computer Science and Electronic Engineering, University of Essex, a research fellow with the Center For Inquiry, and the associate editor of Minds and Machines.

• Bio • Research interests • Publications and preprints • Study, teaching and supervision • Personal pages • Contact me •

Some research interests (details):

Software design theory & practice Architecture, Design, Implementation Abstraction Classes in Software Design The Intension/Locality Hypothesis Measuring Software Flexibility

Philosophy of computer science Entry: Stanford Encyclopedia of Philosophy Three Paradigms of Computer Science Problems in the ontology of computer programs The Future of Artificial Intelligence

Software modelling & tool support LePUS3 and Class-Z: Formal object-oriented Design Description Languages Navigating Through the Design of O-O Programs Automated Verification of Design Patterns with LePUS3 The Two-Tier Programming project