Programming languages
[Closed]
Work description
This grant is part of an endeavour to develop quantitative, mathematical foundations for hybrid systems, able to suitably handle both probabilites and notions of program distance. This is useful for reasoning about errors and noise in hybrid systems rigorously. The grant is particularly focussed on the case of combining time with probabilities in a programming oriented context which will later serve as a stepping stone for scaling the combination up to arbitrary physical processes. Specifically, the main goal is to develop a programming language that harbours both probabilistic operations and wait calls, a corresponding semantics, and then a subsequent implementation in Haskell. The resulting language will later be integrated in Lince, an interpreter for hybrid programs that is available online.
Academic Qualifications
- M.Sc. student in Informatics, Computer Science or similar.
Minimum profile required
- Basic knowledge of Haskell and hybrid systems.
Preference factors
Good academic performance; Experience with the language Haskell, parsers, monads and hybrid systems.
Application Period
Since 01 Feb 2023 to 14 Feb 2023
[Closed]
Centre
High-Assurance Software