Computational Logic and Argumentation Department of Computing Imperial College London
Group Members Academic members: Francesca Toni (Group Leader) Kristijonas Cyras (PostDoc) Amin Karamlou (Research Assistant) Antonio Rago (PostDoc) Bob Kowalski Marek Sergot Jeremy Pitt (EEE member) Marco Aurisicchio (Dyson School of Design Engineering member) Current PhD Students: Oana Cocarascu Neema Kotonya Piyawat Lertvittayakumjorn Guilherme Passos Andria Stylianou UROP or Visiting Students: Kelvin Chiu (summer 2018), from University of Warwick Serena Borsato (autumn 2017), from University of Brescia, Italy Elina Michaelidou (summer 2017) Giulia Comini (autumn 2016), from University of Brescia, Italy Ziyi Bao (summer 2016) Mahmoud Ghanem (summer 2015), from University of Oxford Dragos Dumitrache (summer 2015) Thomas Adlington (summer 2014) Dario Pellegrini (autumn 2014), from University of Brescia, Italy Marco Romano (autumn 2012), from University of Brescia, Italy Past PhD Students: Antonio Rago Kristijonas Cyras Claudia Schulz Lucas Carstens Alex Gao Xiuyi Fan Adil Hussain Paul-Amaury Matt Dorian Gaertner Visitors: Phan Minh Dung (AIT, Thailand) Antonis Kakas (Cyprus University, Cyprus) Paolo Mancarella (Pisa University, Italy) Sanjay Modgil (King's College London, UK) Peter McBurney (King's College London, UK) Qiaoting Zhong (SUN yat-sen University, China) David Pearce (Universidad Politecnica de Madrid) Rob Craven (Birkbeck College, University of London)