From April 24th to 28th, I took part in a BOGY-Internship at SFB-TRR 161. I was assigned to Mr. Kölbl’s team at the University of Konstanz who is working on an implementation of a model checker for creating so-called fault trees which are supposed to help spotting potential errors in safety-critical systems.
Today’s briefing started at 9:30 a.m. on Monday, March 24th, 2017 and I didn‘t know what to expect. We had been attending some impressive presentations about multiple projects at SFB-TRR-161 and now I really wanted to know more about the entire work.
As I have been interested in computers since my childhood and spend some of my free time with programming, I decided to attend an internship in the field of computer science. The choice fell to the Visualization Research Center (VISUS), as I hoped to gain as much experience as possible in the three areas of work, research and student life.