|
Click on a theme or a project in the table below for more information.
Theme AFM: Algorithms and Formal Methods
This theme is centered around theoretical computer science and computational
mathematics, which here is taken to include both pure research and research that
serves as foundation for applications. The discerning feature is that the
research is generic, that is, the focus lies on the development of algorithms,
methods, techniques and tools. Such generic research often is the basis for
strategic and application oriented research, as can be seen from the various
connections with the other NOAG?i themes. In fact, within BRICKS we also pay
attention to concrete applications.
BRICKS Projects in AFM:
|
