Chris Umans

Christopher Umans
Nationalitet amerikansk
Alma mater Williams College , University of California, Berkeley
Känd för Beräkningskomplexitet , algoritmer , approximationshårdhet , matrismultiplikation
Vetenskaplig karriär
Fält Datavetenskap
institutioner California Institute of Technology
Doktorand rådgivare Christos Papadimitriou

Christopher Umans är professor i datavetenskap vid avdelningen för beräknings- och matematiska vetenskaper vid California Institute of Technology . Han är känd för arbete med algoritmer , beräkningskomplexitet , algebraisk komplexitet och approximationshårdhet .

Akademisk biografi

Umans studerade vid Williams College , där han avslutade en BA-examen i matematik och datavetenskap 1996. Han fick sedan en doktorsexamen i datavetenskap från University of California, Berkeley 2000 under Christos Papadimitriou . Efter sin doktorsexamen var han postdoktor vid Microsoft Research tills han började på Caltech 2002.

Forskning

Umans forskning fokuserar i stort sett kring algoritmer och komplexitet. Han har gjort anmärkningsvärda bidrag till olika områden inom detta utrymme inklusive generering av slumptal, expanderare och algoritmer för matrismultiplikation . Ett anmärkningsvärt exempel är hans arbete med att utveckla en gruppteoretisk metod för matrismultiplikation.

2008 gjorde Umans och hans student Dave Buchfuhrer upp en förmodan från 1979 om komplexiteten i ogränsad boolesk formelminimering ; resultatet vann ett pris för bästa papper på ICALP .

Pris och ära

Umans fick ett NSF CAREER-pris 2004 och ett Alfred P. Sloan Fellowship 2005. Dessutom har hans arbete mottagit utmärkelser "Best Paper" vid den internationella konferensen om automater, språk och programmering (ICALP) och IEEE-konferensen om beräkningskomplexitet (CCC).

externa länkar