Doctoral Board Theoretical computer science