3 search results for “theoretical computer science” in the Public website
-
New Foundations for Separation Logic
The research presented in this thesis concerns one of the most important questions in software engineering of our time: how can we make sure that software is free from memory safety bugs?
-
Sixth Honorary Doctorate for Grzegorz Rozenberg
On 27 November 2015 Prof. Dr. Grzegorz Rozenberg receives his sixth Honorary Doctorate.
-
Fifth Honory Doctorate for Grzegorz Rozenberg
On Monday June 15 Prof. Dr. Grzegorz Rozenberg received his fifth Honorary Doctorate.