Congratulations to the Masters Class of 2016, and PhD students Dr Vinodh Sampath and Dr Oche Ejembi, who graduated last month. Each year, students are invited to a reception in Computer Science to celebrate their achievement and reflect on their time in the School, with staff and guests. Our graduates have moved on to a … Graduation November 2016
Jacob Howe, Senior Lecturer at City University London, and sabbatical visitor, will be giving a seminar to the AI Research Group at 2pm on Thursday 15th December in JC 1.33a. The title and abstract are: Propagation and Reification: SAT and SMT in Prolog This talk will describe how a watched literal DPLL based Satisfiability (SAT) … Seminar: Jacob Howe on Propagation and Reification
Abstract: The increasing importance of parallelism has motivated the creation of better abstractions for writing parallel software, including structured parallelism using nested algorithmic skeletons. Such approaches provide high-level abstractions that avoid common problems, such as race conditions, and often allow strong cost models to be defined. However, choosing a combination of algorithmic skeletons that yields good parallel speedups … Talk: Using cost models of algorithmic skeletons
Congratulations to Alexander Konovalov who has just completed the instructor training course and subsequent assignments and is now certified to teach Software Carpentry and Data Carpentry workshops. Software Carpentry is a volunteer organisation whose goal is to make scientists more productive, and their work more reliable, by teaching them basic computing skills. Its sibling organisation … Alexander Konovalov: Certified Software and Data Carpentry Instructor