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).