Human-Centred Computing News

Last week a training day was held in the Department for ICT/Computing teachers interested in starting GCSE Computing in their school. While all the main Boards are offering this qualification we were pleased to have our opening talk from the Chief Examiner for the OCR GCSE Computing, Sean O'Byrne. It became typical of the whole day, that even in this first session, many participants (30 teachers or advisors) interjected with vigorous, sometimes critical, questioning and discussion. It was an intense day with sessions on practical sorting activities at KS3, on programming (Scratch and Greenfoot), on the potential of on-line support especially for programming, and on what to do next! Two major themes that emerged were:

(i) problems associated with the assessment of programming tasks and the kinds of teacher intervention and support that are allowable and desirable,

(ii) how should teachers new to programming choose and learn languages suited to the GCSE and suited to students gaining valuable concepts for future work in computing.

There was a huge range of experience among those present: some had been on the OCR pilot scheme already for two years, others were committed to starting the GCSE this September, some had industry experience of programming, others no programming knowledge at all. The day proved a good success for most participants (judging by the detailed feedback) and will result in our setting up a dedicated schools portal (soon) and preparing to offer further CPD training for teachers this July.

Nick Pope successfully completed his PhD entitled "Supporting the Migration from Construal to Program: Rethinking Software Development" under the supervision of Dr Meurig Beynon. His thesis is both a significant contribution to Empirical Modelling research, and a vigorous critique and reappraisal of some of its established principles and tools.

Where previous EM research highlighted the role of families of definitions in developing construals Nick has proposed a richer framework in which to conceptualise the transition from construals to programs. In his vision, the current state of a construal is expressed by a single binary function of the form ϕ: R × R → R that changes dynamically.

His work draws on ideas from prototype-based object-oriented software development and functional programming that have been the basis of practical tools and models first deployed in Warwick Games Design Society. Nick is currently working on the development of a web-based EM tool that will integrate his own distinctive contribution with those of many other graduates from the EM research group.

Nick's independent spirit has not only been evident in his research contribution: he spends as much time as possible trekking, ski-ing, cycling and mountaineering. At the time of writing Nick is believed to be scaling some 4000m peaks in Morocco.

February sees the launch of the ROADBLOCK project, funded by the EPSRC with the goal of developing artificial and programmable bacterial coatings to protect surfaces against infective agents. While Bioengineering techniques that allow genes to be manipulated have been around for some time, the discipline of Synthetic Biology allows for the more effective design of genetic circuits. The Principle Investigator for this project is Dr Sara Kalvala, who will be applying her expertise in Compiler Design and Formal Logics towards the development of tools which will help assemble genetic networks and model their interactions with host genes.

The Department invites applications for a Research Fellowship to work on this three-year project. The project requires a post-doctoral researcher with a good background in Computer Science, especially in either Compiler Design or Automated Reasoning, who would like to expand their horizons and apply their knowledge into Synthetic Biology.

More information and details of the application procedure are available from http://go.warwick.ac.uk/kalvala/pdra. The deadline for applications is 27 February 2012.