Propositions concerning Research in Computer and Information Science

Erik Sandewall
Linköping University and KTH - Royal Institute of Technology, Sweden

[This is the third page in a suite of web pages. Here is a link to the first page].

This page will contain a number of "propositions" or "theses" (in the original sense of the word) that I advocate in research. The evidence and additional arguments for supporting these propositions will be found in the various sites of the CAISOR cluster.

The following is a preliminary list of these propositions, with links to the sites directly addressing the same topic. The full statement and defense of each proposition are only partially in place, however.

The Methodology of Research in Computer Science Needs to be Made Explicit

An Introductory Course in Computer Science Should be Based on a Human-Readable, Versatile, Textual Representation of Information

Information Analysis is a Valid Research Enterprise with its own Methodological Character

The Time is Ripe for a Complete Revision of the Baroque Software Structure of Contemporary Computing