Kiran Rachuri has received the Mark Weiser Best Paper Award at the IEEE International Conference on Pervasive Computing and Communications 2013 (PerCom 2013).
The paper “METIS: Exploring mobile phone sensing offloading for efficiently supporting social sensing applications” is joint work with Christos Efstratiou, Ilias Leontiadis, Cecilia Mascolo and P. Jason Rentfrow.
Kiran Rachuri is a member of the Network and Operating Systems group under the supervision of Cecilia Mascolo.
Professor Andy Hopper welcomed Business Secretary, Dr Vince Cable, to the Computer Laboratory today.
Dr Cable, in Cambridge to launch Cambridge Business Week, visited the University’s Computer Laboratory which, this year, celebrates its 75th anniversary.
The Computer Laboratory has been instrumental in making Cambridge the premier cluster in the UK – over 200 companies have been founded by Lab graduates and staff.
The January edition of the journal of the Computer Laboratory’s graduate association, The Ring, is now out.
The archive can be found at: http://www.cl.cam.ac.uk/ring/newsletters.html
2013 is a special year for the Computer Laboratory.
Not only does it mark the Laboratory’s 75th anniversary but also the centenary of the Cambridge computer pioneer, Professor Sir Maurice Wilkes.
Celebrations to mark these landmark events will take place on April 24th 2013. Full details of the day’s programme can be found at http://www.cl.cam.ac.uk/events/cl75/
Andy Pitts has been made a Fellow of the ACM for his contributions to the theory of programming language semantics.
The ACM Fellows Program was established in 1993 to recognize and honour outstanding ACM members for their achievements in computer science and information technology and for their significant contributions to the mission of the ACM. The ACM Fellows serve as distinguished colleagues to whom the ACM and its members look for guidance and leadership as the world of information technology evolves.
Andy is one of 52 distinguished computer scientists who will be
inducted as Fellows of the ACM this year. The complete list can be
Fifty one companies will converge on the Computer Laboratory on Thursday November 15th 2012 for the annual Supporters’ Club recruitment fair.
The event attracts many of the most prestigious IT companies at home and abroad, and provides students with an excellent opportunity to collect information on internships and graduate opportunities.
Of the 43 papers accepted (18.5% of those submitted) for the
Symposium on Principles of Programming Languages (POPL 2013) to
be held in Rome next January, four are authored by members of the Computer Laboratory’s Programming, Logic, and Semantics Research Group.
- Library Abstraction for C/C++ Concurrency.
Mark Batty and Mike Dodds (University of Cambridge) and Alexey Gotsman (IMDEA Software Institute)
- Sigma*: Symbolic Learning of Stream Filters.
Matko Botincan (University of Cambridge) and Domagoj Babic (UC Berkeley)
- Full Abstraction for Nominal Scott Domains.
Steffen Lösch and Andrew Pitts (University of Cambridge)
- Universal properties of impure programming languages.
Sam Staton (University of Cambridge) and Paul Levy (University of Birmingham)
Professor Peter Robinson’s research exploring the role of emotions in human-machine interaction has inspired research on affective computing.
Robert Watson talks about spanning industry and academia, the importance of open source in software research, and challenges facing research that spans traditional boundaries in computer science.
Watch the ACM Queue interview to find out about CHERI, an exciting computer science research project at Cambridge.
Congratulations to Manfredas Zabarauskas who has been selected as one of nine Highly Commended students in the field of Computer Science & Information Technology in the 2012 Undergraduate Awards.
The Undergraduate Awards are open to final and penultimate year undergraduate students across Europe, North America, Asia and Australia.
The papers of the highly commended entrants to the Undergraduate Awards are among the top 10% of all entries received by the programme annually. This year the panels of international academics assessed 2890 entries.