Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
part of the Software Technology group . Research in this group focuses on using and improving functional programming languages such as Haskell and Agda, in particular for parallel computing, software
-
for Regional Environmental Nitrogen Measurements (Onderzoeksprogramma Regionale Omgevingsmetingen Stikstof, OROS) is essential, as there are clear parallel questions. The project provides strong support for your
-
techniques); giving mathematical proofs of their correctness and efficiency; building state-of-the-art implementations of these new techniques (e.g., by leveraging data-parallel functional array programming
Enter an email to receive alerts for parallel-compu
positions