 Rodrigues, who has been teaching at King’s College London since 1998, obtained his B.Sc. in computer science at the Universidade de Fortaleza, his MSc in computer science at the Universidade Federal do Rio de Janeiro, and his Ph.D. in computing at Imperial College London. He has applied the principles of belief change to non-classical logics, software engineering, and social choice theory (Gabbay &amp; Rodrigues 1996; Gabbay, Pigozzi, &amp; Rodrigues 2006, 2007; Gabbay, Rodrigues, &amp; Russo 2008; Gabbay, Rodrigues, &amp; Pigozzi 2009).