Associate Faculty in Informatics, Mathematical and Logical Foundations of Informatics