Preparation for the trial lecture

Maybe just for my own future reference... I will now briefly document the preparations for my trial lecture and defense of my Dr.Scient thesis.

So far I have worked on a "mindmap" using kdissert to organize the different aspects of the topic for the trial lecture that come to my mind. I have also search google and other places for relevant information. During thursday and friday I discovered at least 2 books and about 20 papers that seems to be relevant. I am now reading a paper by Salari and Knupp which are very relevant, as it discuss code verification by the method of manufactured solutions, which is a common approach in computational science and engineering.

As I move forward I also want to investigate to some extent the field of more formal code verification in computer science. From what I know from before, it is not possible to prove correctness of a scientific code (in the multi-million lines of code range) using such formal theories, as usually it is required that some special programming language is used, as well as the complexity can not be infinitely large. I am also not sure whether or not these to fields are talking about the same thing, as the interest in comp. sci & eng. is to verify that the output of the code is correct, and does not care that much about how it become correct (ok, I do simplify things here...), while traditional CS probably are more concerned about the correctness of the code itself.

Another topic is how we can relate verification of scientific codes to verification of experiments in other natural sciences, like physics or biology. I have to look further into this as well.

Now on to the reading to see what more I can discover!