At the 25th CAST Awards in IT-Security, Maximilian Stillger received the second place prize in the category for master's theses. The title of his thesis is „LORELEI: Locally Rewriting Logic with Ensemble Improvements“.

Read more here.