El Departamento de Ciencias de la Computación de la Universidad de Manchester es el departamento de Ciencias de la Computación más antiguo del Reino Unido y uno de los más grandes. Está ubicado en el edificio Kilburn (y el edificio de TI adjunto) en Oxford Road y actualmente [ ¿cuándo? ] tiene más de 800 estudiantes que toman una amplia gama de cursos de pregrado y posgrado y 60 miembros del personal académico a tiempo completo . [2]
Nombres anteriores |
|
---|---|
Establecido | 1964, con historia que se remonta a 1947 [1] |
Jefe del departamento de | Robert Stevens |
Estudiantes | ~ 800 |
Localización | , Coordenadas :53 ° 28′03 ″ N 2 ° 14′03 ″ W / 53,4676 ° N 2,2343 ° W |
Conocido por | Manchester Baby Ordenadores Manchester Memoria virtual Código Manchester Microprocesador AMULET SpiNNaker Apache Taverna Vampire (demostrador de teoremas) |
Afiliaciones | Facultad de Ingeniería y Ciencias Físicas , Universidad de Manchester |
Sitio web | cs |
Docencia y estudio
De licenciatura
El Departamento actualmente [ ¿cuándo? ] ofrece una amplia gama de cursos de pregrado de Licenciatura en Ciencias (BSc) , Licenciatura en Ingeniería (BEng) y Maestría en Ingeniería (MEng) . [3] Estos están disponibles como honores individuales o como honores conjuntos grados dentro de los temas de la Inteligencia Artificial , Ciencias de la Computación , Ingeniería de Sistemas de Computación , Ingeniería de Software , Matemáticas , Internet Computación , aplicaciones comerciales y de gestión . Se ofrecen colocaciones industriales con todos los cursos de pregrado. [3]
Postgrado
A nivel de posgrado , el departamento ofrece títulos de Maestría en Ciencias (MSc) impartidos , en un nivel avanzado y también a través de una ruta básica. [4] Los títulos de investigación, Doctor en Filosofía (PhD) y Maestría en Filosofía (MPhil) están disponibles como programas de tres y cuatro años a través del Centro de Formación Doctoral en Ciencias de la Computación, el primero de su tipo en el Reino Unido. [5]
Personal académico notable
El personal académico notable incluye:
- Andy Brass
- Jack Dongarra
- Steve Furber CBE FRS FREng
- Carole Goble CBE FREng
- Toby Howard
- Norman Paton
- Steve Pettifer
- Ulrike Sattler
- Robert Stevens
- Chris J. Taylor OBE FREng [6]
- Andrei Voronkov
La Escuela está organizada en nueve grupos de investigación diferentes que recibieron financiación de una amplia gama de fuentes, incluida la Unión Europea , el Consejo de Investigación en Ingeniería y Ciencias Físicas y el Consejo de Investigación en Biotecnología y Ciencias Biológicas .
Tecnologías de procesador avanzadas
El grupo Advanced Processor Technologies (APT) investiga enfoques avanzados y novedosos para el procesamiento y la computación y está dirigido por el profesor Steve Furber . Los nuevos proyectos incluyen SpiNNaker , Transactional Memory y TERAFLUX. [7] El personal académico del grupo incluye al Dr. Jim Garside, al Dr. David Lester, al Dr. Mikel Luján
, al Dr. John V Woods, al Dr. Javier Navaridas, al Dr. Vasilis Pavlidis, al Dr. Dirk Koch y al Fellow Barry Cheetham. [7] [8] Los proyectos de investigación anteriores incluyen Jamaica, microprocesador AMULET , Network On Chip , Procesadores de señales digitales asíncronos y System on a chip .Informática de Biosalud
El Grupo de Informática de Bio-Salud (BHIG) lleva a cabo investigaciones en bioinformática e informática de la salud que van desde las aplicaciones en biología molecular hasta las aplicaciones de la e-ciencia clínica y la atención médica. El personal académico del grupo incluye al profesor Andy Brass y Robert Stevens . [9]
Métodos formales
El grupo de Métodos formales tiene una amplia gama de intereses, que van desde el desarrollo de las nuevas matemáticas del comportamiento computacional hasta el estudio y desarrollo del diseño de sistemas y métodos de verificación. Hay un gran grupo dedicado a la automatización de la lógica, incluido el campeón mundial Vampire . El grupo está dirigido por el profesor Michael Fisher (informático)
e incluye al profesor Peter Aczel , al profesor Andrei Voronkov , al profesor Howard Barringer [10] entre más de una docena de miembros del personal y un gran número de estudiantes de investigación. [11]Gestión de la información
El Grupo de Gestión de la Información (IMG) [12] realiza actividades básicas y aplicadas en el diseño, desarrollo y uso de sistemas de gestión de datos y conocimientos . Estas actividades de investigación son de naturaleza y alcance amplios, incluida la investigación básica sobre modelos y lenguajes que sustenta las actividades sobre algoritmos, tecnologías y arquitecturas. Las aplicaciones desafiantes motivan y validan esta investigación, en particular la Web Semántica y la e-Ciencia . Ejemplos de investigaciones recientes incluyen Protégé , Utopia Documents , myGrid , Taverna workbench , myExperiment , Open PHACTS . El personal académico del grupo incluye a la profesora Carole Goble CBE, la profesora Norman Paton , la profesora Ulrike Sattler , el profesor Robert Stevens , Sean Bechhofer
, Suzanne Embury , Simon Harper, Caroline Jay , Bijan Parsia , Rizos Sakelloirou, Sandra Sampaio y Ning Zhang. [12]Optimización y aprendizaje automático
El grupo Machine Learning and Optimization (MLO) [13] lleva a cabo investigaciones líderes en el mundo sobre una amplia gama de técnicas y aplicaciones de aprendizaje automático , optimización, minería de datos , modelado probabilístico , reconocimiento de patrones y percepción de máquinas . El personal académico incluye a Jon Shapiro (líder del grupo), [14] Gavin Brown, Ke Chen, Richard Neville [15] y Xiaojun Zeng.
Tecnologías de nano ingeniería y almacenamiento
El grupo Nano Engineering and Storage Technologies (NEST) tiene intereses de investigación en nano fabricación para almacenamiento de datos y aplicaciones de sensores avanzados y la investigación de sistemas de almacenamiento de datos en general. El grupo NEST está ubicado en un conjunto integrado de oficinas para el personal, espacio de laboratorio de uso general y salas limpias de clase 100/1000 y es miembro fundador del Centro de Manchester para la Mesociencia y la Nanotecnología, donde se encuentra el trabajo innovador y ganador del Premio Nobel sobre el grafeno. por Andre Geim y Konstantin Novoselov . El grupo está dirigido por el profesor Thomas Thomson, [16] los miembros del personal académico incluyen al profesor Jim Miles , Ernie W Hill, Milan Mihajlovic y Paul W. Nutter.
Sistemas de software
El grupo Software Systems [17] se ocupa del diseño, modelado, simulación y construcción de sistemas de misión crítica que desafían los últimos avances tanto en ingeniería de software como en ingeniería de rendimiento . Dichos sistemas se componen fundamentalmente de subsistemas de componentes distribuidos físicamente y se caracterizan por grandes espacios de datos y altas necesidades de cómputo, con complejas interacciones asociadas entre los componentes. Los miembros del personal académico incluyen al profesor John Keane, [18] Kung-Kiu Lau, Liping Zhao y Graham Riley. [17]
Extracción de textos
El grupo Text Mining [19] realiza investigaciones para extraer información y conocimientos útiles de textos no estructurados , especialmente en el campo de la bioinformática . El grupo también realiza investigaciones sobre el procesamiento del lenguaje natural (NLP) y alberga el Centro Nacional de Minería de Texto . El grupo está dirigido por la profesora Sophia Ananiadou [20] e incluye miembros académicos, el profesor Jun'ichi Tsujii , John McNaught (jubilado) y Goran Nenadic
. [19]Interfaces avanzadas
El Grupo de Interfaces Avanzadas (AIG) [21] investiga entornos virtuales , sistemas de visualización colaborativa y visión por computadora . El grupo está dirigido por Steve Pettifer [22] e incluye al personal académico Aphrodite Galata, Toby Howard (lector honorario), Tim Morris. Los proyectos de investigación incluyen el software UTOPIA .
Ciencia de la imagen
The Imaging sciences es parte del Center for Imaging Sciences, un departamento de investigación de clase mundial que se centra en la física de imágenes, el procesamiento de imágenes, la visión por computadora y el desarrollo y aplicación de biomarcadores de imágenes en la atención médica. El grupo [23] está dirigido por el profesor Chris J. Taylor
[6] [24] junto con la Facultad de Medicina . [23] El grupo incluye al profesor Tim Cootes. [25]Gestión
La escuela (y el departamento) ha sido dirigida por diez directores de escuela diferentes desde su creación en 1964.
Directores de escuela
La escuela ha sido dirigida por
- Robert Stevens desde 2016 hasta la fecha
- Jim Miles de 2011 a 2016
- Norman Paton 2008-2011
- Chris Taylor 2004–2008 [ cita requerida ]
Jefes de Departamento
Antes de fusionarse con UMIST, la Facultad de Ciencias de la Computación era el Departamento de Ciencias de la Computación.
- Steve Furber 2001–2004
- Brian Warboys 1996–2001
- Howard Barringer 1991–1996
- John Gurd 1987–1991
- Dai Edwards 1980-1987 [26] [27]
- Tom Kilburn CBE FRS 1964-1980 [28] [29]
Historia
La escuela tiene sus raíces en el Grupo de Computación del Departamento de Ingeniería Eléctrica de la Universidad Victoria de Manchester . El Computer Group se estableció tras el traslado de Freddie Williams al Departamento de Ingeniería Eléctrica en 1946. [30] En su formación en 1964, el Departamento de Ciencias de la Computación fue el primer departamento de este tipo en el Reino Unido , con el profesor Tom Kilburn como director. del Departamento hasta 1980. El 1 de mayo de 2001, tras la muerte de Kilburn ese mismo año, el Edificio de Computadoras pasó a llamarse Kilburn Building en su honor. [31] La Escuela de Ciencias de la Computación se formó a partir del Departamento cuando la Universidad Victoria de Manchester y UMIST se fusionaron para formar la Universidad de Manchester en 2004. En 2019 cambió de escuela a departamento. El Grupo / Escuela / Departamento es notable por los siguientes logros:
- La primera computadora digital electrónica con programa almacenado ( Manchester Baby )
- Memoria virtual mediante paginación (consulte Computadora Atlas )
- Codificación Manchester
- La serie de microprocesadores AMULET ( implementaciones asíncronas de la arquitectura de computadora ARM )
Consulte también la Historia de la escuela. [1] Los siguientes alumnos han sido miembros del personal de la escuela
Alumni y Emérito
La escuela y el departamento tienen varios ex alumnos notables y personal emérito que incluyen:
- Terri Attwood , profesora emérita
- Alan Rector , profesor emérito
- Roger Hubbold. Profesor emérito [32]
- Jim Miles (jubilado) [ ¿cuándo? ]
- Allan M. Ramsay (jubilado) [ ¿cuándo? ]
- Ian Horrocks , profesor de Ciencias de la Computación de FRS en la Universidad de Oxford
- Hilary Kahn , profesora del departamento de informática [33]
- Tom Kilburn CBE FRS [34] primer jefe del Departamento de Ciencias de la Computación
- Joshua Knowles , profesor de la Universidad de Birmingham
- Pedro Mendes , profesor del Centro de Salud de la Universidad de Connecticut
- Magnus Rattray , profesor de Biología Computacional y de Sistemas en la Facultad de Ciencias Biológicas [35]
- Neil Lawrence , profesor DeepMind de aprendizaje automático en la Universidad de Cambridge
- Alan Turing FRS fue subdirector del laboratorio de computación y lector en el Departamento de Matemáticas
- Brian Warboys , profesor
- David Bree, profesor emérito de inteligencia artificial [36]
- Freddie Williams CBE FRS [37]
- Simon Lavington [38] [39]
- Geoff Tootill [40]
- Nandini Mukherjee
- Ross D. King , creador de Robot Scientist , Departamento de Ingeniería Química y Biotecnología, Universidad de Cambridge [41]
- Ian Watson y profesor emérito
- Alasdair Rawsthorne [42] [43]
- Simon Segars, director ejecutivo de Arm Ltd. [44]
- Bonamy Grimes, cofundadora de Skyscanner [ cita requerida ]
- Gareth Williams, cofundador de Skyscanner [ cita requerida ]
- Jon Andrews, vicepresidente de Apple Inc [45]
Referencias
- ^ a b [1] [ enlace muerto ]
- ^ "Departamento de Ciencias de la Computación - Universidad de Manchester" . www.cs.manchester.ac.uk .
- ^ a b "Estudios de pregrado (Escuela de Ciencias de la Computación - Universidad de Manchester)" . Consultado el 24 de julio de 2012 .
- ^ [2] [ enlace muerto ]
- ^ "Manchester Center for Doctoral Training in Computer Science" . Consultado el 25 de julio de 2012 .
- ^ a b Anon (2017). "Taylor, Prof. Christopher John" . Quién es quién . ukwhoswho.com ( edición en línea de Oxford University Press ). A & C Black, una impresión de Bloomsbury Publishing plc. doi : 10.1093 / ww / 9780199540884.013.U249522 . (se requiere suscripción o membresía a una biblioteca pública del Reino Unido )
- ^ a b "Grupos de investigación: APT - Tecnologías de procesador avanzadas (Escuela de Ciencias de la Computación - Universidad de Manchester)" . Archivado desde el original el 30 de julio de 2012 . Consultado el 24 de julio de 2012 .
- ^ http://www.manchester.ac.uk/research/ian.watson
- ^ "Hogar del Grupo de Informática de Bio-Salud" . Consultado el 24 de julio de 2012 .
- ^ http://www.manchester.ac.uk/research/Howard.barringer/ Prof Howard Barringer - datos personales
- ^ "Fundamentos y métodos formales (Escuela de Ciencias de la Computación - Universidad de Manchester)" . Archivado desde el original el 29 de marzo de 2012 . Consultado el 24 de julio de 2012 .
- ^ a b "Gestión de la información" . Facultad de Ciencias de la Computación . Universidad de Manchester . Consultado el 28 de enero de 2015 .
- ^ "mlo.cs.man.ac.uk" . Consultado el 24 de julio de 2012 .
- ^ "Página de inicio de Jonathan L. Shapiro" . Consultado el 24 de julio de 2012 .
- ^ "Dr. Richard Neville (PhD, MSc, BSc, MIET (MIEE), CEng, MIEEE, IEEE CS, MINNS, MENNS y MIEEE CIS (MIEEE NNS), Inventor), perfil de investigación - datos personales (Universidad de Manchester)" . 11 de abril de 2008. Archivado desde el original el 11 de abril de 2008 .
- ^ "Prof. Thomas Thomson | La Universidad de Manchester" . www.research.manchester.ac.uk .
- ^ a b "Grupos de investigación: Grupo de sistemas de software (Escuela de Ciencias de la Computación - Universidad de Manchester)" . Archivado desde el original el 10 de mayo de 2012 . Consultado el 24 de julio de 2012 .
- ^ http://www.manchester.ac.uk/research/John.keane/
- ^ a b "Sistemas de información (Escuela de Ciencias de la Computación - Universidad de Manchester)" . Archivado desde el original el 29 de mayo de 2012 . Consultado el 24 de julio de 2012 .
- ^ "Prof Sophia Ananiadou | La Universidad de Manchester" . www.research.manchester.ac.uk .
- ^ "Grupo de interfaces avanzadas" . Archivado desde el original el 30 de julio de 2004 . Consultado el 24 de julio de 2012 .
- ^ [3] [ enlace muerto ]
- ^ a b "Ciencias de la imagen (investigación en ciencias de la imagen - Universidad de Manchester)" . Consultado el 25 de julio de 2012 .
- ^ "Profesor Chris J. Taylor FREng, OBE" . Archivado desde el original el 23 de diciembre de 2012 . Consultado el 8 de junio de 2012 .
- ^ "Tim Cootes: descripción general" . personalpages.manchester.ac.uk .
- ^ Anon (2010). "Dai Edwards: ayudando a Turing a utilizar el Manchester Mark 1" . www.bl.uk . Biblioteca Británica .
- ^ Anon (2014). "Voces de la ciencia: David 'Dai' Edwards. Nacido David Beverley George Edwards, 1928" . www.bl.uk . Biblioteca Británica . Archivado desde el original el 16 de enero de 2014.
- ^ Kilburn, T. (1951). "La nueva máquina de cómputo digital universal en la Universidad de Manchester". Naturaleza . 168 (4264): 95–96. Código bibliográfico : 1951Natur.168 ... 95K . doi : 10.1038 / 168095a0 . S2CID 4216071 .
- ^ Lavington, Simon (2001). "Obituario: Tom Kilburn (1921-2001)". Naturaleza . 409 (6823): 996. Código Bibliográfico : 2001Natur.409..996L . doi : 10.1038 / 35059201 . PMID 11241994 . S2CID 6971607 .
- ^ "La Universidad de Manchester celebra el nacimiento de la computadora moderna" . computer50.org . Archivado desde el original el 4 de mayo de 2012.
- ^ Hull, Duncan (2007). "Tom Kilburn" . flickr.com . Flickr .
- ^ "Copia archivada" . Archivado desde el original el 26 de junio de 2013 . Consultado el 8 de junio de 2012 .CS1 maint: copia archivada como título ( enlace ) Página de inicio del profesor Roger Hubbold
- ^ "Profesora Hilary Kahn (1943-2007)" . digital60.org .
- ^ Kahn, Hilary J. (2004). "Kilburn, Tom (1921-2001), informático". Oxford Dictionary of National Biography (edición en línea). Prensa de la Universidad de Oxford. doi : 10.1093 / ref: odnb / 55314 . (Se requiere suscripción o membresía a una biblioteca pública del Reino Unido ).
- ^ "Prof Magnus Rattray | La Universidad de Manchester" . www.research.manchester.ac.uk .
- ^ "David Bree" . www.cs.man.ac.uk .
- ^ Kilburn, T .; Piggott, LS (1978). "Frederic Calland Williams. 26 de junio de 1911-11 de agosto de 1977" . Memorias biográficas de miembros de la Royal Society . 24 : 583–604. doi : 10.1098 / rsbm.1978.0020 .
- ^ Lavington, Simon H. (1978). "El Manchester Mark I y el atlas: una perspectiva histórica". Comunicaciones de la ACM . 21 (1): 4–12. doi : 10.1145 / 359327.359331 . S2CID 10301670 .
- ^ Publicaciones de Simon Lavington indexadas por labase de datos bibliográfica Scopus . (requiere suscripción)
- ^ "Geoff Tootill: nacido en 1922 Lancashire, Reino Unido" . www.bl.uk . Biblioteca Británica .
- ^ King, Ross (13 de julio de 2020). "Profesor Ross King" . www.ceb.cam.ac.uk .
- ^ "Alasdair RAWSTHORNE nació en mayo de 1953" . companieshouse.gov.uk . Londres: Companies House . Archivado desde el original el 3 de agosto de 2016.
- ^ http://apt.cs.man.ac.uk/people/arawsthorne/
- ^ Segars, Simon Anthony (1996). Diseño de microprocesador de baja potencia (tesis de maestría). Universidad de Manchester. OCLC 643624237 . Copac 36604476 .
- ^ "Apple asciende a varios directores sénior a puestos de vicepresidente" . MacRumors .