| http://www.w3.org/ns/prov#value | - We are looking for students with a real flair for mathematics, which you will develop into skills that can be used both for applications such as scientific computing, and more importantly for reasoning rigorously about the specific behaviour of programs and computer systems.
|
