Dr Soren Riis
Mathematical Logic, Complexity Theory, Proof Complexity, Algebraic proof complexity, Information Theory and Network Coding
Dr. Soren Riis
Reader in Computer Science
DPhil in mathematics from University of Oxford (1994)
Have written more than 20 review articles for mathematical reviews (see http://www.ams.org for more details)
Have given invited talks at Maths and CS departments at more than 20 Universities worldwide. This includes talks at Institute for Advanced Studies, University of Cambridge, University of Oxford, The Fields Institute Toronto, University of Princeton, Dimacs Rutgers University, University of Jerusalem, University of Prague, Ecole Polytechnicque de Lausanne, University of Vienna, University of Lund, University of Copenhagen, University of Jerusalem, University of St. Andrews , University of Utrect, Trinity College Dublin and University of Leeds.
Referee on more than 50 research papers submitted to conferences or journals. This includes top Journals in Mathematical Logic (Journal of Symbolic Logic, Annal of Pure and Applied Logic, and Arkive fur Logic) as well as Computer Science (including Siam Journal of Computing and Theoretical Computer Science). Riis have been referee on five EPSRC proposals.
Riis has been Guest editor on special issue of Pure and Applied Logic (1997), was offered a 6 months fellowship at the fields Institute in Toronto (1998) by Stephen Cook (winner of the Turing award 1982, member of the National Academy of Sciences) and was invited to present a paper for a special section of selected papers at CISS 2004 at University of Princeton.