International recognition for Lars Birkedal
Professor Lars Birkedal is named Fellow by the Association for Computing Machinery (ACM) for his contributions to the semantic and logical foundations of compilers and program verification systems. ACM is the worldwide organization for computer researchers and professionals. ACM Fellow is the highest recognition given by the organization, and only 1% of the 100,000 members have reached this member grade.
Lars Birkedal, Professor of Computer Science, has been named ACM Fellow by his peers from the international elite of computer researchers and professionals. The title is a recognition of Lars Birkedal’s research on the semantic and logical foundations of compilers and program verification systems.
ACM (Association for Computing Machinery), the largest and most highly respected professional organization in Computer Science, only grants the title ACM Fellow to less than one percent of its 100,000 members. Lars Birkedal is the sixth Dane to be named ACM Fellow. This is not only a great achievement and recognition for Lars Birkedal, but also for the Department of Computer Science at Aarhus University as they house two of the six Danish ACM fellows – Lars Birkedal and Lars Arge, who was named ACM Fellow in 2012.
"To be selected as a Fellow is to join our most renowned member grade and an elite group that represents less than 1 percent of ACM’s overall membership,” explains ACM President Vicki L. Hanson. “The Fellows program allows us to shine a light on landmark contributions to computing, as well as the men and women whose hard work, dedication, and inspiration are responsible for groundbreaking work that improves our lives in so many ways."
In 2017, ACM has named 54 members ACM Fellows. The accomplishments of the 2017 ACM Fellows lead to transformations in science and society, and their achievements play a crucial role in the global economy, as well as how we live and work every day.
About Lars Birkedal: Lars Birkedal (47), Ph.D. from Carnegie Mellon University (USA), is a recognized professor in Computer Science from Aarhus University, where he heads the Logic and Semantics research group. In 2015, Lars Birkedal received the EliteForsk Prize from the Danish Council for Independent Research. He was elected member of Royal Danish Academy of Sciences and Letters in 2016. Privately, Lars lives in Risskov with his wife and two children. More info at: www.cs.au.dk/~birke
About ACM: Association for Computing Machinery (ACM), the world's largest educational and scientific computing society, delivers resources that advance computing as a science and a profession. ACM provides the computing field's premier Digital Library and serves its members and the computing profession with leading-edge publications, conferences, and career resources. More information at www.acm.org