Professorerna som nyss fått betydande EU-finansiering kommer att tillsammans med sina grupper undersöka det ryska straffsystemet och den logikers tankar som på ett avgörande sätt påverkat uppfinnandet av datorer och uppkomsten av informationssamhället.