El grupo de Tecnologías Avanzadas de Procesador (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, el Dr. David Lester, el Dr. Mikel Luján [Wikidata] , el Dr. John V Woods, el Dr. Javier Navaridas, el Dr. Vasilis Pavlidis, el Dr. Dirk Koch y su compañero Barry Cheetham. [7] [8] Los proyectos de investigación anteriores incluyen Jamaica, el microprocesador AMULET , Network On Chip , procesadores de señales digitales asíncronos y System on a chip .
El grupo de Métodos Formales tiene una gama muy amplia de intereses, que van desde el desarrollo de nuevas matemáticas del comportamiento computacional hasta el estudio y desarrollo de métodos de verificación y diseño de sistemas. 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) [Wikidata] e incluye al profesor Peter Aczel , al profesor Andrei Voronkov , al profesor Howard Barringer [Wikidata] [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 Information Management Group (IMG) [12] lleva a cabo investigaciones básicas y aplicadas sobre el diseño, desarrollo y uso de sistemas de gestión de datos y conocimientos . Estas actividades de investigación son amplias tanto por su naturaleza como por su alcance, e incluyen la investigación básica sobre modelos y lenguajes que sustentan las actividades sobre algoritmos, tecnologías y arquitecturas. 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, el profesor Norman Paton , la profesora Ulrike Sattler , el profesor Robert Stevens , Sean Bechhofer [Wikidata] , Suzanne Embury [Wikidata] , Simon Harper, Caroline Jay [Wikidata] , Bijan Parsia [Wikidata] , Rizos Sakelloirou, Sandra Sampaio y Ning Zhang. [12]
El grupo Nano Engineering and Storage Technologies (NEST) tiene intereses de investigación en nanofabricació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 blancas de clase 100/1000 y es miembro fundador del Centro de Mesociencia y Nanotecnología de Manchester, donde se desarrolló el innovador trabajo ganador del Premio Nobel sobre grafeno. André Geim y Konstantin Novoselov . El grupo está dirigido por el profesor Thomas Thomson, [16] y entre los miembros del personal académico se incluyen el profesor Jim Miles , Ernie W. Hill, Milan Mihajlovic y Paul W. Nutter.
Sistemas de software
El grupo de Sistemas de Software [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 físicamente distribuidos y se caracterizan por grandes espacios de datos y altas necesidades de computación, con interacciones complejas 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]
Las ciencias de la imagen son parte del Centro de Ciencias de la Imagen, un departamento de investigación que se centra en la física de la imagen, 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 [Wikidata] [6] [24] conjuntamente con la Facultad de Medicina . [23] El grupo incluye al profesor Tim Cootes. [25]
Gestión
La escuela (y el departamento) ha estado dirigida por diez directores de escuela diferentes desde su creación en 1964.
Jefes de escuela/departamento
El Departamento de Informática (en 2018, la Facultad de Informática pasó a ser Departamento de Informática) ha estado dirigido por
Andrew J. Stewart [Wikidata] desde 2022
La Facultad de Ciencias de la Computación (2004-2018) estuvo dirigida por
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 Computer Building pasó a llamarse Kilburn Building en su honor. [31] La Facultad de Ciencias de la Computación se formó a partir del Departamento cuando la Universidad Victoria de Manchester y la UMIST se fusionaron para formar la Universidad de Manchester en 2004. Volvió a pasar de una escuela a un departamento en 2019. El Grupo/Escuela/Departamento es destaca por los siguientes logros:
^ ab "Historia (Facultad de Ciencias de la Computación - Universidad de Manchester)". Archivado desde el original el 2 de enero de 2008 . Consultado el 30 de enero de 2008 .
^ "Departamento de Ciencias de la Computación - Universidad de Manchester". www.cs.manchester.ac.uk .
^ ab "Estudios de pregrado (Facultad de Ciencias de la Computación - Universidad de Manchester)" . Consultado el 24 de julio de 2012 .
^ "Posgrado (Facultad de Ciencias de la Computación - Universidad de Manchester)". Archivado desde el original el 20 de julio de 2012 . Consultado el 24 de julio de 2012 .
^ "Centro de Manchester para la formación doctoral en informática". Archivado desde el original el 6 de diciembre de 2016 . Consultado el 25 de julio de 2012 .
^ ab Anón (2017). "Taylor, profesor Christopher John" . Quién es quién (edición en línea de Oxford University Press ). Oxford: A y C negro. doi :10.1093/ww/9780199540884.013.U249522.(Se requiere suscripción o membresía en la biblioteca pública del Reino Unido).
^ ab "Grupos de investigación: APT - Tecnologías de procesador avanzadas (Facultad 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 .
^ "Prof Ian Watson (BSc PhD FBCS CEng CITP), perfil de investigación - datos personales (Universidad de Manchester)". Archivado desde el original el 12 de abril de 2008.
^ "Inicio del Grupo Informática 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 (Facultad de Informática - Universidad de Manchester)". Archivado desde el original el 29 de marzo de 2012 . Consultado el 24 de julio de 2012 .
^ ab "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 .
^ ab "Grupos de investigación: Grupo de sistemas de software (Facultad 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 .
^ "Prof John Keane, perfil de investigación: datos personales (Universidad de Manchester)". Archivado desde el original el 4 de octubre de 2008.
^ ab "Sistemas de información (Facultad 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 .
^ "Dr. Steve Pettifer". Archivado desde el original el 30 de agosto de 2013 . Consultado el 24 de julio de 2012 .
^ ab "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 .
^ Luego (2010). "Dai Edwards: ayudando a Turing a utilizar el Manchester Mark 1". www.bl.uk. Biblioteca Británica . Archivado desde el original el 20 de diciembre de 2016 . Consultado el 8 de agosto de 2016 .
^ Luego (2014). "Voces de la ciencia: David 'Dai' Edwards. Nacido como 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 informática digital universal de la Universidad de Manchester". Naturaleza . 168 (4264): 95–96. Código Bib :1951Natur.168...95K. doi :10.1038/168095a0. S2CID 4216071.
^ "La Universidad de Manchester celebra el nacimiento de la computadora moderna". computadora50.org . Archivado desde el original el 4 de mayo de 2012.
^ "Copia archivada". Archivado desde el original el 26 de junio de 2013 . Consultado el 8 de junio de 2012 .{{cite web}}: Mantenimiento CS1: copia archivada como título ( enlace )Página de inicio del profesor Roger Hubbold
^ Kahn, Hilary J. (2004). "Kilburn, Tom (1921-2001), informático". Diccionario Oxford de biografía nacional (edición en línea). Prensa de la Universidad de Oxford. doi :10.1093/ref:odnb/55314.(Se requiere suscripción o membresía en la biblioteca pública del Reino Unido).
^ "Prof. Magnus Rattray | La Universidad de Manchester". www.research.manchester.ac.uk .
^ 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 la base de datos bibliográfica Scopus . (requiere suscripción)
^ "Geoff Tootill: nacido en 1922 en Lancashire, Reino Unido". www.bl.uk. Biblioteca Británica . Archivado desde el original el 29 de mayo de 2020 . Consultado el 8 de agosto de 2016 .
^ King, Ross (13 de julio de 2020). "Profesor Ross King". www.ceb.cam.ac.uk.
^ "Alasdair RAWSTHORNE nacido en mayo de 1953". Companieshouse.gov.uk . Londres: Casa de Empresas . Archivado desde el original el 3 de agosto de 2016.
^ "Alasdair Rawsthorne". Archivado desde el original el 28 de noviembre de 2010.
^ Segars, Simón Antonio (1996). Diseño de microprocesadores de baja potencia (tesis de maestría). Universidad de Manchester. OCLC 643624237. Copac 36604476.
^ "Apple asciende a varios directores senior a puestos de vicepresidente". MacRumors .