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)
Prof. Dr. Gustavo Fernandes PUCRS
M.Sc. Marcio Dorn PUCRS
Prof. Dr. Alfredo Goldman USP
Prof. Dr. Vincent Heuveline KIT (University of Karlsruhe)
Dr. Werner Hofschuster BUW
Dr. Rudi Klatte KIT (University of Karlsruhe)
Dr. Mariana Lüderitz Kolberg PUCRS
Prof. Dr. Walter Krämer BUW
Dipl.-Math. oec. Mathias Krause KIT (University of Karlsruhe)
Prof. Dr. Dalcidio Moraes Claudio PUCRS
Dipl.-Math. techn. Markus Richter KIT (University of Karlsruhe)
M.Sc. Michael Zimmer BUW

Exchange of experts / Meetings:

Software: Conferences: Papers and Preprints: Theses: