Nieuws

Dutch Site News

Joost Winter verdedigt proefschrift over coalgebra en automatentheorie

CWI-onderzoeker Joost Winter promoveerde op 1 juli 2014 met een proefschrift waarin connecties tussen de coalgebra en de automatenthorie centraal staan. Coalgebra is een abstract raamwerk voor beschrijvingen en formele redenaties van systemen die zich in verschillende toestanden kunnen bevinden. Het kan onder andere gebruikt worden om te bewijzen dat systemen aan bepaalde eisen voldoen, zoals de correctheid van een complex softwaresysteem.

Het CWI wordt .nl-registrar

Het Centrum Wiskunde & Informatica (CWI) is op 18 februari 2014 .nl-registrar geworden. Daarmee is de cirkel tussen SIDN en het CWI, de organisatie die bakermat is voor het .nl-domein, na 18 jaar weer rond.

Document Actions