Logic and Artificial Intelligence research encompasses foundational studies in Logic and a variety of Artificial Intelligence disciplines. The work has led to several best paper and runner-up awards at leading international conferences (including AAMAS, ETAPS, EATCS and ICILP) and attracted three Marie Curie fellows. Novel research in model checking methodologies for the verification of autonomous agents has found application in autonomous vehicles, service-oriented computing and security (Lomuscio, awarded an ESPRC Leadership fellowship). Results in inductive logic programming have been applied to problems in bioinformatics (Muggleton, awarded an RAEng chair first supported by Microsoft and now by Syngenta). Output on machine learning applied to bioinformatics has been boosted by the recruitment of Przulj whose pioneering work on biological network analysis, modelling and alignment has helped her to secure an ERC starting grant. In addition, the recruitment of Faisal (joint appointment and returned with Bioengineering) and Schuller has strengthened the section’s expertise in statistical machine learning approaches, and has been recently awarded an ERC starting grant.