For more information, e.g. on publications, availability, open positions, please contact 
Prof. Kees Goossens (CompSOC team leader) or the relevant researcher directly.