Strojek, Damian, Kluczewski, Jerzy (1) National Research Council, Division On Engineering And Physical Sciences, Computer Science And Telecommunications Board, Committee On The Fundamentals Of Computer Science: Challenges And Opportunities (1) Dasgupta, Subrata (computer Science Trust Fund Eminent Scholar Endowed Chair) (1) Duncan, Dr O'neil (1) Gollmann, Dieter (technical University Of Hamburg-harburg) (1)