skip to content

Department of Computer Science and Technology

Read more at: Anil Madhavapeddy wins Verisign grant

Anil Madhavapeddy wins Verisign grant

17 March 2011

Anil Madhavapeddy is one of four researchers chosen to receive a Verisign grant of US$75,000 to pursue projects aimed at strengthening Internet infrastructure.

The winners were chosen in four categories with Anil the winner in the DNS Security category for "Constructing a Functional Name System'. The...


Read more at: Tom Cashman wins Eurographics dissertation award

Tom Cashman wins Eurographics dissertation award

14 March 2011

Eurographics , the European Association for Computer Graphics, has chosen Tom Cashman 2010 dissertation as one of this year's three award winners. Tom's dissertation, "NURBS-compatible subdivision surfaces", had previously been the runner-up in the 2010 BCS Distinguished Dissertation competition.

The citation...


Read more at: Robert Watson and Jonathan Anderson scoop Cambridge Ring Hall of Fame Award 2011.

Robert Watson and Jonathan Anderson scoop Cambridge Ring Hall of Fame Award 2011.

9 March 2011

Robert Watson and Jonathan Anderson have won the Publication of the Year Award 2011, at the Cambridge Ring's Hall of Fame Awards , for 'Capsicum: Practical Capabilities for UNIX' .

This research in operating system and application security was performed in collaboration with Ben Laurie and Kris...


Read more at: Sir Maurice Wilkes event: 27 June 2011

Sir Maurice Wilkes event: 27 June 2011

16 February 2011

Registration is now open for the tribute event for Sir Maurice Wilkes, which will be held in the Computer Laboratory on Monday, 27 June 2011.

Read more at: Prof. Winskel wins €2.4M ERC Advanced Grant

Prof. Winskel wins €2.4M ERC Advanced Grant

9 February 2011

Glynn Winskel , Professor of Computer Science, has recently been awarded one of the prestigious European Research Council Advanced grants. The award of 2.4 million euro is for five years and is for research on Events, Causality and Symmetry – the next generation semantics . Professor Winskel was one of ten...

Read more at: EDSAC to be recreated

EDSAC to be recreated

13 January 2011

A working replica of EDSAC, the forerunner of general purpose computing, has been commissioned by the Computer Conservation Society , in recognition of the achievements of the pioneering computer scientists at Cambridge University in the 1940s, to inform the general public about Britain’s illustrious computer...


Read more at: Lab Professor develops emotional computer

Lab Professor develops emotional computer

22 December 2010

Peter Robinson , Professor of Computer Technology, and his Rainbow Group have used a robot head to show how emotions can be used to improve interaction between humans and computers.

Read more at: Sir Maurice Wilkes, DFBCS FREng FRS

Sir Maurice Wilkes, DFBCS FREng FRS

29 November 2010

It is with sadness that we announce the death of Sir Maurice Wilkes on November 29th 2010.

Sir Maurice, 97, one of the pioneers of British Computing, was Head of Department from 1946 until 1980.

His contributions have been immense and long lasting, and he will be sorely missed.

...


Read more at: Recruiting excellence: the Computer Lab's recruitment fair is a sell-out

Recruiting excellence: the Computer Lab's recruitment fair is a sell-out

10 November 2010

Fifty-one companies will converge on the Computer Laboratory, on Thursday November 18th, for its annual recruitment fair.

Well-known names including ARM, Citrix, Disney, Google and Microsoft Research will be amongst those demonstrating the vast scope of career options open to computer scientists....


Read more at: Computer Laboratory PhD scoops Distinguished Dissertation Award.

Computer Laboratory PhD scoops Distinguished Dissertation Award.

9 November 2010

Magnus Myreen has been named the winner of the BCS Distinguished Dissertation competition 2010, for 'Formal verification of machine-code programs' .

Runners-up were Computer Laboratory PhDs Tom Cashman (for 'NURBS-compatible subdivision surfaces'), and Alexey Gotsman (for 'Logics and analyses for concurrent...