Search

10 May 2024: Search site. Information Theory. Department of Computer Science and Technology. Course pages 2023–24. Information Theory. Information Theory. Principal lecturer: Dr Robert Harle. Term: Michaelmas. Hours: 12. Format: In-person lectures. Suggested

10 May 2024: Search site. Randomised Algorithms. Department of Computer Science and Technology. Course pages 2023–24. Randomised Algorithms. Randomised Algorithms. Principal lecturer: Dr Thomas Sauerwald. Term: Lent. Hours: 12. Format: In-person lectures.

4 Apr 2024: Mike met his wife Avra during his first post-doc in 1974, a year spent with John McCarthy at the Stanford Artificial Intelligence Lab where Avra was a Research Assistant. ... Three research vignettes in memory of Mike Gordon, FLoC 2018, Oxford, 13 July

22 May 2024: Current research trends also will be outlined. Lectures. Part 1: Hoare logic.

4 Apr 2024: Roger Needham was the Computer Laboratory's head from 1980 to 1995, and Managing Director of Microsoft Research Limited in Cambridge from 1997 until his death in 2003.

4 Apr 2024: Search site. Cycling. Department of Computer Science and Technology. Cycling. Contents. Cycling is the fastest way of getting round the city, and the William Gates Building hosts what has been described by the Cambridge Cycling Campaign as the

20 Jun 2024: Turbocharging Serverless Research with vHive, Dmitrii Ustiugov, University of Edinburgh [ abstract ]. February 17th, 2022. ... Sirius: A Flat Datacenter Network with Nanosecond Optical Switching, Hitesh Ballani, Microsoft Research Cambridge.

19 Apr 2024: ‘Come and work with us at the University of Cambridge’ At the University of Cambridge, we realise that it's our people who have built our outstanding reputation. We are always looking to attract and retain talented and motivated people who will

17 May 2024: Search site. Ross J Anderson, 1956–2024. Department of Computer Science and Technology. Obituaries. 2008. Ross J Anderson FRS FREng. Professor of Security Engineering. 15 September 1956 – 28 March 2024. Obituaries. See also. September 2023. Ross

4 Apr 2024: Search site. Library induction. Department of Computer Science and Technology. Library resources. Information for new students. During your time at Cambridge you will undoubtedly need to library resources for independent study to complement what you

4 Apr 2024: Search site. Parking. Department of Computer Science and Technology. Information for staff. Parking. See the map of West Cambridge car parks to find suitable parking space. Please note:. Most of Car Park No 1 is currently closed due to building work.

27 Jun 2024: Search site. Part II CST. Department of Computer Science and Technology. Course pages 2022–23. Part II CST. In addition to courses examined in Tripos papers 8 and 9, students also select two further units of assessment, which are examined

2 May 2024: Search site. Conservation Research Institute. Ben Chester Cheong. Ben Chester Cheong is a PhD candidate in the Department of Land Economy, University of Cambridge. ... His area of research is the intersection between sustainability law and company law,

5 Jun 2024: They looked at the Fens, an important farming area, and agreed that more research is needed to find better farming methods, like seasonal farming or growing plants suited to wet conditions. ... DOM, consisting of diverse organic compounds from plant and

19 Jun 2024: Using Worktribe. Worktribe is a new research grant management system. It will be launched across the University between July and November 2024, replacing X5 as the University's costing and pricing ... tool. When it launches across the School of

4 Apr 2024: These provide the basis and tools for a great deal of current research, by many people worldwide.

23 Jun 2024: Search site. Wilkes on Turing. Department of Computer Science and Technology. The Relics Project. On the 1st October 1997, a celebration of the life and works of Alan Turing was held at King's College. After Dinner Speech. After dinner, Maurice

4 Apr 2024: This replaces COPAC and offers a single interface to search the holdings of major university and research library catalogues within the UK and Ireland.

4 Apr 2024: Search site. Windows web edting tutorial. Department of Computer Science and Technology. Windows web edting tutorial. Windows web edting tutorial. Contents. Windows web editing tutorial using TortoiseSVN. This information is from TortoiseSVN Help.

13 May 2024: Search site. Recordings. Department of Computer Science and Technology. Software and Security Engineering. Course pages 2023–24. Software and Security Engineering. No recordings available yet. 2024 Department of Computer Science and Technology,

4 Apr 2024: Also of interest may be a growing number of open access repositories of preprints and published research papers. ... Dagstuhl Research Online Publication Server (DROPS). An online archive of the proceedings of seminars, principally held at Dagstuhl.

4 Apr 2024: is just one possible starting point. The cam-thesis LaTeX class is a collaborative effort to maintain a Cambridge PhD thesis template for Computer Laboratory research students, initiated by Jean Martina,

19 Jun 2024: Search site. Archiving process for personal web sites. Department of Computer Science and Technology. Archiving process for personal web sites. A former user’s original departmental personal web space (crsid/public_html/ =

4 Apr 2024: Search site. Local services. Department of Computer Science and Technology. Library resources. The library provides a number of online services to local users, which are listed below. To prevent misuse, access to most of these is restricted to

4 Apr 2024: Search site. Linux web editing tutorial. Department of Computer Science and Technology. Linux web editing tutorial. Linux web editing tutorial. To understand Subversion and use these pages effectively, please ensure you have read:. These pages

23 Jun 2024: Search site. Archive photos. Department of Computer Science and Technology. The Relics Project. Contents. Archive photos. Early Years. EDSAC I. posed photograph). . EDSAC I, 1947/8 P.J.Farmer R.Piggott M.V.Wilkes W.A.Renwick (posed photograph). .

19 Apr 2024: Search site. Cybersecurity. Department of Computer Science and Technology. Course pages 2022–23. Cybersecurity. Cybersecurity. Principal lecturer: Prof Frank Stajano. Term: Easter. Hours: 12. Format: In-person lectures. Suggested hours of

18 Jun 2024: are you going to need ethical approval from the country you’re conducting research in? ... read the University Biomedical Services website for policies and further details on research involving animals.

4 Apr 2024: Search site. Food. Department of Computer Science and Technology. Food. Contents. William Gates Building Caféteria. Refreshments, hot drinks and snacks are available from the Computer Laboratory Café located in the south-west corner ground floor

4 Apr 2024: Search site. Undergraduate students. Department of Computer Science and Technology. Information for staff. Some pearls of wisdom for undergraduates. This is an initial collection of some policy documents for Computer Science students. Many of the

4 Apr 2024: Search site. Archives. Department of Computer Science and Technology. Library resources. Films from the archives. This film demonstrates an early graphical user interface in use. It was made in 1969 to accompany a paper entitled “PIXIE: a new

4 Apr 2024: Search site. Electronic resources. Department of Computer Science and Technology. Library resources. Contents. Bibliographic databases. Trier bibliography (DBLP). The computer science bibliography at the University of Trier, with a database of more

22 May 2024: News. More than 1,000 may have died in Nazi camps on island of Alderney, report finds..

4 Apr 2024: There followed a postdoctoral year at Bell Labs, in the Mathematics of Networks and Systems Research Department led by Debasis Mitra, when his interests included state-dependent routing, a topic of ... His research interests extended from communication

4 Apr 2024: Search site. Virtual journals shelf. Department of Computer Science and Technology. Library resources. 2022 Department of Computer Science and Technology, University of Cambridge. Information provided by.

27 Jun 2024: Search site. Part IA CST. Department of Computer Science and Technology. Course pages 2022–23. Part IA CST. Please check the lecture timetables for timetable details. Michaelmas term. Databases – Dr David Greaves – 12 h. Digital Electronics

27 Jun 2024: Search site. Part IB CST. Department of Computer Science and Technology. Course pages 2022–23. Part IB CST. Please check the lecture timetables for timetable details. Michaelmas term. Concurrent and Distributed Systems –– 16 h. Data Science

4 Apr 2024: on the junction of Milton Road and Chesterton Road, commonly known as2.7 km): Barklays and Lloyds bank branches, cashpoints, chemist, coop grocery shop – open until 23:00, news agent, butcher, ... It is available for use by all members of the department

4 Apr 2024: Later she moved back to research on NLP, although maintaining an interest in IR. ... She also carried out her own research on natural language front ends to databases and on heterogeneous information-inquiry systems.

4 Apr 2024: Search site. Memorial event. Department of Computer Science and Technology. Obituaries. A Memorial for Professor Michael Gordon. The Computer Laboratory held a memorial event for the late Professor Michael Gordon on Friday, 28 September 2018. The

27 Jun 2024: Search site. Lecturer index. Department of Computer Science and Technology. Course pages 2022–23. Contents. Index of courses by lecturer. Please check the lecture timetables for timetable details. Michaelmas,Lent,Lent,Easter,Michaelmas,

4 Apr 2024: Research: Dr. Andrew Herbert. 15:40. Break. 16:10. America: Dr. Don Gaubatz.

4 Apr 2024: Professor Wing's general research interests are in the areas of trustworthy computing, specification and verification, concurrent and distributed systems, programming languages, and software engineering. ... She spent sabbaticals at MIT in 1992 and at

4 Apr 2024: Maps. The official Cambridge University Map showing the location of all the colleges, departments, research units, main libraries and administrative offices of the University can be purchased from Reception for £1.

4 Apr 2024: The annual Wheeler lecture was given that day by Sir Tony Hoare, Emeritus Professor of Computer Science at the University of Oxford, Principal Researcher at Microsoft Research and Honorary Member of

4 Apr 2024: Search site. Coding & Information theory. Department of Computer Science and Technology. Library resources. Coding & Information theory. Low density parity check codes. The full text of the classic monograph by Robert G. Gallager. A copy of the

1 May 2024: Search site. Postdoc Academy. D. Iredale. Real name:. Name:. D. Iredale. Member for. 2 months 3 weeks. Postdoc Centre at Mill Lane. 16 Mill Lane The Basement Cambridge CB2 1SB Tel: 44 (0)1223 336661. Postdoc Centre at Biomedical Campus. Clifford

4 Apr 2024: Location: Department of Biochemistry, Sanger Building, Tennis Court Road For directions please refer to the University map: Sanger Building: Map of the University of Cambridge Start time: 09.45 End time: 12.00 (approx) Refreshments will be provided

4 Apr 2024: Using social media to share your Cambridge achievements, news or research with public audiences can bring lots of positives. ... Research Communications team inbox: researchcommunications@admin.cam.ac.uk.

19 Apr 2024: This funding is part of the EU's research and innovation programme, Horizon Europe. ... Conrad is Research Fellow here, focusing on mechanised formal verification, concurrency, and the WebAssembly language.