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

Series E

Vercel raises $250M

San Francisco-based Vercel, a frontend cloud platform provider, has secured $250 million in Series E funding, bringing the company's valuation to $3.25 billion.
Series A

Worky raises $6M (Mexico)

Mexico City-based Worky, a provider of HR and payroll software solutions for Mexican companies, has closed a $6 million Series A financing round.
Industry

Amazon announces $1.31B investment in France

Amazon has announced a new investment of about $1.31 billion (€1.2 billion) in France, which the company says will lead to the creation of over 3,000 permanent jobs in the country.
Around the web

Amazon Web Services CEO Adam Selipsky to step down — CNBC

Adam Selipsky, CEO of Amazon’s cloud computing business, will step down from his role next month. Matt Garman, senior vice president of sales and marketing at Amazon Web Services, will succeed Mr. Selipsky after he exits the company June 3, writes Annie Palmer. 
AI

Palo Alto Networks, Accenture expand alliance to offer generative AI services

Palo Alto Networks and Accenture have announced the expansion of their strategic alliance to provide new offerings that combine Palo Alto Networks' Precision AI technology with Accenture's secure generative AI services.