Wydział Informatyki i Technologii Uniwersytetu Cambridge - Department of Computer Science and Technology, University of Cambridge
Dawne nazwiska |
Laboratorium komputerowe Laboratorium matematyczne |
---|---|
Przyjęty | 14 maja 1937 |
Kierownik działu | Profesor Ann Copestake |
Kadra akademicka |
35 |
Personel administracyjny |
25 |
Studia podyplomowe | 155 |
Lokalizacja |
Budynek Williama Gatesa, Cambridge , Zjednoczone Królestwo
52°12′39″N 0°05′31″E / 52,210925°N 0,092022°E Współrzędne: 52,210925°N 0,092022°E52°12′39″N 0°05′31″E / |
Strona internetowa | www |
Departament Informatyki i Technologii , dawniej Laboratorium Informatyki , jest informatyka wydział University of Cambridge . W 2007 r. zatrudniała 35 pracowników naukowych, 25 pracowników pomocniczych, 35 pracowników naukowych stowarzyszonych oraz około 155 studentów. Obecnym kierownikiem katedry jest profesor Ann Copestake .
Historia
Zakład został założony jako Laboratorium Matematyczne pod kierownictwem Johna Lennarda-Jonesa 14 maja 1937 r., ale prawidłowo powstał dopiero po II wojnie światowej . Nowe laboratorium mieściło się w północnym skrzydle dawnej szkoły anatomii, na terenie Nowych Muzeów . Od momentu powstania miał „świadczyć usługi obliczeniowe do powszechnego użytku i być ośrodkiem rozwoju technik obliczeniowych na Uniwersytecie”. Cambridge Diploma in Computer Science był pierwszy na świecie kurs podyplomowy nauczane w informatyce, począwszy od 1953 roku.
W październiku 1946 roku pod kierownictwem Maurice'a Wilkesa rozpoczęły się prace nad EDSAC ( Electronic Delay Storage Automatic Calculator ), który następnie stał się pierwszym na świecie w pełni funkcjonalnym i praktycznym komputerem z programami przechowywanymi w pamięci, gdy 6 maja 1949 r. uruchomił swój pierwszy program. Zainspirował on pierwszy na świecie komputer biznesowy , LEO . Został zastąpiony przez EDSAC 2 , pierwszy komputer z mikrokodowaniem i bitsliced w 1958 roku.
W 1961 David Hartley opracował Autocode , jeden z pierwszych języków programowania wysokiego poziomu dla EDSAC 2 . Również w tym samym roku powstały propozycje Titana , opartego na maszynie Ferranti Atlas . Titan stał się w pełni operacyjny w 1964 roku, a EDSAC 2 został wycofany w następnym roku. W 1967 r. na Titanie uruchomiono pełną (24/7) usługę współdzielenia czasu przez wielu użytkowników dla maksymalnie 64 użytkowników.
W 1970 roku Laboratorium Matematyczne zostało przemianowane na Laboratorium Komputerowe , z oddzielnymi wydziałami: Nauczania i Badań oraz Usług Komputerowych, świadczących usługi obliczeniowe dla uniwersytetu i jego uczelni. Nie rozdzielili się w pełni aż do 2001 roku, kiedy Laboratorium Komputerowe przeniosło się do nowego budynku Williama Gatesa w West Cambridge , niedaleko Madingley Road , pozostawiając niezależną usługę obliczeniową .
W 2002 roku Computer Laboratory uruchomiło Cambridge Computer Lab Ring , stowarzyszenie absolwentów nazwane na cześć sieci Cambridge Ring .
Aktualny
30 czerwca 2017 roku Cambridge University Reporter ogłosił, że Laboratorium Komputerowe od 1 października 2017 roku zmieni nazwę na Department of Computer Science and Technology, aby odzwierciedlić poszerzony zakres jego celu i działalności.
Katedra oferuje obecnie 3-letnie studia licencjackie i roczne studia magisterskie (z dużym wyborem kursów specjalistycznych z różnych dziedzin badawczych). Najnowsze badania skupiały się na wirtualizację , bezpieczeństwo , użyteczność , weryfikacji formalnej , formalne semantyki języków programowania , architektury komputerów , przetwarzania języka naturalnego , komputerów przenośnych , sieci bezprzewodowej , identyfikacji biometrycznej , robotyki , routingu , systemów pozycjonowania i trwałości ( „Obliczanie na przyszłość planety" ). Członkowie brali udział w tworzeniu wielu odnoszących sukcesy brytyjskich firm informatycznych , takich jak Acorn , ARM , nCipher i XenSource .
Personel
Profesorowie
Od 2016 roku w laboratorium zatrudnionych było 19 profesorów. Wybitne z nich to:
- Ross J. Anderson , profesor inżynierii bezpieczeństwa
- Alan F. Blackwell , profesor projektowania interdyscyplinarnego
- Ann Copestake , profesor lingwistyki komputerowej
- Jon Crowcroft , Marconi profesor systemów komunikacyjnych
- John Daugman , profesor wizji komputerowej i rozpoznawania wzorców
- Andy Hopper , profesor technologii komputerowej
- Neil Lawrence , profesor Deepmind uczenia maszynowego
- Cecilia Mascolo , profesor systemów mobilnych
- Alan Mycroft , profesor informatyki
- Lawrence Paulson , profesor logiki obliczeniowej
- Peter Robinson , profesor technologii komputerowej
Pozostali pracownicy to Robert Watson i Markus Kuhn .
Były personel
Byli pracownicy to:
Kierownicy Laboratorium Komputerowego
Laboratorium prowadzili:
- 1949 Maurice Wilkes
- 1980 Roger Needham
- 1996 Robin Milner
- 1999 Ian Leslie
- 2004 Andy Hopper
Osiągnięcia i innowacje
Członkowie wywarli wpływ na komputery, maszyny Turinga, mikroprogramowanie, podprogramy, sieci komputerowe, protokoły mobilne, zabezpieczenia, języki programowania, jądra, system operacyjny, zabezpieczenia, wirtualizację, systemy identyfikatorów lokalizacji itp. Poniżej znajduje się lista.
- EDSAC – pierwszy na świecie praktyczny komputer elektroniczny z zapisanym programem (1949-1958)
- Podprogram (1951)
- OXO – pierwsza na świecie gra wideo (1952)
- EDSAC 2 (1958-1965)
- Autocode – jeden z pierwszych języków programowania wysokiego poziomu (1961)
- Titan – wczesny komputer z podziałem czasu dla wielu użytkowników (1964-1973)
- Phoenix – IBM 370 z lokalnie opracowanym systemem operacyjnym i rozszerzeniami sprzętowymi (1973-1995)
- System operacyjny TRIPOS – stał się później podstawą AmigaDOS
- Język programowania BCPL – przodek C
- Komputer CAP – wsparcie sprzętowe dla bezpieczeństwa opartego na możliwościach
- Cambridge Ring – wczesna sieć lokalna
- Rozproszony system obliczeniowy Cambridge
- Dzbanek do kawy Trojan Room – pierwsza na świecie kamera internetowa (1993)
- Rozpoznawanie tęczówki – identyfikacja biometryczna ze znikomym współczynnikiem fałszywych akceptacji
- Nemesis – system operacyjny mikrojądra czasu rzeczywistego
- Aktywny system odznak –
- Active Bat – ultradźwiękowy system pozycjonowania w pomieszczeniach
- Xen – monitor maszyny wirtualnej (2003– obecnie )
- Isabelle i HOL – interaktywne dowodzenia twierdzeń
Wpływ na przedsiębiorczość
Wiele firm zostało założonych przez pracowników i absolwentów. Ich nazwiska znalazły się na nowym wejściu w 2012 roku. Niektóre z cytowanych przykładów firm odnoszących sukcesy to ARM , Autonomy , Aveva , CSR i Domino . Wspólnym wspólnym czynnikiem jest to, że kluczowi pracownicy lub członkowie założycieli są „przemoczeni szkoleniami uniwersyteckimi i badaniami”. Cambridge Computer Lab Pierścień był chwalony za swoją „pracę” przez niestrudzonego Andy Hopper w 2012 roku, w dziesiątą rocznicę kolację.