Institute of Theoretical Informatics