CURRICULUM VITAE (revised in January[removed]Name

First Page		Document Content
Date: 2009-01-05 11:56:18 Actor model Process calculi Turing Award laureates International Colloquium on Automata Languages and Programming Turing Award Computation Dana Scott Applied mathematics Actor model and process calculi history Computer science Theoretical computer science Mathematics		CURRICULUM VITAE (revised in January[removed]Name Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 60,87 KB Share Document on Facebook

	MultiVAC: A High-Throughput Flexible Public Blockchain Based on Trusted Sharding Computation MultiVAC Foundation June, 2018, version 0.1 Abstract: MultiVAC is a next-generation high-performance public blockch DocID: 1xVSb - View Document
	MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXBETTER POLYNOMIALS FOR GNFS SHI BAI, CYRIL BOUVIER, ALEXANDER KRUPPA, AND PAUL ZIMMERMANN DocID: 1xVRE - View Document
	Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W DocID: 1xVQw - View Document
	Circuits Resilient to Additive Attacks with Applications to Secure Computation Daniel Genkin Yuval Ishai DocID: 1xVN3 - View Document
	MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXAN L(1/3) ALGORITHM FOR IDEAL CLASS GROUP AND REGULATOR COMPUTATION IN CERTAIN NUMBER FIELDS DocID: 1xVGU - View Document