|
BRICKS Research: FOCUS
We are happy to announce the acceptance of
ten new BRICKS projects in the context of the
BRICKS/FOCUS open competition;
five of them have already started in 2005:
-
Advancing the Real use of Proof Assistants.
Project started on: September 1 2005.
Dr. J.H. Geuvers, Dr.P.H.J.M. Corbineau,
Radboud Universiteit Nijmegen
-
Geometric Algorithm Design for Geographic Environments.
Project started on: September 1 2005,
Dr. M.J. van Kreveld, Dr. J. Luo, Dr. M. Grantson,
Universiteit Utrecht
-
A Verification Grid for Enhanced Model Checking.
Project started on: October 1 2005,
Prof. dr. ir. B.R.H.M. Haverkort, Dr. K. Klai, Dr. M. Weber, Dipl.Inf. G.W.M. Kuntz,
Universiteit Twente
-
Infinite Objects, Computation, Modeling and Reasoning.
Project started on: October 1 2005,
Prof. dr. J.W. Klop, Dr. D. Hendriks, Drs. C.A. Kupke, Drs. J. Ketema,
Vrije Universiteit Amsterdam
-
Modeling and Analysis of QoS of Component-Based Designs.
Project started on: December 1 2005.
Dr. M.I.A. Stoelinga, Dr. H. Boudali, Dr. L. Cloth, Dhr. A.P. Nijmeijer,
Universiteit Twente
Second FOCUS round, proposal accepted June 2006:
-
A Common Framework for the Analysis of Reactive and Timed Systems.
Awarded on June 20 2006,
Dr. ir. T.A.C. Willemse,
Radboud Universiteit Nijmegen
-
Cracking a Scientific Database.
Awarded on June 20 2006,
Prof. dr. M.L. Kersten,
Centrum voor Wiskunde en Informatica
-
Distributed Implementations of Adaptive Collective Decision Making.
Project kick off: December 1 2006,
Prof. dr. K.R. Apt,
Centrum voor Wiskunde en Informatica.
-
Visual Information Retrieval Based on Synthetic Imagery.
Awarded on June 20 2006,
Dr. M.S. Lew,
Universiteit Leiden
-
Bayesian Decision Support in Medical Screening.
Awarded on June 20 2006,
Dr. P.J.F. Lucas,
Radboud Universiteit Nijmegen
|