Welcome to my Web page. I'm a computing scientist, an asst. professor (UK: lecturer) with the University of Essex, and a research fellow with the Center For Inquiry (brief bio, contact information). You can find here a description of my research interests and my publications, teaching, personal, and freethought pages.

Some research interests:

Software design theory and practice

• Architecture, Design, Implementation ICSE 2003
• Abstraction Classes in Software Design IEE Software 153:4
• The Intension/Locality Hypothesis
• Measuring Software Flexibility IEE Software 153:3

Philosophy of computer science

• Philosophy of computer science: entry in Stanford Encyclopedia of Philosophy (forthcoming)
• J. Applied Logic call for Papers: special issue
• Minds & Machines special issue

• Three Paradigms of Computer Science Minds & Machines 17:2
• Problems in the ontology of computer programs Applied Ontology 2:1

Future of Computing & technological forecasting

Object‑oriented modelling

• LePUS3 and Class-Z: Formal object-oriented Design Description Languages

• LePUS3: An Object-Oriented Design Description Language. DIAGRAMS 2008
• The 'Gang of Four' Companion: Formal specification of design patterns
• A Theory of Object-Oriented Design. Inf. Sys. Frontiers 4:4

Tool support in software design, verification & visualization

• The Design Navigator: Charting Java Programs ICSE 2008

• Navigating Through the Design of O-O Programs WCRE 2008
• The Two-Tier Programming project