Christopher Umans es profesor de Ciencias de la Computación en el Departamento de Ciencias Matemáticas y Computación del Instituto de Tecnología de California . Es conocido por su trabajo en algoritmos , complejidad computacional , complejidad algebraica y dureza de aproximación .
Christopher Umans | |
---|---|
Nacionalidad | americano |
alma mater | Williams College , Universidad de California, Berkeley |
Conocido por | Complejidad computacional , Algoritmos , Dureza de aproximación , Multiplicación de matrices |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Instituto de Tecnología de California |
Asesor de doctorado | Christos Papadimitriou |
Biografía académica
Umans estudió en Williams College , donde completó una licenciatura en Matemáticas y Ciencias de la Computación en 1996. Luego recibió un doctorado en Ciencias de la Computación de la Universidad de California, Berkeley en 2000 con Christos Papadimitriou . Tras su doctorado, fue investigador postdoctoral en Microsoft Research hasta que se incorporó a Caltech en 2002.
Investigar
Los centros de investigación de Umans giran ampliamente en torno a algoritmos y complejidad. Ha realizado contribuciones notables en diversas áreas dentro de este espacio, incluida la generación de números aleatorios , expansores y algoritmos para la multiplicación de matrices . Un ejemplo notable es su trabajo en el desarrollo de un enfoque teórico de grupos para la multiplicación de matrices. [1]
En 2008, Umans y su alumno Dave Buchführer establecieron una conjetura de 1979 sobre la complejidad de la minimización ilimitada de fórmulas booleanas ; el resultado ganó un premio al mejor trabajo en ICALP . [2]
Premios y honores
Umans recibió un premio NSF CAREER en 2004 y una beca Alfred P. Sloan en 2005. [3] Además, su trabajo ha recibido premios como "Mejor artículo" en la Conferencia Internacional sobre Autómatas, Idiomas y Programación (ICALP) y la Conferencia IEEE. sobre Complejidad Computacional (CCC).
Referencias
- ^ Cohn, H .; Umans, C. (2003), "Un enfoque teórico de grupos para la multiplicación rápida de matrices", 44º Simposio anual del IEEE sobre fundamentos de la informática, 2003. Actas , págs. 438–449, arXiv : math / 0307321 , doi : 10.1109 / SFCS.2003.1238217 , ISBN 978-0-7695-2040-7
- ^ Buchführer, David; Umans, Christopher (enero de 2011). "La complejidad de la minimización de fórmulas booleanas" . Revista de Ciencias de la Computación y Sistemas (JCSS) . 77 (1): 142-153. doi : 10.1016 / j.jcss.2010.06.011 . Esta es una versión ampliada del documento de la conferencia: Buchführer, David; Umans, Christopher (2008). "La complejidad de la minimización de fórmulas booleanas" (PDF) . En Luca Aceto; Ivan Damgård; et al. (eds.). Autómatas, Lenguajes y programación: 35º Coloquio Internacional, ICALP 2008, Reykjavik, Islandia, 7-11 de julio de 2008, Actas, Parte I . Lecture Notes in Computer Science (LNCS) 5125. Berlín / Heidelberg, Alemania: Springer-Verlag . págs. 24–35. doi : 10.1007 / 978-3-540-70575-8_3 . ISBN 978-3-540-70574-1. Archivado (PDF) desde el original el 14 de enero de 2018 . Consultado el 14 de enero de 2018 . Este ganó el premio al Mejor Trabajo en la Pista A "Algoritmos, Autómatas, Complejidad y Juegos".
- ^ Becarios Sloan