TechTaffy

tech:

taffy

Frank Pfenning Named Carnegie Mellon’s Computer Science Department Head

By TechTaffy Desk

SCS, Frank Pfenning, January 7 2013

[Techtaffy Newsdesk]

Frank Pfenning, a professor of computer science who played a key role in the recent update of Carnegie Mellon University’s introductory computer science curriculum, is the new head of CMU’s Computer Science Department (CSD).

Mr. Pfenning earned his doctorate degree at Carnegie Mellon. His research focuses on applications of mathematical logic in computer science. This includes the design of programming languages, systems for reasoning about computer programs and logics for ensuring computer security.

He succeeds Jeannette Wing, who stepped down to become head of Microsoft Research International.

As head of the Computer Science Department, Mr. Pfenning will lead a faculty of more than 70 members.

Just in

AI

The Coca-Cola Company commits $1.1B to Microsoft Cloud and AI partnership

The Coca-Cola Company and Microsoft announced a five-year partnership on Tuesday. As part of the collaboration, Coca-Cola has committed $1.1 billion to Microsoft Cloud and generative AI capabilities. 
Industry

Silicon Labs appoints Radhika Chennakeshavula as CIO

Silicon Labs has appointed Radhika Chennakeshavula as chief information officer.
Around the web

Apple deletes WhatsApp, Threads from China app store on orders from Beijing — CNN

Apple has removed WhatsApp and Threads from its app store in China, following an order from the country’s internet watchdog, writes Juliana Liu.
Industry

Singtel, Vonage partner to integrate Paragon platform

Singtel has announced a partnership with Vonage, a cloud communications company and subsidiary of Ericsson, to help enterprises and telcos innovate and scale their services through Singtel's orchestration platform, Paragon. 
Industry

Former VMware COO Mike Hayes joins Mirantis board

Mirantis, a company that provides open source software for infrastructure control, has appointed Mike Hayes to its board.