| 
  
    |  | Wolfgang  Schreiner |  
 
  
  
    | Referee for: | C.2.4, D.1, D.2.1, D.2.4, D.3, F.3, G.4, H.5.1, I.1.3, K.3, K.4 |  
    | Institution: | Johannes Kepler University 
 |  
    | Address: | Research Institute for Symbolic Computation (RISC-Linz) Johannes Kepler University
 4040 Linz
 Austria
 
 |  
    | Home Page: | http://www.risc.uni-linz.ac.at/people/schreine 
 |  
  Curriculum Vitae:
 Wolfgang Schreiner is a member of the faculty of the Research Institute of Symbolic Computation (RISC-Linz). He has studied computer science at the Johannes Kepler University in Linz and received a Ph.D. sub auspiciis praesidentis in 1995 . Since then he has worked in various areas related to distributed and parallel processing, functional programming, formal methods for computer science, and computer mathematics. He has directed the FWF project `"HPGP - High Performance Generic Programming" and the RISC-Linz participation in the AITEC project `"FLP - Distributed Constraint Solving for Functional Logic Programming".  
  Main Research Interests:
 
parallel and distributed computinggeneric programming concepts formal methods in computer sciencemathematical software systems  |