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