Curriculum Vitae of Anna G´Al
Total Page:16
File Type:pdf, Size:1020Kb
Curriculum vitae of Anna G´al Address: Department of Computer Science email: [email protected] The University of Texas at Austin Phone: (512) 471-9539 Austin, TX 78712 WWW: http://www.cs.utexas.edu/users/panni Research Interests: Computational complexity, lower bounds for complexity of Boolean functions, communication complexity, fault tolerance, randomness and computation, algorithms, combinatorics. Degrees: • Ph.D. in Computer Science at the University of Chicago, August 1995 Ph.D. thesis title: Combinatorial methods in Boolean function complexity Ph.D. thesis advisor: Professor J´anosSimon • Master's degree in Computer Science at the University of Chicago, June 1990 Awards: • Best Paper Award at Track A of ICALP 2003 • Alfred P. Sloan Research Fellowship, 2001-2005 • NSF CAREER Award July 1999 - June 2004 • Faculty Fellowship, Department of Computer Science, University of Texas at Austin, 2000 - present. • NSF/DIMACS Postdoctoral Fellowship: Institute for Advanced Study, Princeton 1995-96; DIMACS at Princeton University, 1996-97. • Machtey Award for \the most outstanding paper written by a student or students" at the 32nd IEEE Symposium on Foundations of Computer Science, FOCS 1991 • Award for excellent studies (only grades \A" during high school and undergraduate studies) from the Department of Education of Hungary, 1984 Employment: • Professor at the Department of Computer Science of the University of Texas at Austin, starting September 1, 2012. • Associate professor at the Department of Computer Science of the University of Texas at Austin, September 1, 2004 - August 31 2012. • Assistant professor at the Department of Computer Science of the University of Texas at Austin, September 1, 1997 - August 31 2004. • Visiting scholar at the Department of Computer Science of the University of Toronto and the Fields Institute in Toronto, January 1998 - July 1998. 1 • NSF/DIMACS postdoctoral fellow September 1995 - August 1997: at the Department of Computer Science of Princeton University, 1996/97 at the School of Mathematics of the Institute for Advanced Study in Princeton, 1995/96. • Research associate at the Computer and Automation Research Institute of the Hungarian Academy of Sciences, 1983-1988 Professional Activities: • Associate Editor, ACM Transactions on Computation Theory • Member of the Scientific Board of the Electronic Colloquium on Computational Complexity (ECCC) • Member of the Conference Steering Committee for the IEEE Conference on Computational Complexity (3 year term: 2004-2007) • Guest Editor of the Journal Theoretical Computer Science for the Special Issue of ICALP 2006. • Guest Editor of the Journal Computational Complexity for the Special Issue of the 2005 IEEE Conference on Computational Complexity • Program Committee member of the 14th International Workshop on Randomization and Computation, RANDOM 2010, to be held in September 2010, Barcelona, Spain. • Program Committee member of the 24th Annual IEEE Conference on Computational Com- plexity, held in July 2009, Paris, France. • Program Committee member of the 36th International Colloquium on Automata, Languages and Programming, ICALP 2009, held in July 2009, Rhodes, Greece. • Program Committee member of the 12th International Workshop on Randomization and Computation, RANDOM 2008, held in August 2008, at MIT • Program Committee member of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008, held in February 2008, Bordeaux, France. • Program Committee member of the International Frontiers of Algorithms Workshop, FAW 2007, held in August 2007, Lanzhou, China. • Program Committee member of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006, held in July 2006, Venice, Italy. • Program Committee member of the 20th Annual IEEE Conference on Computational Com- plexity, held in June 2005, San Jose. • Program Committee member of the 9th International Computing and Combinatorics Confer- ence, COCOON 2003, held in July 2003, Big Sky, Montana. • Program Committee member of the 43rd Annual IEEE Symposium on Foundations of Com- puter Sciences, FOCS 2002, held in November 2002, Vancouver, Canada. • Program Committee member of the 16th Annual IEEE Conference on Computational Com- plexity, held in June 2001, Chicago. 2 • Program Committee member of the 17th Conference on the Foundations of Software Tech- nology and Theoretical Computer Science, held in December 1997, IIT Kharagpur, India • Organizer of the Distinguished Lecturer Series of the DIMACS/IAS Special Focus on Discrete Probability, 1996/97 Grants: • NSF Grant, 08/2010 - 07/2013, $346,480 Title: \Locally Decodable Codes and Space Bounded Computation" • NSF Grant, 09/2008 - 08/2011, $240,000 Title: \Communication Complexity and Applications" • NSF Grant, 09/2004 - 08/2008, $150,000 Title: \Communication Complexity and Circuit Complexity" • Alfred P. Sloan Fellowship, 09/2001-09/2005, $40,000 • NSF CAREER Award, 07/1999-06/2004, $200,000 Former Ph.D. Students: • Jeff Ford, \Lower Bound Methods for Multiparty Communication Complexity", Ph. D. Uni- versity of Texas, May 2006. (currently at Microsoft Center for Software Excellence) • Vladimir Trifonov, \Techniques for Analyzing the Computational Power of Constant-Depth Circuits and Space-Bounded Computation", Ph. D. University of Texas, August 2006. Received Best Student Paper Award at STOC 2005. (postdoc at the Institute for Advanced Study in Princeton 2006/2007, currently research fellow at Columbia University) • Andrew Mills, \Lower Bounds and Correctness Results for Locally Decodable Codes", Ph. D. University of Texas, August 2011. Former Masters Student: • Shweta Agrawal, \Algebraic Attacks: A Survey", MS University of Texas, August 2008. Current Ph.D. Students: Jing-Tang Keith Jang 3 Selected Publications of Anna G´al Refereed Papers in Journals • A. G´al,A. Mills: \Three query locally decodable codes with higher correctness require expo- nential length", ACM Transactions on Computation Theory, Vol. 3(2): 5, 2012. • J. Ford, A. G´al:\Hadamard tensors and lower bounds on multiparty communication com- plexity", To appear in Computational Complexity, 2012. • A. G´al,V. Trifonov: \On the correlation between parity and modular polynomials", Theory of Computing Systems, Vol. 50(3), pp. 516-536, 2012. • A. G´al,Jing-Tang Jang: \The size and depth of layered Boolean circuits", Information Processing Letters, Vol. 111, No. 5, pp. 213-217, 2011. • A. G´al,P. Gopalan: \Lower bounds on streaming algorithms for approximating the length of the longest increasing subsequence", SIAM Journal on Computing Vol. 39, No. 8, pp. 3463-3479, 2010. • A. G´al,M. Koucky and P. McKenzie: \Incremental branching programs", Invited paper to Special Issue of 1st CSR, Theory of Computing Systems, Volume 43, No. 2, pp. 159-184, 2008. • A. G´al,Peter Bro Miltersen: \The cell probe complexity of succinct data structures", Invited paper to Special Issue of 30th ICALP, Theoretical Computer Science, vol. 379, pp. 405 - 417, 2007. • A. G´al,A. Ros´en:\Omega(log N) lower bounds on the amount of randomness in 2-private computation", SIAM Journal on Computing, Vol. 34, No. 4, pp. 946-959, 2005. • A. G´al,P. Pudl´ak:\A note on monotone complexity and the rank of matrices", Information Processing Letters, Vol. 87, No. 6, 2003, pp. 321-326. • L. Babai, A. G´al,P. Kimmel, S.V. Lokam: \Communication complexity of simultaneous messages", SIAM Journal on Computing, 2003, Vol. 33, No. 1, 2003, pp. 137-166. • A. G´al,A. Ros´en:\A theorem on sensitivity and applications in private computation", SIAM Journal on Computing, Vol. 31, No. 5, 2002, pp. 1424-1437. • A. G´al:\A characterization of span program size and improved lower bounds for monotone span programs", Computational Complexity, Vol. 10, No. 4, 2001, pp. 277-296. • A. Beimel, A. G´al:\On Arithmetic Branching Programs", Journal of Computer Systems and Sciences, 59, 1999, pp. 195-220. (Invited paper to Special Issue of the 1998 IEEE Conference on Computational Complexity.) • L. Babai, A. G´al,A. Wigderson: \Superpolynomial lower bounds for monotone span pro- grams", Combinatorica 19 (3), 1999, pp. 301-319. • A. Beimel, A. G´al,M. Paterson: \Lower bounds for monotone span programs", Computational Complexity, 6, 1996/1997, pp. 29-45. 4 • A. G´al: \A simple function that requires exponential size read once branching programs", Information Processing Letters 62, 1997, pp. 13-16. • A. G´al,A. Wigderson: \Boolean complexity classes vs. their arithmetic analogs", Random Structures and Algorithms, Vol. 9, Nos. 1 and 2, 1996, pp. 99-111. • P. G´acs,A. G´al: \Lower bounds for the complexity of reliable Boolean circuits with noisy gates", IEEE Transactions on Information Theory, Vol. 40, No. 2, 1994, pp. 579-583. • A. G´al:\Complexity of some classes of Boolean matrices", Mathematicheskie Voprosy Kiber- netiky 1. 1988, pp. 234-236. • A. G´al:\The complexity of triangular matrices and the depth of realization", MTA SZTAKI K¨ozlem´enyek 32/1985, pp. 81-85. Refereed Papers in Conference Proceedings • A. G´al,K. A. Hansen, M. Koucky, P. Pudlak, E. Viola: \Tight bounds on computing error- correcting codes by bounded-depth circuits with arbitrary gates", In Proceedings of 44th ACM Symposium on Theory of Computing (STOC), pp. 479-494, 2012. • A. G´al,Jing-Tang Jang: \A generalization of Spira's theorem and circuits with small segre- gators or separators", In Proceedings of SOFSEM 2012, pp. 264-276. • A. G´al,A. Mills: \Three query locally decodable codes with higher correctness require ex- ponential