Probabilistic Reasoning

Probabilistic analyses are core to understanding modern systems at many levels. Useful analysis requires working computationally with classes of distributions and not simply the likelihoods of individual events. Our researchers are working on probabilistic programming languages and algorithms, using probabilistic tools to analyse the behaviour of conventional systems.  We use stochastic games on graphs to model process controllers, entropy and information theory to quantify the information leakage from and hence security of programs, and innovative probabilistic AI-linked methods to generate the pseudo-random number generators used in cryptography.

Stochastic-games - author Edon Kelmendi et al. with permission