Computer Science

Research Areas


  • Security and Privacy
  • Software Systems
  • Computer Architecture and Engineering
  • Networks and Distributed Systems
  • Computer Architecture
  • Cloud Computing
  • Internet of Things (IoT) and Industry 4.0
  • Networked and Distributed Systems
  • Operating Systems
  • Trustworthy Computing
  • Cybersecurity
  • Quantum Computing

Additional information


  • Professional Experience
    • Professor of Computer Science, Columbia University, New York, NY, 2014 - present
    • Director, Software Systems Laboratory, Columbia University, New York, NY, 2011 - present
    • Chief Scientist, CertiK, New York, NY, 2020 - present
    • Technical Advisor, Bazaarvoice Consent Decree, US Dept. of Justice, Washington DC, 2014 - 2018
    • Chief Scientist, Cellrox, Tel Aviv, Israel, 2011 - 2017
    • Associate Professor of Computer Science, Columbia University, New York, NY, 2003 - 2013
    • Director, Network Computing Laboratory, Columbia University, New York, NY, 2000 - 2011
    • Chief Scientist, DeskTone, Chelmsford, MA, 2006 - 2007
    • 1st Scholar in Residence, VMware, Palo Alto, CA, 2006 - 2007
    • Technical Advisor, Microsoft Consent Decree, States of NY, OH, IL, KY, LA, MD, MI, NC, and WI, 2003 - 2006
    • Assistant Professor of Computer Science, Columbia University, New York, NY, 1999 - 2003
  • Professional Affiliations
    • Fellow, Association for Computing Machinery (ACM)
    • Fellow, Institute of Electrical and Electronics Engineers (IEEE)
  • Honors & Awards
    • Google Research Award, 2009, 2010, 2012, 2013, 2014, 2015
    • Kenneth C. Sevcik Best Paper Award, 2014
    • IBM Faculty Award, 2004, 2006, 2008, 2011, 2012
    • SIGCSE Best Paper Award, 2012
    • SOSP Best Paper Award, 2011
    • LISA Best Paper Award, 2005
    • Sigma Xi Young Investigator Award, 2004
    • ACM MobiCom Best Paper Award, 2004
    • Distinguished Faculty Teaching Award, Columbia Engineering School Alumni Association, 2004
    • IBM Shared University Research (SUR) Award, 2000, 2004
    • Department of Energy Early Career Principal Investigator Award, 2003
    • National Science Foundation Faculty Early Career Development (CAREER) Award, 2001

Research Areas


  • Artificial Intelligence
  • Data Science
  • Imaging
  • Modeling & Simulation

Additional Information


  • Education
    • PhD, Computer Science, Tel Aviv University
    • MS, Computer Science, Tel Aviv University
    • BS, Mathematics and Computer Science, Tel Aviv University

Research Areas


  • Computing Systems
  • Cryptography
     

Research Areas


  • Software Systems
  • Computer Architecture and Engineering
  • Networks and Distributed Systems
  • Cloud Computing
  • Networked and Distributed Systems
  • Operating Systems
  • Scalable Data Systems
  • Professional Experience
    • Assistant Professor of Computer Science, Columbia University, 2023-
    • Software Engineer, System Research Group, Google, 2022-2023
  • Honors & Awards
    • Google Machine Learning & Systems Junior Faculty Award, 2025
  • Education
    • PhD, Electrical Engineering, Stanford University
    • MS, Electrical Engineering, Stanford University
    • BS, Electrical and Computer Engineering, National Technical University of Athens

Research Areas


  • Security and Privacy
  • Software Systems
  • Artificial Intelligence
  • Data Privacy
  • Programming Languages
  • Trustworthy Computing
  • Cybersecurity
  • Trustworthy AI

Additional information


  • Professional Experience
    • Microsoft Research, Corporate Vice President
    • Carnegie Mellon University, President’s Professor of Computer Science
    • Carnegie Mellon University, Head of Computer Science Department
    • National Science Foundation, Assistant Director of Computer and Information Science and Engineering
  • Professional Affiliations
    • Board Member, Council Member, and Fellow, American Academy of Arts and Sciences
    • Fellow, American Association for the Advancement of Science
    • Fellow, Association of Computing Machinery
    • Fellow, IEEE
  • Honors & Awards
    • Formal Methods Europe Fellowship Award, 2024
    • Honorary Doctor of Technology, Linkoping University, Linkoping, Sweden, 2020
    • Hero of Computer Science, Computer Science Department, University of York, 2020
    • Columbia College of Dental Medicine Birnberg Research Award, 2018.
    • Microsoft Executive Briefing Center Hero Award, 2017.
    • Association for Computing Machinery Distinguished Service Award, 2014.
    • SIGSOFT Retrospective Paper Award, 2012.
    • Computing Research Association Distinguished Service Award, 2011.
    • Phi Beta Kappa, Tau Beta Pi, Eta Kappa Nu, Sigma Xi.
  • Education
    • PhD, Computer Science, MIT
    • SM, Computer Science, MIT
    • SB, Computer Science, MIT

Research Areas


  • Economics & Computation
  • Game Theory
  • Web3 & Blockchain
  • Cryptoeconomics
  • Algorithms
  • Optimization

Additional information


  • Professional Experience
    • Professor, Department of Computer Science, Columbia University, January 2019–present.
    • Head of Research, a16z crypto, January 2022–present.
    • Visiting Professor, Department of Mathematics, London School of Economics, September 2017–August 2018.
    • Professor, Department of Computer Science and (by courtesy) Management Science and Engineering,
    • Stanford University, February 2017–December 2018.
    • Associate Professor, Department of Computer Science and (by courtesy) Management Science and
    • Engineering, Stanford University, September 2011–January 2017.
    • Assistant Professor (by courtesy), Department of Management Science and Engineering, Stanford Uni- versity, September 2004–August 2011.
  • Honors & Awards
    • ACM Fellow, 2024
    • Fellow of the Society for the Advancement of Economic Theory, 2021
    • FOCS Test of Time Award, 2020
    • INFORMS Lanchester Prize, 2019
    • Fellow of the Game Theory Society, 2019
    • Guggenheim Fellowship, 2017
    • Stanford Tau Beta Pi Teaching Honor Roll, 2017
    • Kalai Prize in Game Theory and Computer Science, 2016
    • Social Choice and Welfare Prize, 2014
    • EATCS-SIGACT G ̈odel Prize, 2012
    • ACM Grace Murray Hopper Award, 2009
    • Shapley Lecturer, Third World Congress of the Game Theory Society, 2008
    • Presidential Early Career Award for Scientists and Engineers (PECASE), 2007
    • ONR Young Investigator, 2007–2010
    • Alfred P. Sloan Fellow, 2006–2008
    • International Congress of Mathematicians Invited Speaker, 2006
    • INFORMS Optimization Prize for Young Researchers, 2003
    • Mathematical Programming Society’s Tucker Prize, 2003
    • ACM Doctoral Dissertation Award, Honorable Mention, 2002
    • Danny Lewin Best Student Paper Award, STOC 2002
  • Education
    • PhD, Computer Science, Cornell University
    • MS, Mathematics, Cornell University
    • MS, Computer Science, Stanford University
    • BS, Applied Mathematics, Stanford Universoty

Research Areas


  • Applied and Theoretical Machine Learning
  • Algorithmic Statistics

Additional information


  • Professional Experience
    • Associate Professor of Computer Science, Columbia University, 2017-
    • Assistant Professor of Computer Science, Columbia University, 2013-2017
  • Honors & Awards
    • National Academy of Sciences Kavli Fellow, 2017
    • Alfred P. Sloan Research Fellow in Computer Science, 2016
    • IEEE Intelligent Systems “AI’s 10 to Watch”, 2016
  • Education
    • PhD, Computer Science, University of California, San Diego
    • MS, Computer Science, University of California, San Diego
    • BS, Computer Science and Engineering, University of California, Berkeley