Ryan Williams (datavetare)
Ryan Williams | |
---|---|
Född | 1979 (ålder 43–44) |
Nationalitet | amerikansk |
Alma mater |
Cornell University Carnegie Mellon University |
Vetenskaplig karriär | |
Fält | Beräkningskomplexitetsteori , Algoritmer |
institutioner |
Carnegie Mellon University IBM Almaden Research Center Stanford University |
Doktorand rådgivare | Manuel Blum |
Richard Ryan Williams , känd som Ryan Williams (född 1979), är en amerikansk teoretisk datavetare som arbetar med beräkningskomplexitetsteori och algoritmer .
Utbildning
Williams tog examen från Alabama School of Mathematics and Science innan han fick sin kandidatexamen i matematik och datavetenskap från Cornell University 2001 och sin doktorsexamen i datavetenskap 2007 från Carnegie Mellon University under ledning av Manuel Blum . Från 2010 till 2012 var han medlem av Theory Group of IBM Almaden Research Center . Från hösten 2011 till hösten 2016 var han professor vid Stanford University. I januari 2017 började han på fakulteten vid MIT .
Forskning
Williams har varit medlem i programkommittén för Symposium on Theory of Computing 2011 och olika andra konferenser. Han vann Ron V. Book best student paper award vid IEEE Conference on Computational Complexity 2005 och 2007, och vid bästa student paper award vid International Colloquium on Automata, Languages and Programming 2004 från European Association for Theoretical Computer Science .
Williams resultat att komplexitetsklassen NEXP inte finns i ACC 0 fick priset för bästa papper vid Conference on Computational Complexity 2011. Komplexitetsteoretikern Scott Aaronson har kallat resultatet "ett av de mest spektakulära under årtiondet".
k -anonymitetens beräkningskomplexitet .
Privatliv
Ryan är gift med Virginia Vassilevska Williams , också en teoretisk datavetare.
Utvalda publikationer
- Meyerson, Adam; Williams, Ryan (2004), "On the complexity of optimal k- anonymity", Proceedings of the Twenty-Third ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS '04) , New York, NY, USA: ACM , s. 223–228, doi : 10.1145/1055558.1055591 , ISBN 978-1581138580 , S2CID 6798963
- Williams, R. (2005), "Better Time-Space Lower Bounds for SAT and Related Problems", IEEE Conference on Computational Complexity (CCC) , s. 40–49
- Williams, R. (2005), "A New Algorithm for Optimal 2-Constraint Satisfaction and Its Implikations", Theoretical Computer Science , 348 (2–3): 357–365, doi : 10.1016/j.tcs.2005.09.023
- Williams, R. (2008), "Time-Space Lower Bounds for Counting NP Solutions Modulo Integers", Computational Complexity , 17 (2): 179–219, doi : 10.1007/s00037-008-0248-y , S2CID 88155
- Williams, R. (2011), "Non-Uniform ACC Circuit Lower Bounds", IEEE Conference on Computational Complexity (CCC) (PDF) , s. 115–125, CiteSeerX 10.1.1.225.8935 , doi : 10.3601/10.1209. , ISBN 978-1-4577-0179-5 , S2CID 7020039
externa länkar
- Ryan Williams hemsida på MIT
- Ryan Williams publikationer indexerade av Google Scholar
- Ryan Williams på DBLP Bibliography Server