Go home now Header Background Image
Submission Procedure
share: |
Follow us

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
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 computing
  • generic programming concepts
  • formal methods in computer science
  • mathematical software systems