Staff at Research group for Logic, information and interaction