Bilateral Project: Brazil - Germany

High Performance Verified Computing (HPVC)

Institutions involved in the project:
 

WRSWT
informatica
Fakultaet fuer Mathematik
Department of Computer Science
Scientific Computing / Software Engineering
Department of Mathematics
University of Wuppertal,
(BUW)
Germany
Faculdade de Informática
Pontificia Universidade Catolica
do Rio Grande do Sul
(PUCRS)
Brazil
Fakultät für Mathematik
KIT / Universität Karlsruhe (TH)
Germany
Department of Computer Science
Universidade de São Paulo
(USP)
Brazil
BUW
PUCRS
UNI KA
USP

The bilateral project "High Performance Verified Computing (HPVC)" is funded by CAPES (Brasil) and DAAD (Probral 2008, AZ 415-br-probral/po-D/07/09623).

Principal investigators:

Pontificia Universidade Catolica do Rio Grande do Sul (PUCRS)
Faculdade de Informática
Porto Alegre
Prof. Dr. Gustavo Fernandes

and

Bergische Universität Wuppertal (BUW)
Fachbereich C (Mathematik und Informatik)
Prof. Dr. Walter Krämer

Scientists involved in the project:
 

Name Institution E-mail
Dr. Gerd Bohlender KIT (University of Karlsruhe) bohlender@kit.edu
Prof. Dr. Gustavo Fernandes PUCRS gustavo@inf.pucrs.br
M.Sc. Marcio Dorn PUCRS mdorn@inf.pucrs.br
Prof. Dr. Alfredo Goldman USP gold@ime.usp.br
Prof. Dr. Vincent Heuveline KIT (University of Karlsruhe) vincent.heuveline@kit.edu
Dr. Werner Hofschuster BUW Hofschuster@math.uni-wuppertal.de
Dr. Rudi Klatte KIT (University of Karlsruhe) rudi.klatte@kit.edu
Dr. Mariana Lüderitz Kolberg PUCRS marianakolberg@gmail.com
Prof. Dr. Walter Krämer BUW Kraemer@math.uni-wuppertal.de
Dipl.-Math. oec. Mathias Krause KIT (University of Karlsruhe) mathias.krause@kit.edu
Prof. Dr. Dalcidio Moraes Claudio PUCRS dalcidio@inf.pucrs.br
Dipl.-Math. techn. Markus Richter KIT (University of Karlsruhe) markus.richter@kit.edu
M.Sc. Michael Zimmer BUW zimmer@math.uni-wuppertal.de

Exchange of experts / Meetings:

Software: Conferences: Papers and Preprints: Theses:


WRSWT-Logo Scientific Computing / Software Engineering     School of Mathematics and Natural Sciences     University of Wuppertal