Martin Abadi Informatics and Computational Sciences (2010-2011)


Born in 1963 in Buenos Aires, Professor Martin Abadi studied in California at Stanford University where he obtained his PhD in computer science in 1987. Since then, he has mainly been a researcher for industrial laboratories. He has been principal researcher at Microsoft Research Silicon Valley since 2006. Professor Abadi has also taught at Berkeley, Stanford (where he is currently Visiting Professor) and at the University of California, Santa Cruz (where he is still currently a Professor). His research mainly focuses on computer security, programming languages, specification methods and formal proof. For instance, he has worked on developing the theory of object-oriented programming languages and on the design and analysis of secure Internet communication protocols.