Institute of Theoretical Foundations of Informatics and Computational Engineering