Reasoning under Uncertainty

Welcome to the website of the Reasoning under Uncertainty (RUN) research group.

We are a subgroup of the Theoretical Computer Science and Logic (TIL) research group in the Institute of Computer Science and Applied Mathematics (IAM) of the University of Bern.

Our research is sponsored by the Swiss National Science Foundation (Project No. PP002-102652), the Hasler Foundation (U/Projects No. 2034 & 2042), and the Levelhulme Trust project Progicnet.

Please use the navigation area on the left to get more information on our group.