Luca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well-known for his research in type theory and operational semantics. Among other contributions he implemented the first compiler for the (non-pure) functional programming language ML and he defined the concept of typeful programming. Recently, he helped develop the Polyphonic C# experimental programming language.

Robert W. Taylor (born 1932) was director of ARPA's Information Processing Techniques Office (1965-69), founder and later manager of Xerox PARC's Computer Science Laboratory (CSL) (1970-83), and founder and manager of Digital Equipment Corporation's Systems Research Center (1983-96). Bob Taylor was born in Texas, the son of a Methodist minister.

Charles P. (Chuck) Thacker is a technical fellow and computer pioneer. Thacker worked in the 1970s and 1980s at the Xerox Palo Alto Research Center (PARC), where he served as project leader of the Xerox Alto personal computer system, was co-inventor of the Ethernet LAN, and contributed to many other projects, including the first laser printer. In 1983, Thacker was a founder of the Systems Research Center (SRC) at Digital Equipment Corporation (DEC), and in 1997, …

Paul Gauthier Chief Technology Officer & Co-founder - Inktomi Corporation Paul Gauthier is Chief Technology Officer and a co-founder of Inktomi. Previously, Gauthier served as a programmer analyst for Simac Limited, as technical director for Worthington Software Company, as an intern at Digital Equiment Corporation's Systems Research Center, and as a a programmer at Dymaxion Research.

Sanjay Ghemawat Google Fellow Sanjay works on the distributed computing infrastructure that is used by most Google products. He has led the design and implementation of various storage systems (GFS, Bigtable), a batch processing system (MapReduce), networking libraries, data representation languages, memory management systems, and various performance measurement tools.

I have been working on web search technologies (crawling, ranking, web spam detection) since 1997. Previously, I worked on user-centric technologies (3D animation, visualization, etc). I hold 12 US patents, all in the areas of web search and distributed storage systems.

Carlos Berenstein received his Licenciado en Matematicas in 1966 from the University of Buenos Aires. In 1969 and 1970 he was awarded his M.S. and Ph.D. degrees from New York University. Carlos Berenstein was an Instructor at the University of Buenos Aires 1964 to 1965, and a Research Fellow at CNICT (Buenos Aires) in 1966. He worked as an Assistant Professor at Harvard University from 1970 to 1973, and a Research Fellow from 1975 to 1976.

Roy Levin Distinguished Engineer/Director, Microsoft Research Silicon Valley Microsoft Corp. Roy Levin joined Microsoft Corp. in August 2001 to found the Microsoft Research Silicon Valley lab.

Luca Cardelli Principal Researcher, Microsoft Research Cambridge Microsoft Corporation Luca Cardelli is a Principal Researcher at Microsoft Research Cambridge. He works with the Programming Principles and Tools Group and his main interests are in type theory and operational semantics, mostly for applications to language design, semantics, and implementation.

John DeTreville <jdd@src.dec.com> Mon, 18 Mar 91 15:59:57 PST This is a cautionary tale about a software failure that RISKS readers might find interesting. I wrote down this description soon after the failure, in as much detail as I could, because it made such an interesting story. I've listed some possible lessons at the end, and readers are welcome to add their own.

H. Earle Vaughan was born on 3 February 1912. He began his Bell System career in 1928 as an assistant in Bell Laboratories. He was promoted to the position of Technical Assistant and while working in this capacity, he attended Cooper Union College in New York City, receiving his Bachelor of Science Degree in 1933.

Luca Cardelli was born in Montecatini Terme, Italy, studied at the University of Pisa (until 1979), and has a Ph.D. in computer science from the University of Edinburgh (1982). He worked at Bell Labs, Murray Hill, from 1982 to 1985, and at Digital Equipment Corporation, Systems Research Center in Palo Alto, from 1985 to 1997, before assuming his current position at Microsoft Research, in Cambridge UK.