Martín Abadi, professor of computer science in the Baskin School of Engineering at UC Santa Cruz, has been named a Fellow of the American Association for the Advancement of Science (AAAS). Election as a AAAS Fellow is an honor bestowed upon AAAS members by their peers.
Abadi was recognized for "distinguished contributions to computer security, verification of computer systems, and object-oriented programming languages." In addition to his faculty position at UC Santa Cruz, Abadi is a principal researcher at Microsoft Research Silicon Valley. In 2010-2011, he held the chair of information technology and digital science at the Collège de France in Paris.
Abadi's research focuses on computer and network security, programming languages, and specification and verification methods. He has contributed, for example, to the design and analysis of security protocols and to the foundations of object-oriented programming languages. His research on security has been recognized by the Association for Computing Machinery (ACM) Special Interest Group on Security with its Outstanding Innovation Award, and by the ACM Special Interest Group on Operating Systems with a Hall of Fame Award. Abadi is a fellow of the ACM.
The tradition of AAAS Fellows began in 1874. This year, 539 members have been awarded this honor by AAAS because of their scientifically or socially distinguished efforts to advance science or its applications. New fellows will be presented with an official certificate and a gold and blue (representing science and engineering, respectively) rosette pin on Saturday, February 18, at the AAAS Fellows Forum during the 2012 AAAS Annual Meeting in Vancouver, B.C.
The American Association for the Advancement of Science (AAAS) is the world's largest general scientific society and publisher of the journal Science (www.sciencemag.org). AAAS was founded in 1848 and includes 262 affiliated societies and academies of science, serving 10 million individuals. Science has the largest paid circulation of any peer-reviewed general science journal in the world, with an estimated total readership of 1 million.