Maybe some of you wonder what is going on - I promised to report on the progress of the preparations for my trial lecture, and said a few words. After that complete silence...
First, I have worked very hard the last 2 weeks - and tomorrow is the big day. And I think I have the presentations ready by now, although I have to test them a few times to check that I can stick to the schedule.
Next, I have to say that I didn't came up with extremely much interesting content. I tried to investigate the "formal verification" field to see whether there was something there that could be of any use, and find quite some material to read. Unfortunately, most of what I found is still to preliminary to be of any real value for practical verification of scientific codes. So I ended up with the standard pile of tricks, method of manufactured solutions beeing the most prominent, or the most advanced.
The presentation of my thesis is the toughest one, though, as I have to present what I am been doing the last couple of years (I started in -96...) in about 30 minutes. Though call, but I'll manage.
Take care, and wish me good luck tomorrow!
No comments:
Post a Comment