4 search results for “software” in the Public website
-
Abstract Behavioral Specification: unifying modeling and programming
We strive to address the challenge of constructing a modeling language to write software which can take advantage of recent hardware developments (multicore, cloud) without compromising in its abstraction levels.
-
Lieuwe Vinkhuijzen third in VERSEN Master Thesis Award
PhD candidate Lieuwe Vinkhuijzen received the VERSEN Master Thesis Award 3rd prize for his master’s thesis on quantum computing. ‘A forward-looking thesis that solves problems in software engineering; not in the next decade, but beyond’, according to the jury.
-
New practice tool for quantum computer coding: OpenFermion
In a global effort, quantum computers are rapidly being developed. In the meantime, researchers have to learn how to write code for these devices, which are fundamentally different from conventional computers. A collaboration of scientists led by Google, and including physicists from Leiden and Delft,…
-
A promising marriage between Siemens and Leiden spin-off Culgi
Siemens recently took over the Leiden software company Culgi, founded by professor and inventor J.G.E.M. (Hans) Fraaije. We spoke to him about the algorithm that made him successful, the role of a university in our society and his ambitions at Siemens. ‘I was looking for Siemens, and they were looking…