Marcelo Fiore, Professor in Mathematical Foundations of Computer Science, has been awarded the 10-Year Most Influential PPDP Paper Award.
His paper, ‘Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus‘ was published in the Proceedings of the ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming for 2002.
The Computer Laboratory is pleased to announce that the Institute of Mathematics and its Applications (IMA) will award its 2012 Gold Medal to Dr Malcolm Sabin.
The IMA Gold Medals are awarded in recognition of outstanding contributions to mathematics and its applications over a period of years.
Dr Sabin has worked with the Graphics and Interaction research group since the early ’90s on a range of projects related to modelling with curves and surfaces.
Congratulations to Dr Stephen Clark, Dr Robert Mullins and Dr Frank Stajano who have been awarded European Research Council (ERC) Starting Grants.
The projects that have been selected are ‘Distributional Compositional Semantics for Text Processing (DisCoTex)’ (Dr Clark), ‘Specialisable, Programmable, Efficient and Robust Microprocessors (SPEAR)’ (Dr Mullins) and ‘Pico: no more passwords’ (Dr Stajano).
The ERC grants enable the most promising scientists to develop their best ideas at the frontiers of knowledge.
Congratulations to Dr Steven Murdoch and Dr Magnus Myreen who have been awarded Royal Society University Research Fellowships.
This scheme is for outstanding scientists in the UK who are in the early stages of their research career and have the potential to become leaders in their field.
We have had a number of problems with one of our Xen pools. If any VMs appear to be behaving oddly, please contact sys-admin. Continue reading
A Redhat package problem caused CentOS 5 machines (Linux Servers) to loose access to certain network services. One of our two mail servers may have rejected email between 04:15 and 04:30, when the problem was spotted and the failing MTA was taken out of service.
A script was run to fix all effected servers, but any which were down at the time will not have been fixed. User admins can fix it using:
cl-asuser restorecon -v /etc/nsswitch.conf
which should report that it fixed the file, and then reboot to fix things. Alternatively, email sys-admin with the name of the machine.
Claudio Angione has received the best paper award at the Turing Centenary Conference in Manchester. The paper, ‘Computing with Metabolic Machines’, is joint work with Giovanni Carapezza, Jole Costanza, Pietro Lio’ and Giuseppe Nicosia.
Claudio Angione is a member of the Artificial Intelligence Group under the supervision of Pietro Lio’.
Congratulations to Jisun An who has been awarded a Google Europe Fellowship in Social Computing.
Jisun An is a member of the Systems Research Group under the supervision of Professor Jon Crowcroft.
The Lab is pleased to announce that the EuroSys 2012 Roger Needham PhD award has been given to Derek Murray for ‘A Distributed Execution Engine Supporting Data-Dependent Control Flow’.
The CL DNS resolvers have DNSSEC validation enabled. Please report any DNS problems to sys-admin.
