Today, on 14 August, NLnet and Centrum Wiskunde & Informatica (CWI) are launching a demo of the first public connection in ...

Haptic technology, like a vibrating controller, can guide you through digital environments. But it can also influence your behaviour without you noticing. Researchers from CWI, Utrecht University and ...

The Netherlands is one of the most digitalized countries in Europe and even in the world. It is CWI’s mission to continually ...

Haptic technology enables us to feel digital environments. Vibrations in a smartwatch, the resistance of a controller, or subtle tactile cues in augmented reality can guide users, improve ...

In the EU-funded TRACTION project, opera became a platform for inclusion. The project has been selected among 40 landmark EU research initiatives.

SAGA is a run-time verifier for single-threaded as well as multi-threaded Java programs. During the execution of a Java program, SAGA intercepts method calls and returns, and verifies that their stack ...

Experimental and in particular clinical data is often noisy and comes with clear statistical biases. Therefore a particular expertise of ours is on statistical modeling and learning as theoretical ...

RadCal is a design for programming language arithmetic with 100% exact rationals, and automatic precision management for reals based on midpoint radius algebra. No more floating point errors No more ...

More information: Static analysis across language boundaries Example cross-language interactions Webclient (Js/TypeScript) / Webserver (Java) Java/JNI/ {C, Python, Ada} C#/F# Remote Procedure Calls ...

We are looking for a candidate with a strong background in (computational) mathematics, basic knowledge of Bayesian statistics and an affinity with applications.

Wave-based imaging modalities such as biomedical ultrasound (US) are based on sending waves into a medium of interest through its boundary. The wave fields interact with the medium’s internal ...

Machine Learning Theory For spring 2023, our Machine Learning (ML) research group will organize a Research Semester Program about Machine Learning Theory. The committee of this program consists of ...