stringtranslate.com

Chris Umans

Christopher Umans es profesor de Ciencias de la Computación en el Departamento de Ciencias Matemáticas y Computación del Instituto Tecnológico de California . Es conocido por su trabajo sobre algoritmos , complejidad computacional , complejidad algebraica y dificultad de aproximación .

Biografía académica

Umans estudió en el Williams College , donde obtuvo 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 bajo la dirección de Christos Papadimitriou . Después de su doctorado, fue investigador postdoctoral en Microsoft Research hasta unirse a Caltech en 2002.

Investigación

La investigación de Umans se centra en gran medida en 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] [2] [3] [4] [5] [6] [7]

En 2008, Umans y su estudiante Dave Buchfuhrer resolvieron una conjetura de 1979 sobre la complejidad de la minimización de fórmulas booleanas ilimitadas ; el resultado ganó un premio al mejor artículo en ICALP . [8]

Premios y honores

Umans recibió un premio NSF CAREER en 2004 y una beca Alfred P. Sloan en 2005. [9] Además, su trabajo ha recibido premios al "Mejor artículo" en la Conferencia Internacional sobre Autómatas, Lenguajes y Programación (ICALP) y la Conferencia IEEE sobre Complejidad Computacional (CCC).

Referencias

  1. ^ Cohn, H.; Umans, C. (2003), "Un enfoque de teoría de grupos para la multiplicación rápida de matrices", 44.º Simposio anual 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, S2CID  5890100
  2. ^ Cohn, Henry; Kleinberg, Robert; Szegedy, Balász; Umans, Christopher (2005). "Algoritmos de teoría de grupos para la multiplicación de matrices". Proc. 46.º Simposio anual IEEE sobre fundamentos de la informática (FOCS) . IEEE. págs. 379–388. arXiv : math/0511460 . doi :10.1109/SFCS.2005.39.
  3. ^ Cohn, Henry; Umans, Christopher (2013). "Multiplicación rápida de matrices usando configuraciones coherentes". Proc. 24.º Simposio anual ACM-SIAM sobre algoritmos discretos (SODA) . SIAM. págs. 1074–1087. arXiv : 1207.6528 . doi :10.1137/1.9781611973105.77.
  4. ^ Alon, Noga; Shpilka, Amir; Umans, Christopher (2013). "Sobre girasoles y multiplicación de matrices". Computational Complexity . 22 (2): 219–243. doi :10.1007/s00037-013-0060-1.
  5. ^ Blasiak, Jonah; Church, Thomas; Cohn, Henry; Grochow, Joshua A.; Naslund, Eric; Sawin, William F.; Umans, Christopher (2017). "Sobre los conjuntos de tapas y el enfoque de teoría de grupos para la multiplicación de matrices". Análisis discreto . arXiv : 1605.06702 . doi :10.19086/da.1245.
  6. ^ Blasiak, Jonah; Church, Thomas; Cohn, Henry; Grochow, Joshua A.; Umans, Christopher (2017). "¿Qué grupos son susceptibles de demostrar el exponente dos para la multiplicación de matrices?". arXiv : 1712.02302 [math.GR].
  7. ^ Blasiak, Jonás; Cohn, Enrique; Grochow, Josué A.; Pratt, Kevin; Umans, Christopher (2023). "Multiplicación de matrices mediante grupos de matrices". 14° Congreso de Innovaciones en Informática Teórica (ITCS 2023) . Schloss Dagstuhl - Leibniz-Zentrum für Informatik. págs. 19:1–19:16. doi : 10.4230/LIPIcs.ITCS.2023.19 .
  8. ^ Buchfuhrer, David; Umans, Christopher (enero de 2011). "La complejidad de la minimización de fórmulas booleanas". Revista de Ciencias de la Computación y de Sistemas (JCSS) . 77 (1): 142–153. doi : 10.1016/j.jcss.2010.06.011 .Esta es una versión extendida del artículo de la conferencia: Buchfuhrer, David; Umans, Christopher (2008). "Automata, Languages ​​and Programming" (PDF) . En Luca Aceto; Ivan Damgård; et al. (eds.). Automata, Languages ​​and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Islandia, 7-11 de julio de 2008, Actas, Parte I. Lecture Notes in Computer Science (LNCS) 5125. Vol. 5125. Berlín / Heidelberg, Alemania: Springer-Verlag . pp. 24–35. doi :10.1007/978-3-540-70575-8_3. ISBN 978-3-540-70574-1. Archivado (PDF) del original el 14 de enero de 2018 . Consultado el 14 de enero de 2018 .Este trabajo ganó el premio al mejor artículo en la categoría A "Algoritmos, autómatas, complejidad y juegos".
  9. ^ Becarios Sloan

Enlaces externos