Shafi Goldwasser RSA Professor of Computer Science, Massachusetts Institute of Technology Professor of Computer Science and Applied Mathematics, Weizmann Institute of Science Principal Fields of Interest

First Page		Document Content
Date: 2013-02-28 21:15:47 Formal sciences Shafi Goldwasser Women in technology Verifiable secret sharing Symposium on Foundations of Computer Science International Colloquium on Automata Languages and Programming Symposium on Theory of Computing Gödel Prize Manuel Blum Cryptography Theoretical computer science Applied mathematics		Shafi Goldwasser RSA Professor of Computer Science, Massachusetts Institute of Technology Professor of Computer Science and Applied Mathematics, Weizmann Institute of Science Principal Fields of Interest Add to Reading List Source URL: people.csail.mit.edu Download Document from Source Website File Size: 116,00 KB Share Document on Facebook

	Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis DocID: 1xUWv - View Document
	Teaching Programming Languages by Experimental and Adversarial Thinking∗ Justin Pombrio1 , Shriram Krishnamurthi2 , and Kathi Fisler3 1 2 DocID: 1xUDz - View Document
	tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1. DocID: 1xUqQ - View Document
	The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation DocID: 1xTB5 - View Document
	Published in ASPLOS XIII: Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems, March 2008 The Design and Implementation of Microdrivers Vinod Ga DocID: 1v5Xc - View Document