skip to content

Department of Computer Science and Technology

Professor Andrew Pitts is made a Fellow of the ACM

12 December 2012

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...

Read more

Computer Laboratory recruitment fair full to bursting

8 November 2012

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...

Read more

PLS Research Group has four papers accepted for POPL 2013

29 October 2012

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++...
Read more

Charles Babbage robot head inspires research on affective computing

16 October 2012

Professor Peter Robinson's research exploring the role of emotions in human-machine interaction has inspired research on affective computing .

Read more

ACM Queue interview with Robert Watson on Cambridge research into the hardware-software interface

16 October 2012

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...

Read more

Computer Lab graduate highly commended in 2012 Undergraduate Awards

14 October 2012

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,...

Read more

Professor Marcelo Fiore awarded most influential paper 10-year award

11 October 2012

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...

Read more

Dr Malcolm Sabin awarded IMA's Gold Medal

9 October 2012

The Computer Laboratory is pleased to announce that the Institute of Mathematics and its Applications (IMA) will award its 2012 Gold Meda l 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....

Read more

Computer Lab researchers awarded European Research Council Starting Grants.

5 October 2012

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,...

Read more

Computer Lab researchers awarded Royal Society University Research Fellowships

4 October 2012

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.


Read more