Skip to navigation | Skip to main content | Skip to footer
Menu
Menu

  • School of CS newsletter

    Published: Friday, 31 May 2019

    Weekly newsletter for the School of CS

    Contents

    [ top ]News from Head of School

    HoS and HoSA coffee morning

    We are holding a "coffee morning" on Monday 17 June at 11 a.m. in the Common Room. Some tasty bites will be provided, but please use the kitchen to prepare beverages or bring your own.

    Sarah Mulholland and Alice Larkin, the Head of School Operations and Head of School for the new School of Engineering, will play hosts for the coffee morning. They'd like to say hello, answer any questions and to hear about any new ideas and suggestions.

    Robert
    gravatar Karon Mee

    Third Year Project Paper Success

    Congratulations to Igor Wodiany, a final year UG project student supervised by Antoniou Pop, who has had a conference paper accepted on his project work. The paper is on accelerating 5G polar codes decoding using neural nets and will be presented in France in July at SPAWC (http://www.spawc2019.org/).

    Robert.
    gravatar Karon Mee

    Welcome Oliver Rhodes

    I welcome Oliver Rhodes, who has joined the school as a Lecturer in the Advanced Processor Technologies Group. Oliver gained a master's degree in Mechanical Engineering from the University of Exeter, and a PhD in Aeronautical Engineering from Imperial College London, for his work exploring optimal design methods for flexible morphing structures. After several years in industry with SIMULIA, the simulation division of the Dassault Systemes software company, he joined the lab of Prof. Steve Furber as a Research Fellow to work on neural simulation software for the SpiNNaker neuromorphic platform. He is now a Lecturer in the APT group, with research interests including neuromorphic systems, and their application across the domains of neuroscience, AI and robotics.
    gravatar Karon Mee

    [ top ]Events

    New University community for VR and AR innovation in research

    The Research Lifecycle Programme would like to invite current users and interested researchers to a lunch meeting to discuss the use of virtual and augmented reality in research across the University.

    The idea of this community is to share experiences and common interests and discuss ways in which we can work together to better use available resources and generate a community that can collaborate internally and apply for research funding collectively. 

    The first meeting will be on Monday, 17 June at 11:30am in room 4.38 in the Simon Building.

    See the agenda and register your place via Eventbrite.
    gravatar Kim Graakjaer

    Atlas Lecture 3/06/2019 at 14:00 in Kilburn L.T. 1.4

    How Automated Tools Change the Way We Write Code

    • Speaker:   Peter Schrammel  (University of Sussex)
    • Host:   Lucas Cordeiro
    • 3rd June 2019 at 14:00 in Kilbutn L.T 1.4
    Abstract

    Agile development methodologies have been widely adopted in software development. Well-scoped tasks, peer code reviews and early testing are core elements of these processes. Developers frequently need to get acquainted with new code bases, they have to quickly understand the behaviour of a piece of code, reason about corner cases and evaluate the impact of code changes on dependent components. Automated analysis tools promise vital support for developers to cope with these demands and increase their productivity. In this talk I will discuss the opportunities and challenges involved in integrating automated code analysis tools into the development work flow to provide software developers with the essential information they need.

    Biography

    Peter Schrammel is Lecturer in Computer Science at University of Sussex, and CTO and co-founder of Diffblue, a software company in Oxford that aims at revolutionizing software development through AI for Code. He has co-authored more than 30 publications in the area of program analysis, model checking and testing. Peter worked in several research and industrial projects on formal methods, automated verification and embedded systems design. He developed and contributed to several software analysis tools, such as 2LS, CBMC and JBMC.)
    gravatar Karon Mee
    gravatar Karon Mee
Generated: Thursday, 25 April 2024 18:26:21
Last change: Friday, 31 May 2019 08:45:51
rss