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

Around the web

Windows 11 Start menu ads are now rolling out to everyone — The Verge

Microsoft is starting to enable ads inside the Start menu on Windows 11 for all users, writes Tom Warren. 
Around the web

Biden signs TikTok ‘ban’ bill into law, starting the clock for ByteDance to divest it — The Verge

President Joe Biden signed a foreign aid package that includes a bill that would ban TikTok if China-based parent company ByteDance fails to divest the app within a year, writes Lauren Feiner.
IT

IBM to acquire HashiCorp for $6.4B

IBM and HashiCorp have entered into an agreement for IBM to acquire HashiCorp, a provider of infrastructure and security management products, for $6.4 billion.
AI

OpenAI introduces new enterprise features

OpenAI announced new features aimed at enterprise users on Tuesday, at the wake of Meta's recent LLama 3 announcement.
Around the web

Oracle is moving its world headquarters to Nashville to be closer to health-care industry — CNBC

Oracle Chairman Larry Ellison said Tuesday that the company is moving its world headquarters to Nashville, Tennessee, to be closer to a major health-care epicenter, writes Ashley Capoot.