Present Projects

• VALIdation of CHIP design (ValiChip), Funded by SenterNovem, 2007-2009. In cooperation with Fenix DA.
• INtegrated European Signalling System (INESS), Funded by the Funded by the European Union's FP7 program, 2008-2011.
• New Developments in Operational Semantics, Funded by the Icelandic Fund for Research, 2008-2010. (A predecessor of this project was funded from 2007 to 2009 but was terminated due to my permanent position in Eindhoven.)

Past Projects

• The Equational Logic of Parallel Processes, Funded by the Icelandic Fund for Research, 2006-2008.
• Betsy, Funded by the European Union's IST FP6 program in the area of Embedded Systems, 2004-2007.
• SACC, Funded by the Dutch Scientific Research Organization, 2001-2005.

Back to Home