!!!Luca Cardelli \\ %%(float:left;margin-right:30px;) [{Image src='cardelli_luca_small.jpg' alt='Luca Cardelli' height='200'}] %% [{AcadMemberDataPlugin}] \\ \\ \\ \\ __Present and Previous Positions__ *Since 1997 Microsoft Research, Cambridge UK; Assistant Director( Since 2000), Principal Researcher (Since 2006) *2005-2007 Univesity of Trento, Department of Information and Communication Technology; Visiting Professor. *2004-2009 Visiting Professor at Imperial College London, Department of Computing *1985-1997 Digital Equipment Corporation, Systems Research Center, Palo Alto *1982-1985 Member of Research Staff AT&T Bell Laboratories, Murray Hill *1984-1984 Member of Technical Staff, Department of Computer and Information Science, University of Pennsylvania, Philadelphia; Adjunct Professor *1982 PhD in Computer Science, Edinburgh University \\ __Fields of Scholarship__ [{AcadMemberFOScholarshipPlugin}] \\ __Honours and Awards__ *Fellow of The Royal Society *ACM Fellow *Academia Europaea Elected Member (Informatics) *AITO Elected Member *Most Influential POPL Paper Award 2010 (for 2000) *AITO Dahl-Nygaard Senior Prize 2007 *Most Influential ETAPS 1998 Paper Award (Awarded 2007) *Most Influential POPL Paper Award 2005 (for 1995) \\ \\ %%columns-900 %%coolborders-140-70 [{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}] [Curriculum Vitae |User/Cardelli_Luca/CV] %% ---- %%coolborders-140-70 [{Image src='User/book_48.png' class='image_left'}] [Publication list|User/Cardelli_Luca/Publications] %% ---- %%coolborders-140-70 [{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}] [Highlights of my work and anecdotes|User/Cardelli_Luca/Highlight] %% ---- %%coolborders-140-70 [{Image src='User/database_48.png' class='image_left'}] [Other information|User/Cardelli_Luca/OtherInformation] %% %% [{ALLOW view All}] [{ALLOW edit lcardelli}] [{ALLOW upload lcardelli}] [{ALLOW comment All}]